Buchumschlag

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ariño-Morera, Belén, Kovács, Zoltán, Recio, Tomás, Tolmos, Piedad
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Symbolic Computation Artificial Intelligence Computational Geometry
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Showing Proofs, Assessing Difficulty with GeoGebra Discovery
von: Kovács, Zoltán, et al.
Veröffentlicht: (2024)

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
von: Hota, Amela, et al.
Veröffentlicht: (2024)

Using Java Geometry Expert as Guide in the Preparations for Math Contests
von: Ganglmayr, Ines, et al.
Veröffentlicht: (2024)

The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
von: Käferböck, Anna, et al.
Veröffentlicht: (2024)

Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether
von: Srivastava, Karan, et al.
Veröffentlicht: (2025)

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
von: Bednarek, Jakub, et al.
Veröffentlicht: (2024)

Solving generic parametric linear matrix inequalities
von: Naldi, Simone, et al.
Veröffentlicht: (2025)

Solving parameter-dependent semi-algebraic systems
von: Gaillard, Louis, et al.
Veröffentlicht: (2024)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
von: Shalyt, Michael, et al.
Veröffentlicht: (2025)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
von: Defresne, Marianne, et al.
Veröffentlicht: (2025)

A Theoretical Review on Solving Algebra Problems
von: Yu, Xinguo, et al.
Veröffentlicht: (2024)

Multi-Operational Mathematical Derivations in Latent Space
von: Valentino, Marco, et al.
Veröffentlicht: (2023)

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning
von: Leang, Joshua Ong Jun, et al.
Veröffentlicht: (2024)

VITA: Versatile Time Representation Learning for Temporal Hyper-Relational Knowledge Graphs
von: Un, ChongIn, et al.
Veröffentlicht: (2025)

Primender Sequence: A Novel Mathematical Construct for Testing Symbolic Inference and AI Reasoning
von: Faiz, Mohd Anwar Jamal
Veröffentlicht: (2025)

3D Space Trajectories and beyond: Abstract Art Creation with 3D Printing
von: Dana-Picard, Thierry, et al.
Veröffentlicht: (2024)

Computing braids from approximate data
von: Guillemot, Alexandre, et al.
Veröffentlicht: (2026)

Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
von: Labre, Marcelo
Veröffentlicht: (2026)

Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery
von: Feng, Jie, et al.
Veröffentlicht: (2024)

Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert
von: Cory-Wright, Ryan, et al.
Veröffentlicht: (2023)

A Symbolic Homotopy Algorithm for Solving Composable Polynomial Systems
von: Vu, Thi Xuan
Veröffentlicht: (2026)

Deciding Connectivity in Symmetric Semi-Algebraic Sets
von: Riener, Cordian., et al.
Veröffentlicht: (2025)

A Probabilistic Framework for Hierarchical Goal Recognition
von: Zhang, Chenyuan, et al.
Veröffentlicht: (2026)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
von: Ludäscher, Bertram, et al.
Veröffentlicht: (2025)

NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework
von: Deng, Zihao, et al.
Veröffentlicht: (2025)

ABD: Default Exception Abduction in Finite First Order Worlds
von: Batzoglou, Serafim
Veröffentlicht: (2026)

Formal Verification of Neural Certificates Done Dynamically
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Simulating Petri nets with Boolean Matrix Logic Programming
von: Ai, Lun, et al.
Veröffentlicht: (2024)

Synthesizing Evolving Symbolic Representations for Autonomous Systems
von: Sartor, Gabriele, et al.
Veröffentlicht: (2024)

A Qualitative Model to Reason about Object Rotations (QOR) applied to solve the Cube Comparison Test (CCT)
von: Falomir, Zoe
Veröffentlicht: (2026)

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
von: Mishra, Suyash
Veröffentlicht: (2026)

On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems
von: Sonna, Belona, et al.
Veröffentlicht: (2025)

NOMTO: Neural Operator-based symbolic Model approximaTion and discOvery
von: Garmaev, Sergei, et al.
Veröffentlicht: (2025)

To Be or Not To Be: Vector ontologies as a truly formal ontological framework
von: Rothenfusser, Kaspar
Veröffentlicht: (2025)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
von: Xu, Weidi, et al.
Veröffentlicht: (2023)

Probabilistic Active Goal Recognition
von: Zhang, Chenyuan, et al.
Veröffentlicht: (2025)

Two Constraint Compilation Methods for Lifted Planning
von: Mantenoglou, Periklis, et al.
Veröffentlicht: (2025)

Trinomials and Deterministic Complexity Limits for Real Solving
von: Boniface, Emma, et al.
Veröffentlicht: (2022)

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
von: Chen, Yongchao, et al.
Veröffentlicht: (2025)

Enes Causal Discovery
von: Kafantaris, Alexis
Veröffentlicht: (2026)