Giac
From MaRDI portal
swMATH6663MaRDI QIDQ18750FDOQ18750
Author name not available (Why is that?)
Official website: http://www-fourier.ujf-grenoble.fr/~parisse/giac.html
Cited In (40)
- 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
- 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
- Contemporary interpretation of a historical locus problem with the use of computer algebra
- Exploration of dual curves using a dynamic geometry and computer algebra system
- 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
