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