Pages that link to "Item:Q1329538"
From MaRDI portal
The following pages link to Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang (Q1329538):
Displaying 40 items.
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
- Symbolic computation of strongly nonlinear periodic oscillations (Q390390) (← links)
- RATH: A Maple package for finding travelling solitary wave solutions to nonlinear evolution equations (Q709343) (← links)
- Properness defects of projection and minimal discriminant variety (Q719760) (← links)
- Implicitization of partial differential rational parametric equations (Q863028) (← links)
- A complete algorithm for automated discovering of a class of inequality-type theorems (Q865930) (← links)
- Counting positive solutions for polynomial systems with real coefficients (Q1004849) (← links)
- A complete algorithm for counting real solutions of polynomial systems of equations and inequalities. (Q1416272) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← links)
- Implicitization of differential rational parametric equations. (Q1426145) (← links)
- Computing triangular systems and regular systems (Q1582304) (← links)
- An improved algorithm for constructing moving quadrics from moving planes (Q1621121) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Characteristic decomposition: from regular sets to normal sets (Q1730299) (← links)
- Self-evident automated proving based on point geometry from the perspective of Wu's method identity (Q1730304) (← links)
- Retrieving geometric information from images: the case of hand-drawn diagrams (Q1741163) (← links)
- A new algorithm for symbolic integration with application (Q1765837) (← links)
- A new algorithm for integral of trigonometric functions with mechanization (Q1774843) (← links)
- Weak Wu stratification in \(\mathbb{R}^n\) (Q1808668) (← links)
- A software tool for the investigation of plane loci (Q1861521) (← links)
- Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)
- Recent advances in automated theorem proving on inequalities (Q1966106) (← 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)
- Chordal graphs in triangular decomposition in top-down style (Q2200301) (← links)
- Implicitizing rational surfaces without base points by moving planes and moving quadrics (Q2330078) (← links)
- Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
- On the connection between Ritt characteristic sets and Buchberger-Gröbner bases (Q2364885) (← links)
- A computer-aided proof of a conjecture in Euclidean geometry (Q2389464) (← links)
- Symbolic computation of exact solutions for a nonlinear evolution equation (Q2482600) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- Primary decomposition of zero-dimensional ideals over finite fields (Q3055105) (← links)
- What Is a Line ? (Q3102740) (← links)
- Decomposition of polynomial sets into characteristic pairs (Q4960083) (← links)
- On the Chordality of Simple Decomposition in Top-Down Style (Q5014670) (← links)
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry (Q5453491) (← links)
- A systematic framework for solving geometric constraints analytically (Q5926297) (← links)
- ``Russian killer'' No. 2: a challenging geometric theorem with human and machine proofs. (Q5949275) (← links)
- Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles (Q5961493) (← links)