Copertina

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hota, Amela, Kovács, Zoltán, Vujic, Alexander
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	History and Overview Artificial Intelligence Computational Geometry Symbolic Computation
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Showing Proofs, Assessing Difficulty with GeoGebra Discovery
di: Kovács, Zoltán, et al.
Pubblicazione: (2024)

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

MathPartner is a breakthrough technology for natural sciences education, scientic and engineering applications
di: Malaschonok, Gennadi, et al.
Pubblicazione: (2025)

Visualizing the Matrix Product as a Transformation: A Task Design Using GeoGebra in Secondary Mathematics Education
di: Serrano, Felix De La Cruz
Pubblicazione: (2026)

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

Open Source Prover in the Attic
di: Kovács, Zoltán, et al.
Pubblicazione: (2024)

Mental Geometry
di: Bouleau, Nicolas
Pubblicazione: (2025)

The Evolution of Enumerative Geometry: A Narrative from Classical Problems to Enriched Invariants
di: Bethea, Candace, et al.
Pubblicazione: (2025)

Geometry in the twentieth century: A return to Euclid -- The work of Herbert Busemann
di: Papadopoulos, Athanase
Pubblicazione: (2024)

Ludwig Bieberbach's "Remarks on Hilbert's Thirteenth Problem" and Addendum
di: Nanavaty, Anubhav
Pubblicazione: (2024)

Finding the Cores of Higher Graphs Using Geometric and Topological Means: A Survey
di: García-Redondo, Inés, et al.
Pubblicazione: (2025)

A survey of Zarankiewicz problems in geometry
di: Smorodinsky, Shakhar
Pubblicazione: (2024)

Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery
di: Duede, Eamon, et al.
Pubblicazione: (2024)

A Scaling-Parameter Framework for Perimeter and Area in Self-Similar Planar Fractals
di: Marotta, Pedro
Pubblicazione: (2026)

A Note on the Legendre Transformation
di: Remizov, Alexey
Pubblicazione: (2025)

On Kepler's geometric approach to consonances
di: Frauenfelder, Urs
Pubblicazione: (2024)

The Brioschi Formula for the Gaussian Curvature
di: Teo, Lee-Peng
Pubblicazione: (2024)

Euler's explorations of extremal ellipses
di: Euler, Leonhard, et al.
Pubblicazione: (2025)

Analytical Methods for Squaring the Disc
di: Fong, Chamberlain
Pubblicazione: (2015)

Arthur Byron Coble, 1878--1966
di: Kollár, János
Pubblicazione: (2023)

Crónica de un contraejemplo
di: Duarte, Daniel
Pubblicazione: (2026)

Trigonometric Ratios Can Prove the Pythagorean Theorem
di: Kise, Shoya, et al.
Pubblicazione: (2025)

The Ray-Singer torsion
di: Lott, John
Pubblicazione: (2023)

G.N. Chebotarev's "On the Klein-Hilbert Resolvent Problem"
di: Raman, Sidhanth
Pubblicazione: (2024)

Large Language Models Don't Make Sense of Word Problems. A Scoping Review from a Mathematics Education Perspective
di: Strohmaier, Anselm R., et al.
Pubblicazione: (2025)

On the Lambert conformal conical projection and the general map of the Russian Empire
di: Miyachi, Hideki, et al.
Pubblicazione: (2026)

The Hexagonal Tiling Honeycomb
di: Baez, John C.
Pubblicazione: (2024)

Proceedings 14th International Conference on Automated Deduction in Geometry
di: Quaresma, Pedro, et al.
Pubblicazione: (2024)

Taking Music Seriously: on the Dynamics of 'Mathemusical' Research with a Focus on Hexachordal Theorems
di: Andreatta, Moreno, et al.
Pubblicazione: (2024)

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

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

How to Solve Diophantine Equations
di: Sochi, Taha
Pubblicazione: (2024)

Can the current trends of AI handle a full course of mathematics?
di: Alsayyad, Mariam, et al.
Pubblicazione: (2025)

Some footnotes on Thurston's Notes ''The Geometry and Topology of 3-manifolds''
di: Papadopoulos, Athanase
Pubblicazione: (2024)

Solving the Problem of Induction
di: Yang, Xuezhi
Pubblicazione: (2023)

Open Mathematical Tasks as a Didactic Response to Generative Artificial Intelligence in Post-AI Contexts
di: Serrano, Felix De la Cruz
Pubblicazione: (2026)

Waterproof Editor: an educational environment for proof assistants and programming languages
di: Otte, Pim, et al.
Pubblicazione: (2026)

Controlling Equational Reasoning in Large Language Models with Prompt Interventions
di: Meadows, Jordan, et al.
Pubblicazione: (2023)

Mathematical Entities: Corpora and Benchmarks
di: Collard, Jacob, et al.
Pubblicazione: (2024)