Cabri-geometry
From MaRDI portal
Software:17079
swMATH4928MaRDI QIDQ17079FDOQ17079
Author name not available (Why is that?)
Cited In (16)
- Anamorphic projection: analogical/digital algorithms
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- A graphical user interface for formal proofs in geometry
- Title not available (Why is that?)
- Locus computation in dynamic geometry environment
- Title not available (Why is that?)
- A few pedagogical designs in linear algebra with Cabri and Maple
- Title not available (Why is that?)
- A Touch-Operation-Based Dynamic Geometry System: Design and Implementation
- A novel dynamic mathematics system based on the Internet
- AN APPLICATION OF TILINGS IN THE HYPERBOLIC PLANE
- Dynamic geometry as a context for exploring conjectures
- The processes of transformation of technological artifacts into tools for the resolution of mathematical problems
- Dynamical discovery of mathematics beginning with Apollonios -- throwing with Cabri some light in little known and unknown quiet corners of geometry
- Constructions using conics.
- Proofs, Semiotics and Artefacts of Information Technologies
This page was built for software: Cabri-geometry
