Search dblp for Publications

export results for "toc:db/conf/adg/adg2010.bht:"

 download as .bib file

@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}
}
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.