Geometry theorem proving using Hilbert's Nullstellensatz
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Geometry theorem proving in vector spaces by means of Gröbner bases
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
Journal of the ACM (JACM)
A Tutte Polynomial for Coloured Graphs
Combinatorics, Probability and Computing
Automating Elementary Number-Theoretic Proofs Using Gröbner Bases
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Theorem Proving for Verification (Invited Tutorial)
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Hi-index | 0.00 |