Giac and GeoGebra – Improved Gröbner Basis Computations

DOI10.1007/978-3-319-15081-9_7zbMath1434.68708OpenAlexW122603850MaRDI QIDQ2808009

Zoltán Kovács, Bernard Parisse

Publication date: 25 May 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-15081-9_7

zbMATH Keywords

Gröbner basiscomputer algebracomputer-aided mathematics education

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Geometry education (97Gxx) Technological tools, calculators (aspects of mathematics education) (97U70)

Related Items (14)

Automated theorem proving in GeoGebra: current achievements ⋮ The Relation Tool in GeoGebra 5 ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ Towards an Automated Geometer ⋮ Computing with Tarski formulas and semi-algebraic sets in a web browser ⋮ Contemporary Interpretation of a Historical Locus Problem with the Use of Computer Algebra ⋮ GeoGebra ⋮ Giac ⋮ A mechanical geometer ⋮ Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences ⋮ Two almost-circles, and two real ones ⋮ Exploration of dual curves using a dynamic geometry and computer algebra system ⋮ Reasoning about linkages with dynamic geometry ⋮ A Singular web service for geometric computations

Uses Software

• REDUCE
• Jasymca
• MathPiper
• JavaScript
• JAMA
• JSLisp

Cites Work

• Unnamed Item
• Unnamed Item
• Sparse polynomial division using a heap
• On an installation of Buchberger's algorithm
• A new efficient algorithm for computing Gröbner bases \((F_4)\)
• Modular algorithms for computing Gröbner bases.
• A Variant of the F4 Algorithm

This page was built for publication: Giac and GeoGebra – Improved Gröbner Basis Computations