Pages that link to "Item:Q294370"
From MaRDI portal
The following pages link to On the unavoidable uncertainty of truth in dynamic geometry proving (Q294370):
Displaying 4 items.
- Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick (Q783254) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- On the mechanization of straightedge and compass constructions (Q1730306) (← links)
- Detecting truth, just on parts (Q2425054) (← links)
