The following pages link to (Q3994509):
Displaying 50 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- On the unavoidable uncertainty of truth in dynamic geometry proving (Q294370) (← links)
- Challenging theorem provers with Mathematical Olympiad problems in solid geometry (Q294381) (← links)
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
- Formal specification and proofs for the topology and classification of combinatorial surfaces (Q396466) (← links)
- Characteristic set algorithms for equation solving in finite fields (Q413410) (← links)
- The area method. A recapitulation (Q437042) (← links)
- Applications of differential algebra for computing Lie algebras of infinitesimal CR-automorphisms (Q477250) (← links)
- Representation and automated transformation of geometric statements (Q488928) (← links)
- A bridge between dynamic geometry and computer algebra (Q597561) (← links)
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846) (← links)
- 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 (Q616847) (← links)
- On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems (Q748755) (← links)
- Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick (Q783254) (← links)
- On protocols for the automated discovery of theorems in elementary geometry (Q846167) (← links)
- Geometric constraint solving with geometric transformation (Q865932) (← links)
- An algorithm for constructing Gröbner bases from characteristic sets and its application to geometry (Q915799) (← links)
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
- Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant (Q1042772) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving (Q1121669) (← links)
- Geometric construction by assembling solved subfigures (Q1128611) (← links)
- On the synthetic factorization of projectively invariant polynomials (Q1176388) (← links)
- Some examples of the use of distances as coordinates for euclidean geometry (Q1176392) (← links)
- Computational algebraic geometry of projective configurations (Q1176393) (← links)
- Theorem proving by chain resolution (Q1274972) (← links)
- Computer assistance for ``discovering'' formulas in system engineering and operator theory (Q1282332) (← links)
- The computer searches for Pascal conics (Q1343393) (← links)
- Ordering in mechanical geometry theorem proving (Q1368227) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. (Q1426144) (← links)
- Examples of using dynamic constructible closure. (Q1565817) (← links)
- Special issue: Differential algebra and differential equations (Q1578438) (← links)
- Algorithms for detecting dependencies and rigid subsystems for CAD (Q1634821) (← links)
- Using jointly geometry and algebra to determine RC-constructibility (Q1640643) (← links)
- Automated reducible geometric theorem proving and discovery by Gröbner basis method (Q1701040) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- Automated theorem proving practice with null geometric algebra (Q1730305) (← links)
- Elimination theory in differential and difference algebra (Q1730314) (← links)
- Triangular sets for solving polynomial systems: a comparative implementation of four methods (Q1808665) (← links)
- Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases (Q1912176) (← links)
- Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)
- The dimension method in elementary and differential geometry (Q1924742) (← links)
- A generalized Euclidean algorithm for geometry theorem proving (Q1924743) (← links)
- Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems (Q1924745) (← links)
- Mechanical theorem proving in projective geometry (Q1924746) (← links)
- Recent advances in automated theorem proving on inequalities (Q1966106) (← links)
- A symbolic dynamic geometry system using the analytical geometry method (Q1995810) (← links)
- On \(n\)-sectors of the angles of an arbitrary triangle (Q1995812) (← links)
- Mechanical proof of planimetric theorems of rational type (Q2017773) (← links)
