Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang

Publication date: 6 July 1994

Published in: Texts \& Monographs in Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

symbolic computation irreducible decomposition algebraic varieties computational geometry axiomatic geometry algebraization geometry theorem proving coordinate systems constructive algebraic geometry mechanization polynomial equality relations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Computational aspects in algebraic geometry (14Qxx)

Related Items (max. 100)

An improved algorithm for constructing moving quadrics from moving planes ⋮ On the connection between Ritt characteristic sets and Buchberger-Gröbner bases ⋮ Proof-checking Euclid ⋮ Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries ⋮ Formalization of the arithmetization of Euclidean plane geometry and applications ⋮ A computer-aided proof of a conjecture in Euclidean geometry ⋮ Implicitization of partial differential rational parametric equations ⋮ A complete algorithm for automated discovering of a class of inequality-type theorems ⋮ Elimination procedures for mechanical theorem proving in geometry ⋮ Automatic deduction in (dynamic) geometry: Loci computation ⋮ Symbolic computation of strongly nonlinear periodic oscillations ⋮ Chordal graphs in triangular decomposition in top-down style ⋮ A complete algorithm for counting real solutions of polynomial systems of equations and inequalities. ⋮ Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. ⋮ Implicitization of differential rational parametric equations. ⋮ Recent advances in automated theorem proving on inequalities ⋮ Characteristic decomposition: from regular sets to normal sets ⋮ Self-evident automated proving based on point geometry from the perspective of Wu's method identity ⋮ Retrieving geometric information from images: the case of hand-drawn diagrams ⋮ On \(n\)-sectors of the angles of an arbitrary triangle ⋮ A systematic framework for solving geometric constraints analytically ⋮ Symbolic computation of exact solutions for a nonlinear evolution equation ⋮ A new algorithm for symbolic integration with application ⋮ RATH: A Maple package for finding travelling solitary wave solutions to nonlinear evolution equations ⋮ A new algorithm for integral of trigonometric functions with mechanization ⋮ ``Russian killer No. 2: a challenging geometric theorem with human and machine proofs. ⋮ Primary decomposition of zero-dimensional ideals over finite fields ⋮ Properness defects of projection and minimal discriminant variety ⋮ Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles ⋮ A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry ⋮ Counting positive solutions for polynomial systems with real coefficients ⋮ Decomposition of polynomial sets into characteristic pairs ⋮ Weak Wu stratification in \(\mathbb{R}^n\) ⋮ What Is a Line ? ⋮ Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences ⋮ Implicitizing rational surfaces without base points by moving planes and moving quadrics ⋮ Computing triangular systems and regular systems ⋮ On the Chordality of Simple Decomposition in Top-Down Style ⋮ A software tool for the investigation of plane loci ⋮ Automated generation of geometric theorems from images of diagrams

This page was built for publication: Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang