Geometric reasoning with logic and algebra
From MaRDI portal
Publication:918227
DOI10.1016/0004-3702(88)90049-5zbMath0705.68086OpenAlexW2074940496MaRDI QIDQ918227
Publication date: 1988
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(88)90049-5
Related Items
Algorithms to compute the topology of orientable real algebraic surfaces, Automatic computation of the complete root classification for a parametric polynomial, On mechanical quantifier elimination for elementary algebra and geometry, On maps which preserve semipositivity and quantifier elimination theory for real numbers, A bibliography of quantifier elimination for real closed fields, A cluster-based cylindrical algebraic decomposition algorithm, On the center criterion of planar quasi-homogeneous polynomial differential systems, On the Expressive Power of Query Languages for Matrices, Geometry of Linear Convolutional Networks, Extended symmetry analysis of remarkable (1+2)-dimensional Fokker–Planck equation, Quantifier elimination theory and maps which preserve semipositivity, Bifurcation from double eigenvalue for nonlinear equation with third-order nondegenerate singularity, A review and prospect of readable machine proofs for geometry theorems, Uniqueness of equilibrium in the haber synthesis of ammonia, Topological elementary equivalence of closed semi-algebraic sets in the real plane, New algorithms for the perspective-three-point problem, Mechanically proving geometry theorems using a combination of Wu's method and Collins' method, Recent advances on determining the number of real roots of parametric polynomials, The Dirac equation in the Kerr-de Sitter metric, Geometric theorem proving by integrated logical and algebraic reasoning, Classification of the real roots of the quartic equation and their Pythagorean tunes
Cites Work
- On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds
- A continuous, constructive solution to Hilbert's \(17^{th}\) problem
- On mechanical quantifier elimination for elementary algebra and geometry
- Quantifier elimination: Optimal solution for two classical examples
- Wu's method and its application to perspective viewing
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
- A refutational approach to geometry theorem proving
- A solution to Kahan's problem (SIGSAM problem no. 9)
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- Decision procedures for real and p‐adic fields
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
