Giac

swMATH6663MaRDI QIDQ18750FDOQ18750

Author name not available (Why is that?)

Described by source

• Giac and GeoGebra -- improved Gröbner basis computations

Cited In (14)

• 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
• 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