Automating elementary number-theoretic proofs using Gröbner bases

View PDF

Download Links

by John Harrison
Citations:4 - 0 self

Documents Related by Co-Citation

1338 Commutative algebra with a view toward algebraic geometry, Graduate Texts – D Eisenbud - 1995
274 A New Efficient Algorithm for Computing Gröbner Bases (F4) – Jean-charles Faugère - 2002
20 Verifying nonlinear real formulas via sums of squares – John Harrison - 2007
125 A Variant of a Recursively Unsolvable Problem – E Post - 1946
92 Theorem Proving with the Real Numbers – John Robert Harrison - 1996
84 The complexity of linear problems in fields – Volker Weispfenning - 1988
83 Mechanical Geometry Theorem Proving – S C Chou - 1988
74 Type Classes and Overloading in Higher-Order Logic – Markus Wenzel, Technische Universität München - 1997
68 Applying Linear Quantifier Elimination – Rüdiger Loos, Volker Weispfenning - 1993