F4 Algorithm

This is an implementation of the F4 Algorithm [1] in Maple.

For a detailed description of this software, please refer to [3].

Citing

If you are using the software for (scientific) publications, please cite the following source:

@misc{softwareTrutmanF4,
  title = {{F4 Algorithm}},
  author = {Trutman, Pavel},
  howpublished = {\url{https://github.com/PavelTrutman/F4-Algorithm}},
  year = {2015}
}

Please also cite the relevant publication:

@phdthesis{trutman2015minimal,
  type = {Bachelor thesis},
  title = {{Minimal Problem Solver Generator}},
  author = {Trutman, Pavel},
  year = {2015},
  school = {Center for Machine Perception, Department of Cybernetics Faculty of Electrical Engineering, Czech Technical University}
}

References

[1] Jean-Charles Faugère. A New Efficient Algorithm for Computing Gröbner Bases (F4). Journal of Pure and Applied Algebra, 139(1-3):61-88, July 1999.

[2] Thomas Becker and Volker Weispfenning. Gröbner Bases, A Computational Approach to Commutative Algebra. Number 141 in Graduate Texts in Mathematics. Springer-Verlag, New York, NY, 1993.

[3] Pavel Trutman. Minimal Problem Solver Generator. Bachelor thesis. Center for Machine Perception, Department of Cybernetics Faculty of Electrical Engineering, Czech Technical University, 2015.