Giac and GeoGebra -- improved Gröbner basis computations

DOI10.1007/978-3-319-15081-9_7zbMATH Open1434.68708OpenAlexW122603850MaRDI QIDQ2808009FDOQ2808009

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

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

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)

Cites Work

• A new efficient algorithm for computing Gröbner bases \((F_4)\)
• Title not available (Why is that?)
• Modular algorithms for computing Gröbner bases.
• Title not available (Why is that?)
• On an installation of Buchberger's algorithm
• Sparse polynomial division using a heap
• A Variant of the F4 Algorithm

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
• GeoGebra discovery in context
• Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski
• 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
• 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
• Towards an Automated Geometer
• Reasoning about linkages with dynamic geometry
• The relation tool in GeoGebra 5
• Open geometry prover community project

Uses Software

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

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)