Cited in
(43)- Constructing a generator of matrices with pattern
- Portfolio theorem proving and prover runtime prediction for geometry
- Automated theorem proving in GeoGebra: current achievements
- Generic, type-safe and object oriented computer algebra software
- MMP/Geometer
- SYNRAC
- GEOTHER 1.1
- GeoGebra
- jscl-meditor
- Jasymca
- Symja
- MathPiper
- SCSCP
- Xcas
- gcl
- OpenGeoProver
- GEX
- OOLACA
- JGEX
- Emscripten
- CindyJS
- Geometrix
- borderbasix
- Commons Math
- VirtualBox
- GATP
- Tarski
- RegularNGons
- JSLisp
- CHYPRE
- WGL
- absfact.lib
- paramGeo3D
- Exploration of dual curves using a dynamic geometry and computer algebra system
- Contemporary interpretation of a historical locus problem with the use of computer algebra
- Border basis for polynomial system solving and optimization
- A Singular web service for geometric computations
- A mechanical geometer
- Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences
- Two almost-circles, and two real ones
- Reasoning about linkages with dynamic geometry
- The relation tool in GeoGebra 5
- Volume of representations and birationality of peripheral holonomy
This page was built for software: Giac
