default search action

combined dblp search
author search
venue search
publication search

ask others

14th ADG 2023: Belgrade, Serbia

> Home > Conferences and Workshops > ADG

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-10725
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-10725
Pedro Quaresma, Zoltán Kovács:
Proceedings 14th International Conference on Automated Deduction in Geometry, ADG 2023, Belgrade, Serbia, 20-22th September 2023. EPTCS 398, 2024
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-11897
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-11897
Nicolas Magaud:
Towards Automatic Transformations of Coq Proof Scripts. 4-10
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-13700
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-13700
Vesna Marinkovic, Tijana Sukilovic, Filip Maric:
Towards Automated Readable Proofs of Ruler and Compass Constructions. 11-20
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-11898
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-11898
Salwa Tabet Gonzalez, Predrag Janicic, Julien Narboux:
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving. 21-37
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-13701
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-13701
Philip H. Todd, Danny Aley:
Using GXWeb for Theorem Proving and Mathematical Modelling. 38-42
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-11900
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-11900
Zoltán Kovács, Tomás Recio, M. Pilar Vélez:
Showing Proofs, Assessing Difficulty with GeoGebra Discovery. 43-52
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-13702
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-13702
Zoltán Kovács, Alexander Vujic:
Open Source Prover in the Attic. 53-61
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-11903
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-11903
Milan Bankovic:
Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers. 62-72
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-11904
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-11904
Pierre Boutry, Stéphane Kastenbaum, Clément Saintier:
Towards an Independent Version of Tarski's System of Geometry. 73-84
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-11905
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-11905
Pedro Quaresma, Pierluigi Graziani, Stefano M. Nicoletti:
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry. 85-100
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-11906
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-11906
Belén Ariño-Morera, Zoltán Kovács, Tomás Recio, Piedad Tolmos:
Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned. 101-109
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-13703
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-13703
Amela Hota, Zoltán Kovács, Alexander Vujic:
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery. 110-123
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-13704
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-13704
Ines Ganglmayr, Zoltán Kovács:
Using Java Geometry Expert as Guide in the Preparations for Math Contests. 124-131
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-11908
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-11908
Anna Käferböck, Zoltán Kovács:
The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt. 132-141
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-11909
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-11909
Thierry N. Dana-Picard, Matias Tejera, Eva Ulbrich:
3D Space Trajectories and beyond: Abstract Art Creation with 3D Printing. 142-152
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-13002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-13002
Philip H. Todd:
Theorem Discovery Amongst Cyclic Polygons. 153-164
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-11910
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-11910
Hoon Hong, Dongming Wang, Jing Yang:
Improving Angular Speed Uniformity by Piecewise Radical Reparameterization. 165-178

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.