Search
Google Classroom
GeoGebraGeoGebra Classroom

Outline

  1. Issues on Automated Reasoning Tools
    1. Pilar's examples
    2. Katharina's examples

    Issues on Automated Reasoning Tools

    Author:Zoltán Kovács
    A collection of issues found by Pilar Vélez, Katharina Schiffler and Zoltán Kovács.
    Issues on Automated Reasoning Tools

    Table of Contents

    • Pilar's examples

      • Inscribed and central angles
      • Inscribed and circumscribed squares
      • Bisectors as a locus
      • Simson-Wallace variation
    • Katharina's examples

      • Mittellinie
      • Satz von Varignon
      • Umkreismittelpunkt
      • Trägergeraden der Höhen eines Dreiecks
      • Schwerpunkt eines Dreiecks
      • Inkreismittelpunkt eines Dreiecks
      • Fermat-Punkt eines Dreiecks
      • Euler'sche Gerade
    Next
    Inscribed and central angles

    New Resources

    • Variation Theory Illustration: Point-Slope Form
    • Addition of Vectors Algeraically
    • גיליון אלקטרוני להעלאת נתוני בעיה ויצירת גרף בהתאם
    • The 3D Space
    • Nikmati Keunggulan Di Bandar Judi Terpercaya

    Discover Resources

    • Volume of a Solid of Semicircles of Radius .5(1-x)
    • Circle Investigation 3
    • lijkm,
    • Vad ska vi lära oss?
    • Kegiatan 1

    Discover Topics

    • Area
    • Planes
    • Vectors 3D (Three-Dimensional)
    • Quadratic Equations
    • Random Experiments
    AboutPartnersHelp Center
    Terms of ServicePrivacyLicense
    Graphing CalculatorCalculator SuiteMath Resources

    Download our apps here:

    Download_on_the_App_Store_Badge_US-UK_RGB_blk_4SVG_092917

    © 2025 GeoGebra®