Login / Signup
Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops.
Grant Olney Passmore
Leonardo Mendonça de Moura
Paul B. Jackson
Published in:
Decision Procedures in Software, Hardware and Bioware (2010)
Keyphrases
</>
theorem proving
first order logic
learning algorithm
orders of magnitude
optimization problems
theorem prover
parallel search
numerically stable
inference rules
decision procedures
combinatorial search
proof planning