Cover Image

Showing Proofs, Assessing Difficulty with GeoGebra Discovery

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kovács, Zoltán, Recio, Tomás, Vélez, M. Pilar
Format:	Preprint
Published:	2024
Subjects:	Symbolic Computation Artificial Intelligence Computational Geometry
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
by: Ariño-Morera, Belén, et al.
Published: (2024)

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

Using Java Geometry Expert as Guide in the Preparations for Math Contests
by: Ganglmayr, Ines, et al.
Published: (2024)

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

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

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
by: Ünsal, Mert, et al.
Published: (2024)

3D Space Trajectories and beyond: Abstract Art Creation with 3D Printing
by: Dana-Picard, Thierry, et al.
Published: (2024)

Computing braids from approximate data
by: Guillemot, Alexandre, et al.
Published: (2026)

Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery
by: Feng, Jie, et al.
Published: (2024)

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

Deciding Connectivity in Symmetric Semi-Algebraic Sets
by: Riener, Cordian., et al.
Published: (2025)

Simulating Petri nets with Boolean Matrix Logic Programming
by: Ai, Lun, et al.
Published: (2024)

Synthesizing Evolving Symbolic Representations for Autonomous Systems
by: Sartor, Gabriele, et al.
Published: (2024)

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
by: Bednarek, Jakub, et al.
Published: (2024)

A Probabilistic Framework for Hierarchical Goal Recognition
by: Zhang, Chenyuan, et al.
Published: (2026)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
by: Ludäscher, Bertram, et al.
Published: (2025)

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

ABD: Default Exception Abduction in Finite First Order Worlds
by: Batzoglou, Serafim
Published: (2026)

VITA: Versatile Time Representation Learning for Temporal Hyper-Relational Knowledge Graphs
by: Un, ChongIn, et al.
Published: (2025)

Formal Verification of Neural Certificates Done Dynamically
by: Henzinger, Thomas A., et al.
Published: (2025)

A Qualitative Model to Reason about Object Rotations (QOR) applied to solve the Cube Comparison Test (CCT)
by: Falomir, Zoe
Published: (2026)

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
by: Mishra, Suyash
Published: (2026)

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

NOMTO: Neural Operator-based symbolic Model approximaTion and discOvery
by: Garmaev, Sergei, et al.
Published: (2025)

To Be or Not To Be: Vector ontologies as a truly formal ontological framework
by: Rothenfusser, Kaspar
Published: (2025)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
by: Xu, Weidi, et al.
Published: (2023)

Probabilistic Active Goal Recognition
by: Zhang, Chenyuan, et al.
Published: (2025)

Two Constraint Compilation Methods for Lifted Planning
by: Mantenoglou, Periklis, et al.
Published: (2025)

Enes Causal Discovery
by: Kafantaris, Alexis
Published: (2026)

ELIZA Reanimated: The world's first chatbot restored on the world's first time sharing system
by: Lane, Rupert, et al.
Published: (2025)

MiGumi: Making Tightly Coupled Integral Joints Millable
by: Ganeshan, Aditya, et al.
Published: (2025)

Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity
by: Prébet, Rémi, et al.
Published: (2024)

Solving parameter-dependent semi-algebraic systems
by: Gaillard, Louis, et al.
Published: (2024)

Persistent components in Canny's Generalized Characteristic Polynomial
by: Pogudin, Gleb
Published: (2024)

Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)
by: Hong, Hoon, et al.
Published: (2023)

Indicial polynomials and $b$-functions of $D$-modules along arbitrary varieties and their computation
by: Oaku, Toshinori
Published: (2026)

Solving generic parametric linear matrix inequalities
by: Naldi, Simone, et al.
Published: (2025)

Dimension Results for Extremal-Generic Polynomial Systems over Complete Toric Varieties
by: Bender, Matías, et al.
Published: (2023)

Beyond Affine Loops: A Geometric Approach to Program Synthesis
by: Bayarmagnai, Erdenebayar, et al.
Published: (2025)

Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)
by: Hong, Hoon, et al.
Published: (2023)