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