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):
Displayed 19 items.
- 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)
- 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)
- A computer-aided proof of a conjecture in Euclidean geometry (Q2389464) (← links)
- Symbolic computation of exact solutions for a nonlinear evolution equation (Q2482600) (← 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)