|
|
|
|
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.  |
ADG  |
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. |
ADG |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesna Marinkovic, Tijana Sukilovic, Filip Maric |
On Automating Triangle Constructions in Absolute and Hyperbolic Geometry. |
ADG |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Schreck, Nicolas Magaud, David Braun |
Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach. |
ADG |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip H. Todd |
A Method for the Automated Discovery of Angle Theorems. |
ADG |
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. |
ADG |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Magaud |
Spreads and Packings of PG(3, 2), Formally! |
ADG |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Koutschan |
Realizations of Rigid Graphs. |
ADG |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jack Heimrath |
The Area Method in the Wolfram Language. |
ADG |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Windsteiger |
Automated Theorem Proving in the Classroom. |
ADG |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Thaller, Zoltán Kovács |
Online Generation of Proofs Without Words. |
ADG |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Kovács, Tomás Recio, M. Pilar Vélez |
GeoGebra Discovery in Context. |
ADG |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Predrag Janicic, Julien Narboux |
Automated Generation of Illustrations for Synthetic Geometry Proofs. |
ADG |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Baeta, Pedro Quaresma |
Open Geometry Prover Community Project. |
ADG |
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. |
ADG |
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. |
ADG |
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. |
ADG |
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 |
ADG |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesna Marinkovic, Predrag Janicic, Pascal Schreck |
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems. |
ADG |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Davenport, Matthew England 0001 |
Recent Advances in Real Geometric Reasoning. |
ADG |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Pech |
Extension of Simson-Wallace Theorem on Skew Quadrilaterals and Further Properties. |
ADG |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Quaresma, Nuno Baeta |
Current Status of the I2GATP Common Format. |
ADG |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. Ashraful Alam, Ileana Streinu |
Star-Unfolding Polygons. |
ADG |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuichi Moritsugu |
Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons. |
ADG |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Kovács |
The Relation Tool in GeoGebra 5. |
ADG |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ciprian S. Borcea, Ileana Streinu |
Volume Frameworks and Deformation Varieties. |
ADG |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Meera Sitharam, Joel Willoughby |
On Flattenability of Graphs. |
ADG |
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. |
ADG |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Menghan Wang, Meera Sitharam |
Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems. |
ADG |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license