Giac and GeoGebra -- improved Gröbner basis computations

DOI10.1007/978-3-319-15081-9_7MaRDI QIDQ2808009zbMATH OpenOpenAlexFDO

Authors 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

computer algebracomputer-aided mathematics educationGröbner basis

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)

Recommendations

• The relation tool in GeoGebra 5
• Generic and parallel Groebner bases in JAS (extended abstract)
• Software using the Gröbner cover for geometrical loci computation and classification
• Practical Gröbner basis computation
• Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System

Cites work

• scientific article; zbMATH DE number 3941661 (Why is no real title available?)
• scientific article; zbMATH DE number 2151220 (Why is no real title available?)
• A Variant of the F4 Algorithm
• A new efficient algorithm for computing Gröbner bases (F₄)
• Modular algorithms for computing Gröbner bases.
• On an installation of Buchberger's algorithm
• Sparse polynomial division using a heap

Cited in

(19)

• Efficient development of competitive Mathematica solutions based on geometric algebra with GAALOPWeb
• Portfolio theorem proving and prover runtime prediction for geometry
• Automated theorem proving in GeoGebra: current achievements
• Computing with Tarski formulas and semi-algebraic sets in a web browser
• Inflexions of Spiric curves: a tale of two tori
• GeoGebra
• Giac
• Exploration of dual curves using a dynamic geometry and computer algebra system
• Contemporary interpretation of a historical locus problem with the use of computer algebra
• GeoGebra discovery in context
• Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski
• 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
• Towards an Automated Geometer
• The relation tool in GeoGebra 5
• Open geometry prover community project

Describes a project that uses

Uses Software

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

This page was built for publication: Giac and GeoGebra -- improved Gröbner basis computations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2808009)