Basic principles of mechanical theorem proving in elementary geometries
From MaRDI portal
Publication:1101257
DOI10.1007/BF02328447zbMath0642.68163MaRDI QIDQ1101257
Publication date: 1986
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Euclidean geometry; algebraic varieties; analytic geometry; automatic theorem proving; Morley's theorem; polynomial division; Pascal-conic theorem; reducible polynomials; well-ordering of polynomials
68W30: Symbolic computation and algebraic computation
51-04: Software, source code, etc. for problems pertaining to geometry
51N99: Analytic and descriptive geometry
Related Items
On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra, A systematic framework for solving geometric constraints analytically, Computing the radical of an ideal in positive characteristic, A recursive algorithm for constructing complicated Dixon matrices, Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case, Morley's theorem revisited: origami construction and automated proof, Using geometric rewrite rules for solving geometric problems symbolically, \textit{Theorema}: Towards computer-aided mathematical theory exploration, A quantifier-elimination based heuristic for automatically generating inductive assertions for programs, On the complexity of counting components of algebraic varieties, A bibliography of quantifier elimination for real closed fields, Wu's method and its application to perspective viewing, A refutational approach to geometry theorem proving, Mechanical manipulation for a class of differential systems, Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases, Theorem proving by chain resolution, The computer searches for Pascal conics, Deriving some new conditions on the existence of eight limit cycles for a cubic system, Ordering in mechanical geometry theorem proving, Limits of theory sequences over algebraically closed fields and applications., New exact solutions for three nonlinear evolution equations, A new algorithm for symbolic integration with application, A new algorithm for integral of trigonometric functions with mechanization, Computer aided proof for the global stability of Lotka-Volterra systems, The dimension method in elementary and differential geometry, A category of geometric spaces: Some computational aspects, Solving SAT by algorithm transform of Wu's method, An algorithm for solving singular perturbation problems with mechanization, A mechanical algorithm for solving the Volterra integral equation, Mechanical algorithm for solving the second kind of Volterra integral equation, An algorithm for solving DAEs with mechanization, Computing final polynomials and final syzygies using Buchberger's Gröbner bases method
Cites Work