Automating elementary number-theoretic proofs using Gröbner bases

Cached

Download Links

by John Harrison
Citations:4 - 0 self

Documents Related by Co-Citation

1241 Commutative algebra with a view toward algebraic geometry – D Eisenbud - 1995
254 A New Efficient Algorithm for Computing Gröbner Bases (F4) – Jean-charles Faugère - 2002
19 Verifying nonlinear real formulas via sums of squares – John Harrison - 2007
123 A variant of a recursively unsolvable problem – E L Post - 1946
87 Theorem Proving with the Real Numbers – John Robert Harrison - 1996
81 The complexity of linear problems in fields – Wei88 Volker Weispfenning - 1988
78 Mechanical geometry theorem proving – S-C Chou - 1987
74 Type Classes and Overloading in Higher-Order Logic – Markus Wenzel, Technische Universität München - 1997
63 Applying Linear Quantifier Elimination – Rüdiger Loos, Volker Weispfenning - 1993