Jürgen Richter-Gebert · 9 obras en el catálogoObrasAutomated deduction in geometryGeometriekalküleAutomated Deduction in GeometryBenutzerhandbuch Für Die Interaktive Geometrie-SoftwareCCinderella. 2 ManualCinderella. 2 ManualRRealization Spaces of PolytopesRealization Spaces of PolytopesUUser Manual for the Interactive Geometry Software CinderellaUser Manual for the Interactive Geometry Software CinderellaPPerspectives on Projective GeometryPerspectives on Projective GeometryOOn the realizability problem of combinatorial geometriesOn the realizability problem of combinatorial geometries
UUser Manual for the Interactive Geometry Software CinderellaUser Manual for the Interactive Geometry Software Cinderella
OOn the realizability problem of combinatorial geometriesOn the realizability problem of combinatorial geometries
