The following pages link to Zoltán Kovács (Q286776):
Displaying 26 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Automated determination of isoptics with dynamic geometry (Q1798947) (← links)
- Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools (Q1798965) (← links)
- A mechanical geometer (Q2071524) (← links)
- Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations (Q2287905) (← links)
- Reasoning about linkages with dynamic geometry (Q2334575) (← links)
- A Singular web service for geometric computations (Q2354915) (← links)
- Detecting truth, just on parts (Q2425054) (← links)
- Rewriting input expressions in complex algebraic geometry provers (Q2631957) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Giac and GeoGebra – Improved Gröbner Basis Computations (Q2808009) (← links)
- Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
- The Relation Tool in GeoGebra 5 (Q3452276) (← links)
- Contemporary Interpretation of a Historical Locus Problem with the Use of Computer Algebra (Q4610005) (← links)
- Automated reasoning tools in GeoGebra discovery (Q5102014) (← links)
- (Q5133355) (← links)
- Development of automatic reasoning tools in GeoGebra (Q5270196) (← links)
- Towards an Automated Geometer (Q6108828) (← links)
- Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? (Q6157640) (← links)
- Automated exploration of envelopes and offsets with networking of technologies (Q6157645) (← 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)
- GeoGebra discovery in context (Q6653968) (← links)
- Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski (Q6653970) (← links)
- Parametric root finding for supporting proving and discovering geometric inequalities in GeoGebra (Q6653971) (← links)
- Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet) (Q6697746) (← links)
