Pages that link to "Item:Q1855223"
From MaRDI portal
The following pages link to Geometric theorem proving by integrated logical and algebraic reasoning (Q1855223):
Displaying 9 items.
- Logical and set calculations in the framework of geometrical informatics paradigm (Q300308) (← links)
- Self-evident automated proving based on point geometry from the perspective of Wu's method identity (Q1730304) (← links)
- The dimension method in elementary and differential geometry (Q1924742) (← links)
- Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm (Q2360828) (← links)
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)
- (Q3126572) (← links)
- (Q4440824) (← links)
- A Geometric Procedure with Prover9 (Q4913864) (← links)
- GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry (Q5041061) (← links)