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
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Constructions using conics.
- Proofs, Semiotics and Artefacts of Information Technologies
This page was built for software: Cabri-geometry
