10

Answers
votes newest views recent
16
Has decidability got something to do with primes?
10
Reasons for success in automated theorem proving
8
Nonstandard monomial orders?
8
German mathematical terms like “Nullstellensatz”
8
Practical applications of algebraic number theory?
6
Elementary+Short+Useful
3
Examples of inequality implied by equality.
3
What is the definition of “canonical” ?
2
What are the most fundamental classes of mathematical algorithms?
1
How to show an ideal is Zero-dimensional