Pages that link to "Item:Q1924738"
From MaRDI portal
The following pages link to Elimination procedures for mechanical theorem proving in geometry (Q1924738):
Displaying 22 items.
- Towards a certified version of the encyclopedia of triangle centers (Q294378) (← links)
- A decision method for certain algebraic geometry problems (Q752130) (← links)
- Basic principles of mechanical theorem proving in elementary geometries (Q1101257) (← links)
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving (Q1121669) (← links)
- A new approach for automatic theorem proving in real geometry (Q1272610) (← links)
- Mechanical theorem proving in projective geometry (Q1924746) (← links)
- Recent advances in automated theorem proving on inequalities (Q1966106) (← links)
- On \(n\)-sectors of the angles of an arbitrary triangle (Q1995812) (← links)
- Mechanical proof of planimetric theorems of rational type (Q2017773) (← links)
- Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Catagenesis condition for approximate theorem-proving (Q2764247) (← links)
- Mechanical geometry theorem proving (Q2765682) (← links)
- Realization of automatic reasoning system of geometry based on point-eliminating method (Q3399727) (← links)
- (Q3483266) (← links)
- (Q3571256) (← links)
- (Q4840652) (← links)
- (Q4935821) (← links)
- Verification: Theory and Practice (Q5305651) (← links)
- On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra (Q5505483) (← links)
- Automated Deduction in Geometry (Q5902021) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)
