Giac

swMATH6663MaRDI QIDQ18750FDOQ18750

Author name not available (Why is that?)

Described by source

• Giac and GeoGebra – Improved Gröbner Basis Computations

Cited In (14)

• Border Basis for Polynomial System Solving and Optimization
• Portfolio theorem proving and prover runtime prediction for geometry
• The Relation Tool in GeoGebra 5
• Automated theorem proving in GeoGebra: current achievements
• Contemporary Interpretation of a Historical Locus Problem with the Use of Computer Algebra
• Volume of Representations and Birationality of Peripheral Holonomy
• Exploration of dual curves using a dynamic geometry and computer algebra system
• 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
• Title not available (Why is that?)
• Generic, Type-Safe and Object Oriented Computer Algebra Software
• Reasoning about linkages with dynamic geometry

This page was built for software: Giac