Pages that link to "Item:Q583606"
From MaRDI portal
The following pages link to A new theorem discovered by computer prover (Q583606):
Displaying 5 items.
- On protocols for the automated discovery of theorems in elementary geometry (Q846167) (← links)
- On the automatic derivation of a set of geometric formulae (Q1895166) (← links)
- Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
- Formalization of Wu’s Simple Method in Coq (Q3100204) (← links)
- Development of automatic reasoning tools in GeoGebra (Q5270196) (← links)