Pages that link to "Item:Q1101257"
From MaRDI portal
The following pages link to Basic principles of mechanical theorem proving in elementary geometries (Q1101257):
Displaying 50 items.
- Wu's characteristic set method for SystemVerilog assertions verification (Q364509) (← links)
- An efficient algorithm for factoring polynomials over algebraic extension field (Q365855) (← links)
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
- Characteristic set algorithms for equation solving in finite fields (Q413410) (← links)
- Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification (Q462854) (← links)
- A criterion for testing whether a difference ideal is prime (Q473046) (← links)
- A recursive algorithm for constructing complicated Dixon matrices (Q606826) (← links)
- Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case (Q630689) (← links)
- Morley's theorem revisited: origami construction and automated proof (Q633087) (← links)
- Using geometric rewrite rules for solving geometric problems symbolically (Q685375) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs (Q882517) (← links)
- On the complexity of counting components of algebraic varieties (Q1030247) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- Wu's method and its application to perspective viewing (Q1115642) (← links)
- A refutational approach to geometry theorem proving (Q1124373) (← links)
- Mechanical manipulation for a class of differential systems (Q1186742) (← links)
- Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases (Q1195755) (← links)
- Theorem proving by chain resolution (Q1274972) (← links)
- The computer searches for Pascal conics (Q1343393) (← links)
- Deriving some new conditions on the existence of eight limit cycles for a cubic system (Q1356843) (← links)
- Ordering in mechanical geometry theorem proving (Q1368227) (← links)
- Limits of theory sequences over algebraically closed fields and applications. (Q1421482) (← links)
- New exact solutions for three nonlinear evolution equations (Q1598602) (← links)
- Generalizing Morley's and other theorems with automated realization (Q1655490) (← 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)
- Ritt-Wu characteristic set method for Laurent partial differential polynomial systems (Q1730301) (← links)
- A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases (Q1730311) (← links)
- A new algorithm for symbolic integration with application (Q1765837) (← links)
- A new algorithm for integral of trigonometric functions with mechanization (Q1774843) (← links)
- Computer aided proof for the global stability of Lotka-Volterra systems (Q1921255) (← links)
- The dimension method in elementary and differential geometry (Q1924742) (← links)
- A category of geometric spaces: Some computational aspects (Q1924747) (← links)
- Solving SAT by algorithm transform of Wu's method (Q1966110) (← links)
- On \(n\)-sectors of the angles of an arbitrary triangle (Q1995812) (← links)
- Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences (Q2071535) (← links)
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition (Q2109980) (← links)
- On the efficiency of solving Boolean polynomial systems with the characteristic set method (Q2211189) (← links)
- Computing strong regular characteristic pairs with Gröbner bases (Q2229717) (← links)
- Multiplicity-preserving triangular set decomposition of two polynomials (Q2341596) (← links)
- Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm (Q2360828) (← links)
- An algorithm for solving singular perturbation problems with mechanization (Q2371434) (← links)
- Polynomials root-finding using a SLEFE-based clipping method (Q2397808) (← links)
- Parametric equation solving and quantifier elimination in finite fields with the characteristic set method (Q2439880) (← links)
- A mechanical algorithm for solving the Volterra integral equation (Q2489422) (← links)
- Mechanical algorithm for solving the second kind of Volterra integral equation (Q2489467) (← links)
- An algorithm for solving DAEs with mechanization (Q2570797) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- The LaSalle's invariant sets for a class of Lotka-Volterra prey-predator chain systems (Q2633776) (← links)