Pages that link to "Item:Q2354915"
From MaRDI portal
The following pages link to A Singular web service for geometric computations (Q2354915):
Displaying 4 items.
- On the unavoidable uncertainty of truth in dynamic geometry proving (Q294370) (← links)
- Computing envelopes in dynamic geometry environments (Q2398266) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Contemporary Interpretation of a Historical Locus Problem with the Use of Computer Algebra (Q4610005) (← links)