Pages that link to "Item:Q5102014"
From MaRDI portal
The following pages link to Automated reasoning tools in GeoGebra discovery (Q5102014):
Displaying 5 items.
- Detecting truth, just on parts (Q2425054) (← links)
- Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
- Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra} (Q6106414) (← links)
- Computing with Tarski formulas and semi-algebraic sets in a web browser (Q6170823) (← links)
- Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition (Q6536548) (← links)