Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs352.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.