default search action

combined dblp search
author search
venue search
publication search

ask others

13th ADG 2021: Hagenberg, Austria / virtual

> 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-2112-14770
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14770
Predrag Janicic, Zoltán Kovács:
Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021. EPTCS 352, 2021
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-00533
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-00533
Christoph Koutschan:
Realizations of Rigid Graphs. 4-13
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-00534
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-00534
Vesna Marinkovic, Tijana Sukilovic, Filip Maric:
On Automating Triangle Constructions in Absolute and Hyperbolic Geometry. 14-26
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-00535
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-00535
Zhenbing Zeng, Jian Lu, Yaochen Xu, Yuzheng Wang:
Maximizing the Sum of the Distances between Four Points on the Unit Hemisphere. 27-40
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-00536
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-00536
Tetsuo Ida, Hidekazu Takahashi:
A New Modeling of Classical Folds in Computational Origami. 41-53
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-07275
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-07275
Wolfgang Windsteiger:
Automated Theorem Proving in the Classroom. 54-63
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-00538
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-00538
Jack Heimrath:
The Area Method in the Wolfram Language. 64-76
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-00539
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-00539
Pascal Schreck, Nicolas Magaud, David Braun:
Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach. 77-90
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-00540
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-00540
Predrag Janicic, Julien Narboux:
Automated Generation of Illustrations for Synthetic Geometry Proofs. 91-102
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-07274
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-07274
Alexander Thaller, Zoltán Kovács:
Online Generation of Proofs Without Words. 103-105
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-00541
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-00541
Nicolas Magaud:
Spreads and Packings of PG(3, 2), Formally! 107-115
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-00542
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-00542
Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot:
Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems. 116-128
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-01375
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-01375
Nuno Baeta, Pedro Quaresma:
Open Geometry Prover Community Project. 129-138
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-07362
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-07362
Zoltán Kovács, Tomás Recio, M. Pilar Vélez:
GeoGebra Discovery in Context. 141-147
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-00543
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-00543
Philip H. Todd:
A Method for the Automated Discovery of Angle Theorems. 148-155
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-00544
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-00544
Christopher W. Brown, Zoltán Kovács, Róbert Vajda:
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski. 156-166
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-00545
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-00545
Zoltán Kovács, Róbert Vajda:
Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra. 167-172

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.