scientific article

zbMath0661.14037MaRDI QIDQ3994509

Shang-Ching Chou

Publication date: 17 September 1992

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

Mathematics Subject Classification ID

Related Items (86)

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: