Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery.
Amela HotaZoltán KovácsAlexander VujicPublished in: CoRR (2024)
Keyphrases
- automated deduction
- solving problems
- knowledge discovery
- databases
- combinatorial optimization
- problems involving
- three dimensional
- data model
- np complete problems
- algebraic equations
- convex quadratic programming
- partial solutions
- solving complex
- constraint problems
- systems of linear equations
- sparse linear systems