default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/adg:"
download as .bib file
@proceedings{DBLP:journals/corr/abs-2401-10725,
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
year = {2024},
url = {https://doi.org/10.4204/EPTCS.398},
doi = {10.4204/EPTCS.398},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-10725.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-11897,
author = {Nicolas Magaud},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Towards Automatic Transformations of Coq Proof Scripts},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {4--10},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.4},
doi = {10.4204/EPTCS.398.4},
timestamp = {Wed, 12 Jun 2024 17:01:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11897.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-11898,
author = {Salwa Tabet Gonzalez and
Predrag Janicic and
Julien Narboux},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Automated Completion of Statements and Proofs in Synthetic Geometry:
an Approach based on Constraint Solving},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {21--37},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.6},
doi = {10.4204/EPTCS.398.6},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11898.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-11900,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio and
M. Pilar V{\'{e}}lez},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Showing Proofs, Assessing Difficulty with GeoGebra Discovery},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {43--52},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.8},
doi = {10.4204/EPTCS.398.8},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11900.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-11903,
author = {Milan Bankovic},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Automation of Triangle Ruler-and-Compass Constructions Using Constraint
Solvers},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {62--72},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.10},
doi = {10.4204/EPTCS.398.10},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11903.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-11904,
author = {Pierre Boutry and
St{\'{e}}phane Kastenbaum and
Cl{\'{e}}ment Saintier},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Towards an Independent Version of Tarski's System of Geometry},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {73--84},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.11},
doi = {10.4204/EPTCS.398.11},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11904.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-11905,
author = {Pedro Quaresma and
Pierluigi Graziani and
Stefano M. Nicoletti},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Considerations on Approaches and Metrics in Automated Theorem Generation/Finding
in Geometry},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {85--100},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.12},
doi = {10.4204/EPTCS.398.12},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11905.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-11906,
author = {Bel{\'{e}}n Ari{\~{n}}o{-}Morera and
Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio and
Piedad Tolmos},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem:
Lessons Learned},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {101--109},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.13},
doi = {10.4204/EPTCS.398.13},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-11908,
author = {Anna K{\"{a}}ferb{\"{o}}ck and
Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {The Locus Story of a Rocking Camel in a Medical Center in the City
of Freistadt},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {132--141},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.16},
doi = {10.4204/EPTCS.398.16},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11908.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-11909,
author = {Thierry N. Dana{-}Picard and
Matias Tejera and
Eva Ulbrich},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {3D Space Trajectories and beyond: Abstract Art Creation with 3D Printing},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {142--152},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.17},
doi = {10.4204/EPTCS.398.17},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11909.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-11910,
author = {Hoon Hong and
Dongming Wang and
Jing Yang},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Improving Angular Speed Uniformity by Piecewise Radical Reparameterization},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {165--178},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.19},
doi = {10.4204/EPTCS.398.19},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11910.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-13002,
author = {Philip H. Todd},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Theorem Discovery Amongst Cyclic Polygons},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {153--164},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.18},
doi = {10.4204/EPTCS.398.18},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-13002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-13700,
author = {Vesna Marinkovic and
Tijana Sukilovic and
Filip Maric},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Towards Automated Readable Proofs of Ruler and Compass Constructions},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {11--20},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.5},
doi = {10.4204/EPTCS.398.5},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-13700.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-13701,
author = {Philip H. Todd and
Danny Aley},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Using GXWeb for Theorem Proving and Mathematical Modelling},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {38--42},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.7},
doi = {10.4204/EPTCS.398.7},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-13701.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-13702,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Alexander Vujic},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Open Source Prover in the Attic},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {53--61},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.9},
doi = {10.4204/EPTCS.398.9},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-13702.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-13703,
author = {Amela Hota and
Zolt{\'{a}}n Kov{\'{a}}cs and
Alexander Vujic},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Solving Some Geometry Problems of the N{\'{a}}boj 2023 Contest
with Automated Deduction in GeoGebra Discovery},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {110--123},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.14},
doi = {10.4204/EPTCS.398.14},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-13703.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2401-13704,
author = {Ines Ganglmayr and
Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Pedro Quaresma and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Using Java Geometry Expert as Guide in the Preparations for Math Contests},
booktitle = {Proceedings 14th International Conference on Automated Deduction in
Geometry, {ADG} 2023, Belgrade, Serbia, 20-22th September 2023},
series = {{EPTCS}},
volume = {398},
pages = {124--131},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.398.15},
doi = {10.4204/EPTCS.398.15},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-13704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-00533,
author = {Christoph Koutschan},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Realizations of Rigid Graphs},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {4--13},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.2},
doi = {10.4204/EPTCS.352.2},
timestamp = {Thu, 17 Mar 2022 15:48:39 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00533.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-00534,
author = {Vesna Marinkovic and
Tijana Sukilovic and
Filip Maric},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {On Automating Triangle Constructions in Absolute and Hyperbolic Geometry},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {14--26},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.3},
doi = {10.4204/EPTCS.352.3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00534.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-00535,
author = {Zhenbing Zeng and
Jian Lu and
Yaochen Xu and
Yuzheng Wang},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Maximizing the Sum of the Distances between Four Points on the Unit
Hemisphere},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {27--40},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.4},
doi = {10.4204/EPTCS.352.4},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00535.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-00536,
author = {Tetsuo Ida and
Hidekazu Takahashi},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {A New Modeling of Classical Folds in Computational Origami},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {41--53},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.5},
doi = {10.4204/EPTCS.352.5},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00536.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-00538,
author = {Jack Heimrath},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {The Area Method in the Wolfram Language},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {64--76},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.7},
doi = {10.4204/EPTCS.352.7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00538.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-00539,
author = {Pascal Schreck and
Nicolas Magaud and
David Braun},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Mechanization of Incidence Projective Geometry in Higher Dimensions,
a Combinatorial Approach},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {77--90},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.8},
doi = {10.4204/EPTCS.352.8},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00539.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-00540,
author = {Predrag Janicic and
Julien Narboux},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Automated Generation of Illustrations for Synthetic Geometry Proofs},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {91--102},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.9},
doi = {10.4204/EPTCS.352.9},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00540.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-00541,
author = {Nicolas Magaud},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Spreads and Packings of PG(3, 2), Formally!},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {107--115},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.12},
doi = {10.4204/EPTCS.352.12},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00541.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-00542,
author = {Richard Schmoetten and
Jake E. Palmer and
Jacques D. Fleuriot},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality
Theorems},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {116--128},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.13},
doi = {10.4204/EPTCS.352.13},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00542.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-00543,
author = {Philip H. Todd},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {A Method for the Automated Discovery of Angle Theorems},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {148--155},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.17},
doi = {10.4204/EPTCS.352.17},
timestamp = {Mon, 27 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00543.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-00544,
author = {Christopher W. Brown and
Zolt{\'{a}}n Kov{\'{a}}cs and
R{\'{o}}bert Vajda},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Supporting Proving and Discovering Geometric Inequalities in GeoGebra
by using Tarski},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {156--166},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.18},
doi = {10.4204/EPTCS.352.18},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00544.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-00545,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
R{\'{o}}bert Vajda},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Parametric Root Finding for Supporting Proving and Discovering Geometric
Inequalities in GeoGebra},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {167--172},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.19},
doi = {10.4204/EPTCS.352.19},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00545.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-01375,
author = {Nuno Baeta and
Pedro Quaresma},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Open Geometry Prover Community Project},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {129--138},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.14},
doi = {10.4204/EPTCS.352.14},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-01375.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-07274,
author = {Alexander Thaller and
Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Online Generation of Proofs Without Words},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {103--105},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.10},
doi = {10.4204/EPTCS.352.10},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-07274.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-07275,
author = {Wolfgang Windsteiger},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Automated Theorem Proving in the Classroom},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {54--63},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.6},
doi = {10.4204/EPTCS.352.6},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-07275.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-07362,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Tom{\'{a}}s Recio and
M. Pilar V{\'{e}}lez},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {GeoGebra Discovery in Context},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {141--147},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.16},
doi = {10.4204/EPTCS.352.16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-07362.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2112-14770,
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352},
doi = {10.4204/EPTCS.352},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-14770.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adg/2014,
editor = {Francisco Botana and
Pedro Quaresma},
title = {Automated Deduction in Geometry - 10th International Workshop, {ADG}
2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9201},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21362-0},
doi = {10.1007/978-3-319-21362-0},
isbn = {978-3-319-21361-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/AlamS14,
author = {Md. Ashraful Alam and
Ileana Streinu},
editor = {Francisco Botana and
Pedro Quaresma},
title = {Star-Unfolding Polygons},
booktitle = {Automated Deduction in Geometry - 10th International Workshop, {ADG}
2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9201},
pages = {1--20},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21362-0\_1},
doi = {10.1007/978-3-319-21362-0\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/adg/AlamS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/BorceaS14,
author = {Ciprian S. Borcea and
Ileana Streinu},
editor = {Francisco Botana and
Pedro Quaresma},
title = {Volume Frameworks and Deformation Varieties},
booktitle = {Automated Deduction in Geometry - 10th International Workshop, {ADG}
2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9201},
pages = {21--36},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21362-0\_2},
doi = {10.1007/978-3-319-21362-0\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/BorceaS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/DavenportE14,
author = {James H. Davenport and
Matthew England},
editor = {Francisco Botana and
Pedro Quaresma},
title = {Recent Advances in Real Geometric Reasoning},
booktitle = {Automated Deduction in Geometry - 10th International Workshop, {ADG}
2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9201},
pages = {37--52},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21362-0\_3},
doi = {10.1007/978-3-319-21362-0\_3},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/DavenportE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Kovacs14,
author = {Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Francisco Botana and
Pedro Quaresma},
title = {The Relation Tool in GeoGebra 5},
booktitle = {Automated Deduction in Geometry - 10th International Workshop, {ADG}
2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9201},
pages = {53--71},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21362-0\_4},
doi = {10.1007/978-3-319-21362-0\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Kovacs14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/MarinkovicJS14,
author = {Vesna Marinkovic and
Predrag Janicic and
Pascal Schreck},
editor = {Francisco Botana and
Pedro Quaresma},
title = {Computer Theorem Proving for Verifiable Solving of Geometric Construction
Problems},
booktitle = {Automated Deduction in Geometry - 10th International Workshop, {ADG}
2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9201},
pages = {72--93},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21362-0\_5},
doi = {10.1007/978-3-319-21362-0\_5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/MarinkovicJS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Moritsugu14,
author = {Shuichi Moritsugu},
editor = {Francisco Botana and
Pedro Quaresma},
title = {Integrated Circumradius and Area Formulae for Cyclic Pentagons and
Hexagons},
booktitle = {Automated Deduction in Geometry - 10th International Workshop, {ADG}
2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9201},
pages = {94--107},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21362-0\_6},
doi = {10.1007/978-3-319-21362-0\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Moritsugu14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Pech14,
author = {Pavel Pech},
editor = {Francisco Botana and
Pedro Quaresma},
title = {Extension of Simson-Wallace Theorem on Skew Quadrilaterals and Further
Properties},
booktitle = {Automated Deduction in Geometry - 10th International Workshop, {ADG}
2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9201},
pages = {108--118},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21362-0\_7},
doi = {10.1007/978-3-319-21362-0\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Pech14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/QuaresmaB14,
author = {Pedro Quaresma and
Nuno Baeta},
editor = {Francisco Botana and
Pedro Quaresma},
title = {Current Status of the {I2GATP} Common Format},
booktitle = {Automated Deduction in Geometry - 10th International Workshop, {ADG}
2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9201},
pages = {119--128},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21362-0\_8},
doi = {10.1007/978-3-319-21362-0\_8},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/QuaresmaB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/SitharamW14,
author = {Meera Sitharam and
Joel Willoughby},
editor = {Francisco Botana and
Pedro Quaresma},
title = {On Flattenability of Graphs},
booktitle = {Automated Deduction in Geometry - 10th International Workshop, {ADG}
2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9201},
pages = {129--148},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21362-0\_9},
doi = {10.1007/978-3-319-21362-0\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/SitharamW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/SongWC14,
author = {Dan Song and
Dongming Wang and
Xiaoyu Chen},
editor = {Francisco Botana and
Pedro Quaresma},
title = {Discovering Geometric Theorems from Scanned and Photographed Images
of Diagrams},
booktitle = {Automated Deduction in Geometry - 10th International Workshop, {ADG}
2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9201},
pages = {149--165},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21362-0\_10},
doi = {10.1007/978-3-319-21362-0\_10},
timestamp = {Fri, 14 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/SongWC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/WangS14,
author = {Menghan Wang and
Meera Sitharam},
editor = {Francisco Botana and
Pedro Quaresma},
title = {Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence
Constraint Systems},
booktitle = {Automated Deduction in Geometry - 10th International Workshop, {ADG}
2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9201},
pages = {166--180},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21362-0\_11},
doi = {10.1007/978-3-319-21362-0\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/WangS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adg/2012,
editor = {Tetsuo Ida and
Jacques D. Fleuriot},
title = {Automated Deduction in Geometry - 9th International Workshop, {ADG}
2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7993},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40672-0},
doi = {10.1007/978-3-642-40672-0},
isbn = {978-3-642-40671-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Beeson12,
author = {Michael Beeson},
editor = {Tetsuo Ida and
Jacques D. Fleuriot},
title = {Proof and Computation in Geometry},
booktitle = {Automated Deduction in Geometry - 9th International Workshop, {ADG}
2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7993},
pages = {1--30},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40672-0\_1},
doi = {10.1007/978-3-642-40672-0\_1},
timestamp = {Thu, 14 Oct 2021 10:03:06 +0200},
biburl = {https://dblp.org/rec/conf/adg/Beeson12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/BorceaS12,
author = {Ciprian Borcea and
Ileana Streinu},
editor = {Tetsuo Ida and
Jacques D. Fleuriot},
title = {Realizations of Volume Frameworks},
booktitle = {Automated Deduction in Geometry - 9th International Workshop, {ADG}
2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7993},
pages = {110--119},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40672-0\_8},
doi = {10.1007/978-3-642-40672-0\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/BorceaS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/BowersS12,
author = {John Christopher Bowers and
Ileana Streinu},
editor = {Tetsuo Ida and
Jacques D. Fleuriot},
title = {Rigidity of Origami Universal Molecules},
booktitle = {Automated Deduction in Geometry - 9th International Workshop, {ADG}
2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7993},
pages = {120--142},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40672-0\_9},
doi = {10.1007/978-3-642-40672-0\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/BowersS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/BraunN12,
author = {Gabriel Braun and
Julien Narboux},
editor = {Tetsuo Ida and
Jacques D. Fleuriot},
title = {From Tarski to Hilbert},
booktitle = {Automated Deduction in Geometry - 9th International Workshop, {ADG}
2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7993},
pages = {89--109},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40672-0\_7},
doi = {10.1007/978-3-642-40672-0\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/BraunN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/BrunDM12,
author = {Christophe Brun and
Jean{-}Fran{\c{c}}ois Dufourd and
Nicolas Magaud},
editor = {Tetsuo Ida and
Jacques D. Fleuriot},
title = {Formal Proof in Coq and Derivation of an Imperative Program to Compute
Convex Hulls},
booktitle = {Automated Deduction in Geometry - 9th International Workshop, {ADG}
2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7993},
pages = {71--88},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40672-0\_6},
doi = {10.1007/978-3-642-40672-0\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/BrunDM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/GhourabiKK12,
author = {Fadoua Ghourabi and
Asem Kasem and
Cezary Kaliszyk},
editor = {Tetsuo Ida and
Jacques D. Fleuriot},
title = {Algebraic Analysis of Huzita's Origami Operations and Their Extensions},
booktitle = {Automated Deduction in Geometry - 9th International Workshop, {ADG}
2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7993},
pages = {143--160},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40672-0\_10},
doi = {10.1007/978-3-642-40672-0\_10},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/GhourabiKK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/MathisS12,
author = {Pascal Mathis and
Pascal Schreck},
editor = {Tetsuo Ida and
Jacques D. Fleuriot},
title = {Equation Systems with Free-Coordinates Determinants},
booktitle = {Automated Deduction in Geometry - 9th International Workshop, {ADG}
2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7993},
pages = {59--70},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40672-0\_5},
doi = {10.1007/978-3-642-40672-0\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/MathisS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Moritsugu12,
author = {Shuichi Moritsugu},
editor = {Tetsuo Ida and
Jacques D. Fleuriot},
title = {Extending the Descartes Circle Theorem for Steiner n-Cycles},
booktitle = {Automated Deduction in Geometry - 9th International Workshop, {ADG}
2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7993},
pages = {48--58},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40672-0\_4},
doi = {10.1007/978-3-642-40672-0\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Moritsugu12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/SiddiqueAT12,
author = {Umair Siddique and
Vincent Aravantinos and
Sofi{\`{e}}ne Tahar},
editor = {Tetsuo Ida and
Jacques D. Fleuriot},
title = {On the Formal Analysis of Geometrical Optics in {HOL}},
booktitle = {Automated Deduction in Geometry - 9th International Workshop, {ADG}
2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7993},
pages = {161--180},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40672-0\_11},
doi = {10.1007/978-3-642-40672-0\_11},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/SiddiqueAT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Stojanovic12,
author = {Sana Stojanovic},
editor = {Tetsuo Ida and
Jacques D. Fleuriot},
title = {Preprocessing of the Axiomatic System for More Efficient Automated
Proving and Shorter Proofs},
booktitle = {Automated Deduction in Geometry - 9th International Workshop, {ADG}
2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7993},
pages = {181--192},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40672-0\_12},
doi = {10.1007/978-3-642-40672-0\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Stojanovic12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Wang12,
author = {Dongming Wang},
editor = {Tetsuo Ida and
Jacques D. Fleuriot},
title = {Automation of Geometry - Theorem Proving, Diagram Generation, and
Knowledge Management},
booktitle = {Automated Deduction in Geometry - 9th International Workshop, {ADG}
2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7993},
pages = {31--32},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40672-0\_2},
doi = {10.1007/978-3-642-40672-0\_2},
timestamp = {Mon, 22 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Wang12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/YangWH12,
author = {Jing Yang and
Dongming Wang and
Hoon Hong},
editor = {Tetsuo Ida and
Jacques D. Fleuriot},
title = {Improving Angular Speed Uniformity by {C} 1 Piecewise Reparameterization},
booktitle = {Automated Deduction in Geometry - 9th International Workshop, {ADG}
2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7993},
pages = {33--47},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40672-0\_3},
doi = {10.1007/978-3-642-40672-0\_3},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/YangWH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adg/2008,
editor = {Thomas Sturm and
Christoph Zengler},
title = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
2008, Shanghai, China, September 22-24, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6301},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21046-4},
doi = {10.1007/978-3-642-21046-4},
isbn = {978-3-642-21045-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adg/2010,
editor = {Pascal Schreck and
Julien Narboux and
J{\"{u}}rgen Richter{-}Gebert},
title = {Automated Deduction in Geometry - 8th International Workshop, {ADG}
2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6877},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25070-5},
doi = {10.1007/978-3-642-25070-5},
isbn = {978-3-642-25069-9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/ApelR10,
author = {Susanne Apel and
J{\"{u}}rgen Richter{-}Gebert},
editor = {Pascal Schreck and
Julien Narboux and
J{\"{u}}rgen Richter{-}Gebert},
title = {Cancellation Patterns in Automatic Geometric Theorem Proving},
booktitle = {Automated Deduction in Geometry - 8th International Workshop, {ADG}
2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6877},
pages = {1--33},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25070-5\_1},
doi = {10.1007/978-3-642-25070-5\_1},
timestamp = {Mon, 26 Jun 2023 20:49:13 +0200},
biburl = {https://dblp.org/rec/conf/adg/ApelR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Fleuriot10,
author = {Jacques D. Fleuriot},
editor = {Pascal Schreck and
Julien Narboux and
J{\"{u}}rgen Richter{-}Gebert},
title = {Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL},
booktitle = {Automated Deduction in Geometry - 8th International Workshop, {ADG}
2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6877},
pages = {34--50},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25070-5\_2},
doi = {10.1007/978-3-642-25070-5\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Fleuriot10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/FuchsT10,
author = {Laurent Fuchs and
Laurent Th{\'{e}}ry},
editor = {Pascal Schreck and
Julien Narboux and
J{\"{u}}rgen Richter{-}Gebert},
title = {A Formalization of Grassmann-Cayley Algebra in {COQ} and Its Application
to Theorem Proving in Projective Geometry},
booktitle = {Automated Deduction in Geometry - 8th International Workshop, {ADG}
2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6877},
pages = {51--67},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25070-5\_3},
doi = {10.1007/978-3-642-25070-5\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/FuchsT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/GerhauserW10,
author = {Michael Gerh{\"{a}}user and
Alfred Wassermann},
editor = {Pascal Schreck and
Julien Narboux and
J{\"{u}}rgen Richter{-}Gebert},
title = {Automatic Calculation of Plane Loci Using Gr{\"{o}}bner Bases
and Integration into a Dynamic Geometry System},
booktitle = {Automated Deduction in Geometry - 8th International Workshop, {ADG}
2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6877},
pages = {68--77},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25070-5\_4},
doi = {10.1007/978-3-642-25070-5\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/GerhauserW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/GhourabiIK10,
author = {Fadoua Ghourabi and
Tetsuo Ida and
Asem Kasem},
editor = {Pascal Schreck and
Julien Narboux and
J{\"{u}}rgen Richter{-}Gebert},
title = {Proof Documents for Automated Origami Theorem Proving},
booktitle = {Automated Deduction in Geometry - 8th International Workshop, {ADG}
2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6877},
pages = {78--97},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25070-5\_5},
doi = {10.1007/978-3-642-25070-5\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/GhourabiIK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Lichtblau10,
author = {Daniel Lichtblau},
editor = {Pascal Schreck and
Julien Narboux and
J{\"{u}}rgen Richter{-}Gebert},
title = {The Midpoint Locus of a Triangle in a Corner},
booktitle = {Automated Deduction in Geometry - 8th International Workshop, {ADG}
2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6877},
pages = {98--117},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25070-5\_6},
doi = {10.1007/978-3-642-25070-5\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Lichtblau10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Michelucci10,
author = {Dominique Michelucci},
editor = {Pascal Schreck and
Julien Narboux and
J{\"{u}}rgen Richter{-}Gebert},
title = {Some Lemmas to Hopefully Enable Search Methods to Find Short and Human
Readable Proofs for Incidence Theorems of Projective Geometry},
booktitle = {Automated Deduction in Geometry - 8th International Workshop, {ADG}
2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6877},
pages = {118--131},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25070-5\_7},
doi = {10.1007/978-3-642-25070-5\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Michelucci10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Michelucci10a,
author = {Dominique Michelucci},
editor = {Pascal Schreck and
Julien Narboux and
J{\"{u}}rgen Richter{-}Gebert},
title = {What Is a Line ?},
booktitle = {Automated Deduction in Geometry - 8th International Workshop, {ADG}
2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6877},
pages = {132--151},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25070-5\_8},
doi = {10.1007/978-3-642-25070-5\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Michelucci10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Pech10,
author = {Pavel Pech},
editor = {Pascal Schreck and
Julien Narboux and
J{\"{u}}rgen Richter{-}Gebert},
title = {On One Method of Proving Inequalities in Automated Way},
booktitle = {Automated Deduction in Geometry - 8th International Workshop, {ADG}
2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6877},
pages = {152--168},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25070-5\_9},
doi = {10.1007/978-3-642-25070-5\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Pech10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Quaresma10,
author = {Pedro Quaresma},
editor = {Pascal Schreck and
Julien Narboux and
J{\"{u}}rgen Richter{-}Gebert},
title = {Thousands of Geometric Problems for Geometric Theorem Provers {(TGTP)}},
booktitle = {Automated Deduction in Geometry - 8th International Workshop, {ADG}
2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6877},
pages = {169--181},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25070-5\_10},
doi = {10.1007/978-3-642-25070-5\_10},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/Quaresma10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/ScottF10,
author = {Phil Scott and
Jacques D. Fleuriot},
editor = {Pascal Schreck and
Julien Narboux and
J{\"{u}}rgen Richter{-}Gebert},
title = {An Investigation of Hilbert's Implicit Reasoning through Proof Discovery
in Idle-Time},
booktitle = {Automated Deduction in Geometry - 8th International Workshop, {ADG}
2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6877},
pages = {182--200},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25070-5\_11},
doi = {10.1007/978-3-642-25070-5\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/ScottF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/StojanovicPJ10,
author = {Sana Stojanovic and
Vesna Pavlovic and
Predrag Janicic},
editor = {Pascal Schreck and
Julien Narboux and
J{\"{u}}rgen Richter{-}Gebert},
title = {A Coherent Logic Based Geometry Theorem Prover Capable of Producing
Formal and Readable Proofs},
booktitle = {Automated Deduction in Geometry - 8th International Workshop, {ADG}
2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6877},
pages = {201--220},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25070-5\_12},
doi = {10.1007/978-3-642-25070-5\_12},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/StojanovicPJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/ZouZ10,
author = {Yu Zou and
Jingzhong Zhang},
editor = {Pascal Schreck and
Julien Narboux and
J{\"{u}}rgen Richter{-}Gebert},
title = {Automated Generation of Readable Proofs for Constructive Geometry
Statements with the Mass Point Method},
booktitle = {Automated Deduction in Geometry - 8th International Workshop, {ADG}
2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6877},
pages = {221--258},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25070-5\_13},
doi = {10.1007/978-3-642-25070-5\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/ZouZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/BourgeoisO08,
author = {Gerald Bourgeois and
S{\'{e}}bastien Orange},
editor = {Thomas Sturm and
Christoph Zengler},
title = {Dynamical Systems of Simplices in Dimension Two or Three},
booktitle = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
2008, Shanghai, China, September 22-24, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6301},
pages = {1--21},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-21046-4\_1},
doi = {10.1007/978-3-642-21046-4\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/adg/BourgeoisO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/ChenHW08,
author = {Xiaoyu Chen and
Ying Huang and
Dongming Wang},
editor = {Thomas Sturm and
Christoph Zengler},
title = {On the Design and Implementation of a Geometric Knowledge Base},
booktitle = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
2008, Shanghai, China, September 22-24, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6301},
pages = {22--41},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-21046-4\_2},
doi = {10.1007/978-3-642-21046-4\_2},
timestamp = {Fri, 29 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/ChenHW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/GregoirePT08,
author = {Benjamin Gr{\'{e}}goire and
Lo{\"{\i}}c Pottier and
Laurent Th{\'{e}}ry},
editor = {Thomas Sturm and
Christoph Zengler},
title = {Proof Certificates for Algebra and Their Application to Automatic
Geometry Theorem Proving},
booktitle = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
2008, Shanghai, China, September 22-24, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6301},
pages = {42--59},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-21046-4\_3},
doi = {10.1007/978-3-642-21046-4\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/GregoirePT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/KapurM08,
author = {Deepak Kapur and
Manfred Minimair},
editor = {Thomas Sturm and
Christoph Zengler},
title = {Multivariate Resultants in Bernstein Basis},
booktitle = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
2008, Shanghai, China, September 22-24, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6301},
pages = {60--85},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-21046-4\_4},
doi = {10.1007/978-3-642-21046-4\_4},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/KapurM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Kredel08,
author = {Heinz Kredel},
editor = {Thomas Sturm and
Christoph Zengler},
title = {Unique Factorization Domains in the Java Computer Algebra System},
booktitle = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
2008, Shanghai, China, September 22-24, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6301},
pages = {86--115},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-21046-4\_5},
doi = {10.1007/978-3-642-21046-4\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Kredel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/LasarukS08,
author = {Aless Lasaruk and
Thomas Sturm},
editor = {Thomas Sturm and
Christoph Zengler},
title = {Automatic Verification of the Adequacy of Models for Families of Geometric
Objects},
booktitle = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
2008, Shanghai, China, September 22-24, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6301},
pages = {116--140},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-21046-4\_6},
doi = {10.1007/978-3-642-21046-4\_6},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/LasarukS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/MagaudNS08,
author = {Nicolas Magaud and
Julien Narboux and
Pascal Schreck},
editor = {Thomas Sturm and
Christoph Zengler},
title = {Formalizing Projective Plane Geometry in Coq},
booktitle = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
2008, Shanghai, China, September 22-24, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6301},
pages = {141--162},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-21046-4\_7},
doi = {10.1007/978-3-642-21046-4\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/MagaudNS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/MichelucciF08,
author = {Dominique Michelucci and
Christoph F{\"{u}}nfzig},
editor = {Thomas Sturm and
Christoph Zengler},
title = {Linear Programming for Bernstein Based Solvers},
booktitle = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
2008, Shanghai, China, September 22-24, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6301},
pages = {163--178},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-21046-4\_8},
doi = {10.1007/978-3-642-21046-4\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/MichelucciF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/SegundoS08,
author = {Fernando San Segundo and
J. Rafael Sendra},
editor = {Thomas Sturm and
Christoph Zengler},
title = {Offsetting Revolution Surfaces},
booktitle = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
2008, Shanghai, China, September 22-24, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6301},
pages = {179--188},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-21046-4\_9},
doi = {10.1007/978-3-642-21046-4\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/SegundoS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/YeCG08,
author = {Zheng Ye and
Shang{-}Ching Chou and
Xiao{-}Shan Gao},
editor = {Thomas Sturm and
Christoph Zengler},
title = {An Introduction to Java Geometry Expert - (Extended Abstract)},
booktitle = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
2008, Shanghai, China, September 22-24, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6301},
pages = {189--195},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-21046-4\_10},
doi = {10.1007/978-3-642-21046-4\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/YeCG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/ZengC08,
author = {Zhenbing Zeng and
Liangyu Chen},
editor = {Thomas Sturm and
Christoph Zengler},
title = {On the Heilbronn Optimal Configuration of Seven Points in the Square},
booktitle = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
2008, Shanghai, China, September 22-24, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6301},
pages = {196--224},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-21046-4\_11},
doi = {10.1007/978-3-642-21046-4\_11},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/ZengC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adg/2006,
editor = {Francisco Botana and
Tom{\'{a}}s Recio},
title = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4869},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77356-6},
doi = {10.1007/978-3-540-77356-6},
isbn = {978-3-540-77355-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/ChenW06,
author = {Xiaoyu Chen and
Dongming Wang},
editor = {Francisco Botana and
Tom{\'{a}}s Recio},
title = {Towards an Electronic Geometry Textbook},
booktitle = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4869},
pages = {1--23},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77356-6\_1},
doi = {10.1007/978-3-540-77356-6\_1},
timestamp = {Fri, 29 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/ChenW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Hales06,
author = {Thomas C. Hales},
editor = {Francisco Botana and
Tom{\'{a}}s Recio},
title = {Equidecomposable Quadratic Regions},
booktitle = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4869},
pages = {24--38},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77356-6\_2},
doi = {10.1007/978-3-540-77356-6\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Hales06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/JanicicQ06,
author = {Predrag Janicic and
Pedro Quaresma},
editor = {Francisco Botana and
Tom{\'{a}}s Recio},
title = {Automatic Verification of Regular Constructions in Dynamic Geometry
Systems},
booktitle = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4869},
pages = {39--51},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77356-6\_3},
doi = {10.1007/978-3-540-77356-6\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/JanicicQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/LebmeirR06,
author = {Peter Lebmeir and
J{\"{u}}rgen Richter{-}Gebert},
editor = {Francisco Botana and
Tom{\'{a}}s Recio},
title = {Recognition of Computationally Constructed Loci},
booktitle = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4869},
pages = {52--67},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77356-6\_4},
doi = {10.1007/978-3-540-77356-6\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/LebmeirR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/LewisC06,
author = {Robert H. Lewis and
Evangelos A. Coutsias},
editor = {Francisco Botana and
Tom{\'{a}}s Recio},
title = {Algorithmic Search for Flexibility Using Resultants of Polynomial
Systems},
booktitle = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4869},
pages = {68--79},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77356-6\_5},
doi = {10.1007/978-3-540-77356-6\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/LewisC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Lichtblau06,
author = {Daniel Lichtblau},
editor = {Francisco Botana and
Tom{\'{a}}s Recio},
title = {Cylinders Through Five Points: Complex and Real Enumerative Geometry},
booktitle = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4869},
pages = {80--97},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77356-6\_6},
doi = {10.1007/978-3-540-77356-6\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Lichtblau06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/MichelucciF06,
author = {Dominique Michelucci and
Sebti Foufou},
editor = {Francisco Botana and
Tom{\'{a}}s Recio},
title = {Detecting All Dependences in Systems of Geometric Constraints Using
the Witness Method},
booktitle = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4869},
pages = {98--112},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77356-6\_7},
doi = {10.1007/978-3-540-77356-6\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/MichelucciF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/MontesR06,
author = {Antonio Montes and
Tom{\'{a}}s Recio},
editor = {Francisco Botana and
Tom{\'{a}}s Recio},
title = {Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive
Gr{\"{o}}bner Systems},
booktitle = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4869},
pages = {113--138},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77356-6\_8},
doi = {10.1007/978-3-540-77356-6\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/MontesR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Narboux06,
author = {Julien Narboux},
editor = {Francisco Botana and
Tom{\'{a}}s Recio},
title = {Mechanical Theorem Proving in Tarski's Geometry},
booktitle = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4869},
pages = {139--156},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77356-6\_9},
doi = {10.1007/978-3-540-77356-6\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Narboux06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Pech06,
author = {Pavel Pech},
editor = {Francisco Botana and
Tom{\'{a}}s Recio},
title = {On the Need of Radical Ideals in Automatic Proving: {A} Theorem About
Regular Polygons},
booktitle = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4869},
pages = {157--170},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77356-6\_10},
doi = {10.1007/978-3-540-77356-6\_10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Pech06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Roanes-MaciasR06,
author = {Eugenio Roanes{-}Mac{\'{\i}}as and
Eugenio Roanes{-}Lozano},
editor = {Francisco Botana and
Tom{\'{a}}s Recio},
title = {A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry},
booktitle = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4869},
pages = {171--188},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77356-6\_11},
doi = {10.1007/978-3-540-77356-6\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Roanes-MaciasR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Todd06,
author = {Philip H. Todd},
editor = {Francisco Botana and
Tom{\'{a}}s Recio},
title = {Geometry Expressions: {A} Constraint Based Interactive Symbolic Geometry
System},
booktitle = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4869},
pages = {189--202},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77356-6\_12},
doi = {10.1007/978-3-540-77356-6\_12},
timestamp = {Mon, 27 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/Todd06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/YangZ06,
author = {Lu Yang and
Zhenbing Zeng},
editor = {Francisco Botana and
Tom{\'{a}}s Recio},
title = {Constructing a Tetrahedron with Prescribed Heights and Widths},
booktitle = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4869},
pages = {203--211},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77356-6\_13},
doi = {10.1007/978-3-540-77356-6\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/YangZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adg/2004,
editor = {Hoon Hong and
Dongming Wang},
title = {Automated Deduction in Geometry, 5th International Workshop, {ADG}
2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3763},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11615798},
doi = {10.1007/11615798},
isbn = {3-540-31332-X},
timestamp = {Tue, 19 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/BotanaR04,
author = {Francisco Botana and
Tom{\'{a}}s Recio},
editor = {Hoon Hong and
Dongming Wang},
title = {Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach},
booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG}
2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3763},
pages = {92--110},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11615798\_7},
doi = {10.1007/11615798\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/BotanaR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/ChenLLW04,
author = {XueFeng Chen and
Peng Li and
Long Lin and
DingKang Wang},
editor = {Hoon Hong and
Dongming Wang},
title = {Proving Geometric Theorems by Partitioned-Parametric Gr{\"{o}}bner
Bases},
booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG}
2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3763},
pages = {34--43},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11615798\_3},
doi = {10.1007/11615798\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/ChenLLW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/ChibisovMP04,
author = {Dmytro Chibisov and
Ernst W. Mayr and
Sergey Pankratov},
editor = {Hoon Hong and
Dongming Wang},
title = {Spatial Planning and Geometric Optimization: Combining Configuration
Space and Energy Methods},
booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG}
2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3763},
pages = {156--168},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11615798\_10},
doi = {10.1007/11615798\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/ChibisovMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Denner-Broser04,
author = {Britta Denner{-}Broser},
editor = {Hoon Hong and
Dongming Wang},
title = {On the Decidability of Tracing Problems in Dynamic Geometry},
booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG}
2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3763},
pages = {111--129},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11615798\_8},
doi = {10.1007/11615798\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Denner-Broser04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Li04,
author = {Hongbo Li},
editor = {Hoon Hong and
Dongming Wang},
title = {\emph{n}D Polyhedral Scene Reconstruction from Single 2D Line Drawing
by Local Propagation},
booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG}
2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3763},
pages = {169--197},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11615798\_11},
doi = {10.1007/11615798\_11},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Li04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/LiangW04,
author = {Tielin Liang and
Dongming Wang},
editor = {Hoon Hong and
Dongming Wang},
title = {Towards a Geometric-Object-Oriented Language},
booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG}
2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3763},
pages = {130--155},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11615798\_9},
doi = {10.1007/11615798\_9},
timestamp = {Tue, 19 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/LiangW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Lichtblau04,
author = {Daniel Lichtblau},
editor = {Hoon Hong and
Dongming Wang},
title = {Computing Curves Bounding Trigonometric Planar Maps: Symbolic and
Hybrid Methods},
booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG}
2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3763},
pages = {70--91},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11615798\_6},
doi = {10.1007/11615798\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Lichtblau04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/MeikleF04,
author = {Laura I. Meikle and
Jacques D. Fleuriot},
editor = {Hoon Hong and
Dongming Wang},
title = {Mechanical Theorem Proving in Computational Geometry},
booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG}
2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3763},
pages = {1--18},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11615798\_1},
doi = {10.1007/11615798\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/MeikleF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Pech04,
author = {Pavel Pech},
editor = {Hoon Hong and
Dongming Wang},
title = {Computations of the Area and Radius of Cyclic Polygons Given by the
Lengths of Sides},
booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG}
2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3763},
pages = {44--58},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11615798\_4},
doi = {10.1007/11615798\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Pech04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/RobuITTB04,
author = {Judit Robu and
Tetsuo Ida and
Dorin Tepeneu and
Hidekazu Takahashi and
Bruno Buchberger},
editor = {Hoon Hong and
Dongming Wang},
title = {Computational Origami Construction of a Regular Heptagon with Automated
Proof of Its Correctness},
booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG}
2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3763},
pages = {19--33},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11615798\_2},
doi = {10.1007/11615798\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/RobuITTB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/YangZ04,
author = {Lu Yang and
Zhenbing Zeng},
editor = {Hoon Hong and
Dongming Wang},
title = {Symbolic Solution of a Piano Movers' Problem with Four Parameters},
booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG}
2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3763},
pages = {59--69},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11615798\_5},
doi = {10.1007/11615798\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/YangZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/ZhangG04,
author = {Gui{-}Fang Zhang and
Xiao{-}Shan Gao},
editor = {Hoon Hong and
Dongming Wang},
title = {Planar Generalized Stewart Platforms and Their Direct Kinematics},
booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG}
2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3763},
pages = {198--211},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11615798\_12},
doi = {10.1007/11615798\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/ZhangG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adg/2002,
editor = {Franz Winkler},
title = {Automated Deduction in Geometry, 4th International Workshop, {ADG}
2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2930},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b95516},
doi = {10.1007/B95516},
isbn = {3-540-20927-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Bodnar02,
author = {G{\'{a}}bor Bodn{\'{a}}r},
editor = {Franz Winkler},
title = {Algorithmic Tests for the Normal Crossing Property},
booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG}
2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2930},
pages = {1--20},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24616-9\_1},
doi = {10.1007/978-3-540-24616-9\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/adg/Bodnar02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/ChenW02,
author = {XueFeng Chen and
DingKang Wang},
editor = {Franz Winkler},
title = {The Projection of Quasi Variety and Its Application on Geometric Theorem
Proving and Formula Deduction},
booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG}
2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2930},
pages = {21--30},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24616-9\_2},
doi = {10.1007/978-3-540-24616-9\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/ChenW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/CorvezR02,
author = {Solen Corvez and
Fabrice Rouillier},
editor = {Franz Winkler},
title = {Using Computer Algebra Tools to Classify Serial Manipulators},
booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG}
2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2930},
pages = {31--43},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24616-9\_3},
doi = {10.1007/978-3-540-24616-9\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/CorvezR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/GaoL02,
author = {Xiao{-}Shan Gao and
Qiang Lin},
editor = {Franz Winkler},
title = {MMP/Geometer - {A} Software Package for Automated Geometric Reasoning},
booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG}
2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2930},
pages = {44--66},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24616-9\_4},
doi = {10.1007/978-3-540-24616-9\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/GaoL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Grabe02,
author = {Hans{-}Gert Gr{\"{a}}be},
editor = {Franz Winkler},
title = {The SymbolicData {GEO} Records - {A} Public Repository of Geometry
Theorem Proof Schemes},
booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG}
2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2930},
pages = {67--86},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24616-9\_5},
doi = {10.1007/978-3-540-24616-9\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Grabe02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/JermannNT02,
author = {Christophe Jermann and
Bertrand Neveu and
Gilles Trombettoni},
editor = {Franz Winkler},
title = {A New Structural Rigidity for Geometric Constraint Systems},
booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG}
2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2930},
pages = {87--106},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24616-9\_6},
doi = {10.1007/978-3-540-24616-9\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/JermannNT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Li02,
author = {Hongbo Li},
editor = {Franz Winkler},
title = {Algebraic Representation, Elimination and Expansion in Automated Geometric
Theorem Proving},
booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG}
2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2930},
pages = {106--123},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24616-9\_7},
doi = {10.1007/978-3-540-24616-9\_7},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Li02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/OwenP02,
author = {John C. Owen and
Steve C. Power},
editor = {Franz Winkler},
title = {The Nonsolvability by Radicals of Generic 3-connected Planar Graphs},
booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG}
2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2930},
pages = {124--131},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24616-9\_8},
doi = {10.1007/978-3-540-24616-9\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/OwenP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/PaskoA02,
author = {Alexander A. Pasko and
Valery Adzhiev},
editor = {Franz Winkler},
title = {Function-Based Shape Modeling: Mathematical Framework and Specialized
Language},
booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG}
2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2930},
pages = {132--160},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24616-9\_9},
doi = {10.1007/978-3-540-24616-9\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/PaskoA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/ShalabyJS02,
author = {Mohamed Shalaby and
Bert J{\"{u}}ttler and
Josef Schicho},
editor = {Franz Winkler},
title = {C\({}^{\mbox{1}}\) Spline Implicitization of Planar Curves},
booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG}
2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2930},
pages = {161--177},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24616-9\_10},
doi = {10.1007/978-3-540-24616-9\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/ShalabyJS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Tchoupaeva02,
author = {Irina Tchoupaeva},
editor = {Franz Winkler},
title = {Analysis of Geometrical Theorems in Coordinate-Free Form by Using
Anticommutative Gr{\"{o}}bner Bases Method},
booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG}
2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2930},
pages = {178--193},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24616-9\_11},
doi = {10.1007/978-3-540-24616-9\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Tchoupaeva02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Wang02,
author = {Dongming Wang},
editor = {Franz Winkler},
title = {{GEOTHER} 1.1: Handling and Proving Geometric Theorems Automatically},
booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG}
2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2930},
pages = {194--215},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24616-9\_12},
doi = {10.1007/978-3-540-24616-9\_12},
timestamp = {Tue, 19 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/Wang02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Yang02,
author = {Lu Yang},
editor = {Franz Winkler},
title = {Distance Coordinates Used in Geometric Constraint Solving},
booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG}
2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2930},
pages = {216--229},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24616-9\_13},
doi = {10.1007/978-3-540-24616-9\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Yang02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adg/2000,
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45410-1},
doi = {10.1007/3-540-45410-1},
isbn = {3-540-42598-5},
timestamp = {Tue, 19 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/AubryW00,
author = {Philippe Aubry and
Dongming Wang},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {Reasoning about Surfaces Using Differential Zero and Ideal Decomposition},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {154--174},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_10},
doi = {10.1007/3-540-45410-1\_10},
timestamp = {Tue, 19 Nov 2019 15:07:32 +0100},
biburl = {https://dblp.org/rec/conf/adg/AubryW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/BazzottiDR00,
author = {Laura Bazzotti and
Giorgio Dalzotto and
Lorenzo Robbiano},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {Remarks on Geometric Theorem Proving},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {104--128},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_7},
doi = {10.1007/3-540-45410-1\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/BazzottiDR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Bokowski00,
author = {J{\"{u}}rgen Bokowski},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {Effective Methods in Computational Synthetic Geometry},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {175--192},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_11},
doi = {10.1007/3-540-45410-1\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Bokowski00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/BulmerFS00,
author = {Michael Bulmer and
Desmond Fearnley{-}Sander and
Timothy Stokes},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {The Kinds of Truth of Geometry Theorems},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {129--142},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_8},
doi = {10.1007/3-540-45410-1\_8},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/BulmerFS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/CaferraPP00,
author = {Ricardo Caferra and
Nicolas Peltier and
Fran{\c{c}}ois Puitg},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {Emphasizing Human Techniques in Automated Geometry Theorem Proving:
{A} Practical Realization},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {268--305},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_16},
doi = {10.1007/3-540-45410-1\_16},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/CaferraPP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/ContiT00,
author = {Pasqualina Conti and
Carlo Traverso},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {Algebraic and Semialgebraic Proofs: Methods and Paradoxes},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {83--103},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_6},
doi = {10.1007/3-540-45410-1\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/ContiT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/DehlingerDS00,
author = {Christophe Dehlinger and
Jean{-}Fran{\c{c}}ois Dufourd and
Pascal Schreck},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {Higher-Order Intuitionistic Formalization and Proofs in Hilbert's
Elementary Geometry},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {306--324},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_17},
doi = {10.1007/3-540-45410-1\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/DehlingerDS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Fleuriot00,
author = {Jacques D. Fleuriot},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {Nonstandard Geometric Proofs},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {246--267},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_15},
doi = {10.1007/3-540-45410-1\_15},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/Fleuriot00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/GaoHJ00,
author = {Xiao{-}Shan Gao and
Lei{-}Dong Huang and
Kun Jiang},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {A Hybrid Method for Solving Geometric Constraint Problems},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {16--25},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_2},
doi = {10.1007/3-540-45410-1\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/GaoHJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Havel00,
author = {Timothy F. Havel},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {Qubit Logic, Algebra and Geometry},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {228--245},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_14},
doi = {10.1007/3-540-45410-1\_14},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Havel00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/HoffmannY00,
author = {Christoph M. Hoffmann and
Bo Yuan},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {On Spatial Constraint Solving Approaches},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {1--15},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_1},
doi = {10.1007/3-540-45410-1\_1},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/HoffmannY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/KortenkampR00,
author = {Ulrich Kortenkamp and
J{\"{u}}rgen Richter{-}Gebert},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {Decision Complexity in Dynamic Geometry},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {193--198},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_12},
doi = {10.1007/3-540-45410-1\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/KortenkampR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/LiW00,
author = {Hongbo Li and
Yihong Wu},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {Automated Theorem Proving in Incidence Geometry - {A} Bracket Algebra
Based Elimination Method},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {199--227},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_13},
doi = {10.1007/3-540-45410-1\_13},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/LiW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/RouillierDS00,
author = {Fabrice Rouillier and
Mohab Safey El Din and
{\'{E}}ric Schost},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {Solving the Birkhoff Interpolation Problem via the Critical Point
Method: An Experimental Study},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {26--40},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_3},
doi = {10.1007/3-540-45410-1\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/RouillierDS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/StokesB00,
author = {Timothy Stokes and
Michael Bulmer},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {A Complex Change of Variables for Geometrical Reasoning},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {143--153},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_9},
doi = {10.1007/3-540-45410-1\_9},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/StokesB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/TuloneYL00,
author = {Daniela Tulone and
Chee{-}Keng Yap and
Chen Li},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {Randomized Zero Testing of Radical Expressions and Elementary Geometry
Theorem Proving},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {58--82},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_5},
doi = {10.1007/3-540-45410-1\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/TuloneYL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/YangZ00,
author = {Lu Yang and
Ju Zhang},
editor = {J{\"{u}}rgen Richter{-}Gebert and
Dongming Wang},
title = {A Practical Program of Automated Proving for a Class of Geometric
Inequalities},
booktitle = {Automated Deduction in Geometry, Third International Workshop, {ADG}
2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2061},
pages = {41--57},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45410-1\_4},
doi = {10.1007/3-540-45410-1\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/YangZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adg/1998,
editor = {Xiao{-}Shan Gao and
Dongming Wang and
Lu Yang},
title = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
Beijing, China, August 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1669},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-47997-X},
doi = {10.1007/3-540-47997-X},
isbn = {3-540-66672-9},
timestamp = {Tue, 19 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/BondyfalatMP98,
author = {Didier Bondyfalat and
Bernard Mourrain and
Th{\'{e}}odore Papadopoulo},
editor = {Xiao{-}Shan Gao and
Dongming Wang and
Lu Yang},
title = {An Application of Automatic Theorem Proving in Computer Vision},
booktitle = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
Beijing, China, August 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1669},
pages = {207--231},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47997-X\_11},
doi = {10.1007/3-540-47997-X\_11},
timestamp = {Tue, 19 Nov 2019 15:07:32 +0100},
biburl = {https://dblp.org/rec/conf/adg/BondyfalatMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Dolzmann98,
author = {Andreas Dolzmann},
editor = {Xiao{-}Shan Gao and
Dongming Wang and
Lu Yang},
title = {Solving Geometric Problems with Real Quantifier Elimination},
booktitle = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
Beijing, China, August 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1669},
pages = {14--29},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47997-X\_2},
doi = {10.1007/3-540-47997-X\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Dolzmann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Fearnley-Sander98,
author = {Desmond Fearnley{-}Sander},
editor = {Xiao{-}Shan Gao and
Dongming Wang and
Lu Yang},
title = {Plane Euclidian Reasoning},
booktitle = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
Beijing, China, August 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1669},
pages = {86--110},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47997-X\_6},
doi = {10.1007/3-540-47997-X\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Fearnley-Sander98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/FleuriotP98,
author = {Jacques D. Fleuriot and
Lawrence C. Paulson},
editor = {Xiao{-}Shan Gao and
Dongming Wang and
Lu Yang},
title = {Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard
Analysis in Isabelle},
booktitle = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
Beijing, China, August 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1669},
pages = {47--66},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47997-X\_4},
doi = {10.1007/3-540-47997-X\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/FleuriotP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Gao98,
author = {Xiao{-}Shan Gao},
editor = {Xiao{-}Shan Gao and
Dongming Wang and
Lu Yang},
title = {Automated Geometry Diagram Construction and Engineering Geometry},
booktitle = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
Beijing, China, August 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1669},
pages = {232--257},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47997-X\_12},
doi = {10.1007/3-540-47997-X\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Gao98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Lee98,
author = {Jae Yeol Lee},
editor = {Xiao{-}Shan Gao and
Dongming Wang and
Lu Yang},
title = {A 2D Geometric Constraint Solver for Parametric Design Using Graph
Analysis and Reduction},
booktitle = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
Beijing, China, August 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1669},
pages = {258--274},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47997-X\_13},
doi = {10.1007/3-540-47997-X\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Lee98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Li98,
author = {Hongbo Li},
editor = {Xiao{-}Shan Gao and
Dongming Wang and
Lu Yang},
title = {Some Applications of Clifford Algebra to Geometries},
booktitle = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
Beijing, China, August 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1669},
pages = {156--179},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47997-X\_9},
doi = {10.1007/3-540-47997-X\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Li98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/LiZ98,
author = {Chuan{-}Zhong Li and
Jing{-}Zhong Zhang},
editor = {Xiao{-}Shan Gao and
Dongming Wang and
Lu Yang},
title = {Readable Machine Solving in Geometry and {ICAI} Software {MSG}},
booktitle = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
Beijing, China, August 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1669},
pages = {67--85},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47997-X\_5},
doi = {10.1007/3-540-47997-X\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/LiZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/OuL98,
author = {Zongying Ou and
Jun Liu},
editor = {Xiao{-}Shan Gao and
Dongming Wang and
Lu Yang},
title = {Variant Geometry Analysis and Synthesis in Mechanical {CAD}},
booktitle = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
Beijing, China, August 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1669},
pages = {275--286},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47997-X\_14},
doi = {10.1007/3-540-47997-X\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/OuL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/TourFW98,
author = {Thierry Boy de la Tour and
St{\'{e}}phane F{\`{e}}vre and
Dongming Wang},
editor = {Xiao{-}Shan Gao and
Dongming Wang and
Lu Yang},
title = {Clifford Term Rewriting for Geometric Reasoning in 3D},
booktitle = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
Beijing, China, August 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1669},
pages = {130--155},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47997-X\_8},
doi = {10.1007/3-540-47997-X\_8},
timestamp = {Tue, 19 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/TourFW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Wang98,
author = {Dongming Wang},
editor = {Xiao{-}Shan Gao and
Dongming Wang and
Lu Yang},
title = {Decomposing Algebraic Varieties},
booktitle = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
Beijing, China, August 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1669},
pages = {180--206},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47997-X\_10},
doi = {10.1007/3-540-47997-X\_10},
timestamp = {Tue, 19 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/Wang98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Wen-Tsun98,
author = {Wu Wen{-}Ts{\"{u}}n},
editor = {Xiao{-}Shan Gao and
Dongming Wang and
Lu Yang},
title = {Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving},
booktitle = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
Beijing, China, August 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1669},
pages = {1--13},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47997-X\_1},
doi = {10.1007/3-540-47997-X\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Wen-Tsun98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/YangHX98,
author = {Lu Yang and
Xiaorong Hou and
Bican Xia},
editor = {Xiao{-}Shan Gao and
Dongming Wang and
Lu Yang},
title = {Automated Discovering and Proving for Geometric Inequalities},
booktitle = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
Beijing, China, August 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1669},
pages = {30--46},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47997-X\_3},
doi = {10.1007/3-540-47997-X\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/YangHX98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/YangZF98,
author = {Haiquan Yang and
Shugong Zhang and
Guochen Feng},
editor = {Xiao{-}Shan Gao and
Dongming Wang and
Lu Yang},
title = {A Clifford Algebraic Method for Geometric Reasoning},
booktitle = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
Beijing, China, August 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1669},
pages = {111--129},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47997-X\_7},
doi = {10.1007/3-540-47997-X\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/YangZF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adg/1996,
editor = {Dongming Wang},
title = {Automated Deduction in Geometry, International Workshop on Automated
Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1360},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0022715},
doi = {10.1007/BFB0022715},
isbn = {3-540-64297-8},
timestamp = {Tue, 19 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Fearnley-SanderS96,
author = {Desmond Fearnley{-}Sander and
Timothy Stokes},
editor = {Dongming Wang},
title = {Area in Grassmann Geometry},
booktitle = {Automated Deduction in Geometry, International Workshop on Automated
Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1360},
pages = {141--170},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0022724},
doi = {10.1007/BFB0022724},
timestamp = {Tue, 19 Nov 2019 15:07:32 +0100},
biburl = {https://dblp.org/rec/conf/adg/Fearnley-SanderS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/FerroGG96,
author = {Giuseppa Carr{\`{a}} Ferro and
Giovanni Gallo and
Rosario Gennaro},
editor = {Dongming Wang},
title = {Probabilistic Verification of Elementary Geometry Statements},
booktitle = {Automated Deduction in Geometry, International Workshop on Automated
Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1360},
pages = {87--101},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0022721},
doi = {10.1007/BFB0022721},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/FerroGG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Fevre96,
author = {St{\'{e}}phane F{\`{e}}vre},
editor = {Dongming Wang},
title = {Integration of Reasoning and Algebraic Calculus in Geometry},
booktitle = {Automated Deduction in Geometry, International Workshop on Automated
Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1360},
pages = {218--234},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0022718},
doi = {10.1007/BFB0022718},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Fevre96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Havel96,
author = {Timothy F. Havel},
editor = {Dongming Wang},
title = {Computational Synthetic Geometry with Clifford Algebra},
booktitle = {Automated Deduction in Geometry, International Workshop on Automated
Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1360},
pages = {102--114},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0022722},
doi = {10.1007/BFB0022722},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Havel96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/HillgarterW96,
author = {Erik Hillgarter and
Franz Winkler},
editor = {Dongming Wang},
title = {Points on Algebraic Curves and the Parametrization Problem},
booktitle = {Automated Deduction in Geometry, International Workshop on Automated
Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1360},
pages = {189--207},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0022726},
doi = {10.1007/BFB0022726},
timestamp = {Fri, 08 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/HillgarterW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Kapur96,
author = {Deepak Kapur},
editor = {Dongming Wang},
title = {Automated Geometric Reasoning: Dixon Resultants, Gr{\"{o}}bner
Bases, and Characteristic Sets},
booktitle = {Automated Deduction in Geometry, International Workshop on Automated
Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1360},
pages = {1--36},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0022716},
doi = {10.1007/BFB0022716},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Kapur96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/ShiZ96,
author = {He Shi and
Fengmei Zou},
editor = {Dongming Wang},
title = {Flat Central Configurations of Four Planet Motions},
booktitle = {Automated Deduction in Geometry, International Workshop on Automated
Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1360},
pages = {208--217},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0022717},
doi = {10.1007/BFB0022717},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/ShiZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/SturmW96,
author = {Thomas Sturm and
Volker Weispfenning},
editor = {Dongming Wang},
title = {Computational Geometry Problems in {REDLOG}},
booktitle = {Automated Deduction in Geometry, International Workshop on Automated
Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1360},
pages = {58--86},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0022720},
doi = {10.1007/BFB0022720},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/SturmW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Tran96,
author = {Quoc{-}Nam Tran},
editor = {Dongming Wang},
title = {Extended Dixon's Resultant and Its Applications},
booktitle = {Automated Deduction in Geometry, International Workshop on Automated
Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1360},
pages = {37--57},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0022719},
doi = {10.1007/BFB0022719},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/Tran96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Wang96,
author = {Dongming Wang},
editor = {Dongming Wang},
title = {Clifford Algebraic Calculus for Geometric Reasoning with Application
to Computer Vision},
booktitle = {Automated Deduction in Geometry, International Workshop on Automated
Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1360},
pages = {115--140},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0022723},
doi = {10.1007/BFB0022723},
timestamp = {Tue, 19 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adg/Wang96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/YangGCZ96,
author = {Lu Yang and
Xiao{-}Shan Gao and
Shang{-}Ching Chou and
Jing{-}Zhong Zhang},
editor = {Dongming Wang},
title = {Automated Production of Readable Proofs for Theorems in Non-Euclidian
Geometries},
booktitle = {Automated Deduction in Geometry, International Workshop on Automated
Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1360},
pages = {171--188},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0022725},
doi = {10.1007/BFB0022725},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/YangGCZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-09-20 00:26 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
