|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tetsuo Ida, Hidekazu Takahashi |
A New Modeling of Classical Folds in Computational Origami. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021., pp. 41-53, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zhenbing Zeng, Jian Lu, Yaochen Xu, Yuzheng Wang |
Maximizing the Sum of the Distances between Four Points on the Unit Hemisphere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021., pp. 27-40, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vesna Marinkovic, Tijana Sukilovic, Filip Maric |
On Automating Triangle Constructions in Absolute and Hyperbolic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021., pp. 14-26, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Schreck, Nicolas Magaud, David Braun |
Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021., pp. 77-90, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Philip H. Todd |
A Method for the Automated Discovery of Angle Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021., pp. 148-155, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christopher W. Brown 0001, Zoltán Kovács, Róbert Vajda |
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021., pp. 156-166, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Magaud |
Spreads and Packings of PG(3, 2), Formally! ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021., pp. 107-115, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Koutschan |
Realizations of Rigid Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021., pp. 4-13, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jack Heimrath |
The Area Method in the Wolfram Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021., pp. 64-76, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Windsteiger |
Automated Theorem Proving in the Classroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021., pp. 54-63, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Thaller, Zoltán Kovács |
Online Generation of Proofs Without Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021., pp. 103-105, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Kovács, Tomás Recio, M. Pilar Vélez |
GeoGebra Discovery in Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021., pp. 141-147, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Predrag Janicic, Julien Narboux |
Automated Generation of Illustrations for Synthetic Geometry Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021., pp. 91-102, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Baeta, Pedro Quaresma |
Open Geometry Prover Community Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021., pp. 129-138, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Kovács, Róbert Vajda |
Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021., pp. 167-172, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Predrag Janicic, Zoltán Kovács (eds.) |
Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot |
Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021., pp. 116-128, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Botana, Pedro Quaresma (eds.) |
Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![Springer, 978-3-319-21361-3 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vesna Marinkovic, Predrag Janicic, Pascal Schreck |
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers, pp. 72-93, 2014, Springer, 978-3-319-21361-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport, Matthew England 0001 |
Recent Advances in Real Geometric Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers, pp. 37-52, 2014, Springer, 978-3-319-21361-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Pech |
Extension of Simson-Wallace Theorem on Skew Quadrilaterals and Further Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers, pp. 108-118, 2014, Springer, 978-3-319-21361-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Quaresma, Nuno Baeta |
Current Status of the I2GATP Common Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers, pp. 119-128, 2014, Springer, 978-3-319-21361-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Md. Ashraful Alam, Ileana Streinu |
Star-Unfolding Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers, pp. 1-20, 2014, Springer, 978-3-319-21361-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shuichi Moritsugu |
Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers, pp. 94-107, 2014, Springer, 978-3-319-21361-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Kovács |
The Relation Tool in GeoGebra 5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers, pp. 53-71, 2014, Springer, 978-3-319-21361-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian S. Borcea, Ileana Streinu |
Volume Frameworks and Deformation Varieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers, pp. 21-36, 2014, Springer, 978-3-319-21361-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Meera Sitharam, Joel Willoughby |
On Flattenability of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers, pp. 129-148, 2014, Springer, 978-3-319-21361-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dan Song 0010, Dongming Wang 0001, Xiaoyu Chen 0001 |
Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers, pp. 149-165, 2014, Springer, 978-3-319-21361-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Menghan Wang, Meera Sitharam |
Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADG ![In: Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers, pp. 166-180, 2014, Springer, 978-3-319-21361-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|