Lehrstuhl für Geometrie und Visualisierung

Filter
Konferenzbeitrag

Suchergebnisse

  • 2016

    CindyGL: Authoring GPU-based interactive mathematical content

    Montag, A. & Richter-Gebert, J., 2016, Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. Greuel, G.-M., Sommese, A., Koch, T. & Paule, P. (Hrsg.). Springer Verlag, S. 359-365 7 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9725).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    4 Zitate (Scopus)

  • CindyJS: Mathematical visualization on modern devices

    Von Gagern, M., Kortenkamp, U., Richter-Gebert, J. & Strobel, M., 2016, Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. Greuel, G.-M., Sommese, A., Koch, T. & Paule, P. (Hrsg.). Springer Verlag, S. 319-326 8 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9725).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    17 Zitate (Scopus)

  • CindyJS plugins: Extending the mathematical visualization framework

    Von Gagern, M. & Richter-Gebert, J., 2016, Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. Greuel, G.-M., Sommese, A., Koch, T. & Paule, P. (Hrsg.). Springer Verlag, S. 327-334 8 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9725).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    4 Zitate (Scopus)
  • 2011

    Cancellation patterns in automatic geometric theorem proving

    Apel, S. & Richter-Gebert, J., 2011, Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Revised Selected Papers. S. 1-33 33 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 6877 LNAI).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    1 Zitat (Scopus)
  • 2007

    Recognition of computationally constructed loci

    Lebmeir, P. & Richter-Gebert, J., 2007, Automated Deduction in Geometry - 6th International Workshop, ADG 2006, Revised Papers. Springer Verlag, S. 52-67 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4869 LNAI).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    6 Zitate (Scopus)
  • 2001

    Automated Deduction in Geometry: Third InternationalWorkshop, ADG2000 Zurich, Switzerland, September 25-27, 2000 Revised Papers

    Richter-Gebert, J. & Wang, D., 2001, Automated Deduction in Geometry - 3rd International Workshop, ADG 2000, Revised Papers. Richter-Gebert, J. & Wang, D. (Hrsg.). Springer Verlag, S. 5 1 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2061).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • Decision complexity in dynamic geometry

    Kortenkamp, U. & Richter-Gebert, J., 2001, Automated Deduction in Geometry - 3rd International Workshop, ADG 2000, Revised Papers. Richter-Gebert, J. & Wang, D. (Hrsg.). Springer Verlag, S. 193-198 6 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2061).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    3 Zitate (Scopus)