@inproceedings{b15b7f7f0ed64e5696c32f653d8132c0,
title = "Giac and GeoGebra – Improved Gr{\"o}bner Basis Computations",
abstract = "GeoGebra is open source mathematics education software being used in thousands of schools worldwide. It already supports equation system solving, locus equation computation and automatic geometry theorem proving by using an embedded or outsourced CAS. GeoGebra recently changed its embedded CAS from Reduce to Giac because it fits better into the educational use. Also careful benchmarking of open source Gr{\"o}bner basis implementations showed that Giac is fast in algebraic computations, too, therefore it allows heavy Gr{\"o}bner basis calculations even in a web browser via Javascript. Gr{\"o}bner basis on ℚ for revlex ordering implementation in Giac is a modular algorithm (E. Arnold). Each ℤ/pℤ computation is done via the Buchberger algorithm using F4 linear algebra technics and “remake” speedups, they might be run in parallel for large examples. The output can be probabilistic or certified (which is much slower). Experimentation shows that the probabilistic version is faster than other open-source implementations, and about 3 times slower than the Magma implementation on one processor, it also requires less memory for big examples like Cyclic9.",
author = "Zolt{\'a}n Kov{\'a}cs and Bernard Parisse",
year = "2015",
doi = "10.1007/978-3-319-15081-9\_7",
language = "English",
isbn = "978-3-319-15080-2",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer International Publishing",
pages = "126--138",
editor = "Martin Weimann and Jaime Gutierrez and Josef Schicho",
booktitle = "Computer Algebra and Polynomials - Applications of Algebra and Number Theory",
}