Basic principles of mechanical theorem proving in elementary geometries
From MaRDI portal
Recommendations
- Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
- Elimination procedures for mechanical theorem proving in geometry
- scientific article; zbMATH DE number 3926283
- scientific article; zbMATH DE number 4049614
- scientific article; zbMATH DE number 991677
Cited in
(85)- Computing switching surfaces in optimal control based on triangular decomposition
- A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases
- scientific article; zbMATH DE number 4022662 (Why is no real title available?)
- Using geometric rewrite rules for solving geometric problems symbolically
- Computing strong regular characteristic pairs with Gröbner bases
- A refutational approach to geometry theorem proving
- A strategy for speeding-up the computation of characteristic sets
- A systematic framework for solving geometric constraints analytically
- The dimension method in elementary and differential geometry
- On n-sectors of the angles of an arbitrary triangle
- scientific article; zbMATH DE number 1421051 (Why is no real title available?)
- Geometry machines: from AI to SMC
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs
- A bibliography of quantifier elimination for real closed fields
- A mechanical algorithm for solving the Volterra integral equation
- Wu's method and its application to perspective viewing
- Characteristic set algorithms for equation solving in finite fields
- Computing the radical of an ideal in positive characteristic
- Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
- Attacking Bivium and Trivium with the characteristic set method
- The implementation and complexity analysis of the branch Gröbner bases algorithm over Boolean polynomial rings
- scientific article; zbMATH DE number 4049614 (Why is no real title available?)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- scientific article; zbMATH DE number 4021099 (Why is no real title available?)
- Theorem proving by chain resolution
- An algorithm for solving singular perturbation problems with mechanization
- Proof Documents for Automated Origami Theorem Proving
- Multiplicity-preserving triangular set decomposition of two polynomials
- Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases
- Limits of theory sequences over algebraically closed fields and applications.
- New exact solutions for three nonlinear evolution equations
- Chordality preserving incremental triangular decomposition and its implementation
- A new method for solving polynomial systems with noise over \(\mathbb{F}_2\) and its applications in cold boot key recovery
- Mechanical proof of planimetric theorems of rational type
- Parametric equation solving and quantifier elimination in finite fields with the characteristic set method
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
- Bifurcation analysis and complex dynamics of a Kopel triopoly model
- Polynomials root-finding using a SLEFE-based clipping method
- Mechanical manipulation for a class of differential systems
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries
- The LaSalle's invariant sets for a class of Lotka-Volterra prey-predator chain systems
- Computer algebra methods in the study of nonlinear differential systems
- A Direttissimo Algorithm for Equidimensional Decomposition
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
- On the efficiency of solving Boolean polynomial systems with the characteristic set method
- A recursive algorithm for constructing complicated Dixon matrices
- An algorithm for solving DAEs with mechanization
- A signature-based algorithm for computing the nondegenerate locus of a polynomial system
- Mechanical geometry theorem proving
- Generalizing Morley's and other theorems with automated realization
- Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification
- A program to create new geometry proof problems
- Automated discovery of angle theorems
- Computer aided proof for the global stability of Lotka-Volterra systems
- Computing final polynomials and final syzygies using Buchberger's Gröbner bases method
- On the complexity of counting components of algebraic varieties
- A criterion for testing whether a difference ideal is prime
- A category of geometric spaces: Some computational aspects
- Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm
- Mechanically proving geometry theorems using a combination of Wu's method and Collins' method
- Symmetry reductions, exact solutions, and conservation laws of the generalized Zakharov equations
- A new algorithm for symbolic integration with application
- Analyzing the dual space of the saturated ideal of a regular set and the local multiplicities of its zeros
- Morley's theorem revisited: origami construction and automated proof
- Ritt-Wu characteristic set method for Laurent partial differential polynomial systems
- The computer searches for Pascal conics
- A new algorithm for integral of trigonometric functions with mechanization
- scientific article; zbMATH DE number 4093424 (Why is no real title available?)
- Solving SAT by algorithm transform of Wu's method
- Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences
- Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case
- Wu's characteristic set method for SystemVerilog assertions verification
- An efficient algorithm for factoring polynomials over algebraic extension field
- Deriving some new conditions on the existence of eight limit cycles for a cubic system
- Mechanical algorithm for solving the second kind of Volterra integral equation
- Elimination Techniques for Program Analysis
- GEOTHER: A geometry theorem prover
- Computational origami construction as constraint solving and rewriting
- Ordering in mechanical geometry theorem proving
- Automated reducible geometric theorem proving and discovery by Gröbner basis method
- On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra
- Ritt-Wu's decomposition algorithm and geometry theorem proving
- scientific article; zbMATH DE number 3926283 (Why is no real title available?)
- Automatic deduction in (dynamic) geometry: Loci computation
- scientific article; zbMATH DE number 1145330 (Why is no real title available?)
This page was built for publication: Basic principles of mechanical theorem proving in elementary geometries
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1101257)
