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