scientific article

Publication date: 17 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Symbolic computation and algebraic computation (68W30) Questions of classical algebraic geometry (51N35) Mechanization of proofs and logical operations (03B35) Projective techniques in algebraic geometry (14N05) Software, source code, etc. for problems pertaining to algebraic geometry (14-04)

Related Items

Automated theorem proving in GeoGebra: current achievements ⋮ On the unavoidable uncertainty of truth in dynamic geometry proving ⋮ Challenging theorem provers with Mathematical Olympiad problems in solid geometry ⋮ The computer searches for Pascal conics ⋮ Algorithms for detecting dependencies and rigid subsystems for CAD ⋮ Rewriting input expressions in complex algebraic geometry provers ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ Proof-checking Euclid ⋮ On protocols for the automated discovery of theorems in elementary geometry ⋮ Using jointly geometry and algebra to determine RC-constructibility ⋮ A bibliography of quantifier elimination for real closed fields ⋮ On One Locus in the Plane ⋮ A computer-aided proof of a conjecture in Euclidean geometry ⋮ Ordering in mechanical geometry theorem proving ⋮ Geometric constraint solving with geometric transformation ⋮ Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases ⋮ A bridge between dynamic geometry and computer algebra ⋮ On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving ⋮ Elimination procedures for mechanical theorem proving in geometry ⋮ The dimension method in elementary and differential geometry ⋮ A generalized Euclidean algorithm for geometry theorem proving ⋮ Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems ⋮ Mechanical theorem proving in projective geometry ⋮ Geometric construction by assembling solved subfigures ⋮ Automatic deduction in (dynamic) geometry: Loci computation ⋮ An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form ⋮ Formal specification and proofs for the topology and classification of combinatorial surfaces ⋮ Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method ⋮ Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method ⋮ Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra} ⋮ Characteristic set algorithms for equation solving in finite fields ⋮ Detecting truth, just on parts ⋮ Self-evident automated geometric theorem proving based on complex number identity ⋮ Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? ⋮ Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems ⋮ Automated discovery of angle theorems ⋮ A program to create new geometry proof problems ⋮ Automated reducible geometric theorem proving and discovery by Gröbner basis method ⋮ A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications ⋮ The area method. A recapitulation ⋮ On the efficiency of solving Boolean polynomial systems with the characteristic set method ⋮ An algorithm for constructing Gröbner bases from characteristic sets and its application to geometry ⋮ Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. ⋮ Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. ⋮ Recent advances in automated theorem proving on inequalities ⋮ On the synthetic factorization of projectively invariant polynomials ⋮ Some examples of the use of distances as coordinates for euclidean geometry ⋮ Computational algebraic geometry of projective configurations ⋮ Applications of differential algebra for computing Lie algebras of infinitesimal CR-automorphisms ⋮ Automated theorem proving practice with null geometric algebra ⋮ Elimination theory in differential and difference algebra ⋮ A parametric approach to 3D dynamic geometry ⋮ Representation and automated transformation of geometric statements ⋮ A graphical user interface for formal proofs in geometry ⋮ An algorithm for decomposing a polynomial system into normal ascending sets ⋮ On approximate triangular decompositions in dimension zero ⋮ An introduction to geometry expert ⋮ A class of mechanically decidable problems beyond Tarski's model ⋮ A symbolic dynamic geometry system using the analytical geometry method ⋮ On \(n\)-sectors of the angles of an arbitrary triangle ⋮ An alternative algorithm for computing the pseudo-remainder of multivariate polynomials ⋮ Connecting the 3D DGS Calques3D with the CAS Maple ⋮ Mechanical proof of planimetric theorems of rational type ⋮ Involutive directions and new involutive divisions ⋮ A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals ⋮ Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems ⋮ A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry ⋮ Some geometric properties of the solutions of complex multi-affine polynomials of degree three ⋮ Algebraic factoring and geometry theorem proving ⋮ Mechanically proving geometry theorems using a combination of Wu's method and Collins' method ⋮ Triangular sets for solving polynomial systems: a comparative implementation of four methods ⋮ On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems ⋮ Towards the Automatic Discovery of Theorems in GeoGebra ⋮ Theorem proving by chain resolution ⋮ Examples of using dynamic constructible closure. ⋮ On One Method of Proving Inequalities in Automated Way ⋮ Computer assistance for ``discovering formulas in system engineering and operator theory ⋮ Locus computation in dynamic geometry environment ⋮ Automated study of a regular trifolium ⋮ Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant ⋮ Special issue: Differential algebra and differential equations ⋮ Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick ⋮ DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY ⋮ INCIDENCE CONSTRAINTS: A COMBINATORIAL APPROACH ⋮ Taxonomies of geometric problems ⋮ Development of automatic reasoning tools in GeoGebra

This page was built for publication: