Morley’s theorem revisited: Origami construction and automated proof

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Artificial Intelligence, Engineering, Automated Reasoning +4

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

Formal Specification, Engineering, Automated Reasoning +15

Greobner Bases : an algorithmic method in polynomial ideal theory

Bruno Buchberger · Medical Entomology and Zoology · 1985 · 1.1K citations

Algebraic Structure, Modern Algebra, Commutative Algebra +3

Basic principles of mechanical theorem proving in elementary geometries

Wen-tsün Wu · Journal of Automated Reasoning · 1986 · 387 citations

Integral Geometry, Basic Principles, Geometry +2

Converting Bases with the Gröbner Walk

Stéphane Collart, Michael Kalkbrener, Daniel Mall · Journal of Symbolic Computation · 1997 · 125 citations