The following pages link to Giac (Q18750):
Displayed 14 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Exploration of dual curves using a dynamic geometry and computer algebra system (Q782690) (← links)
- A mechanical geometer (Q2071524) (← links)
- Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences (Q2071535) (← links)
- Two almost-circles, and two real ones (Q2071537) (← links)
- Reasoning about linkages with dynamic geometry (Q2334575) (← links)
- A Singular web service for geometric computations (Q2354915) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Border Basis for Polynomial System Solving and Optimization (Q2819219) (← links)
- The Relation Tool in GeoGebra 5 (Q3452276) (← links)
- Generic, Type-Safe and Object Oriented Computer Algebra Software (Q3589073) (← links)
- Contemporary Interpretation of a Historical Locus Problem with the Use of Computer Algebra (Q4610005) (← links)
- Volume of Representations and Birationality of Peripheral Holonomy (Q4646707) (← links)
- (Q5200358) (← links)