Faugère's F4 and F5 algorithms: Difference between revisions

Revision as of 04:52, 6 December 2013

Revision as of 14:53, 3 August 2014

Line 10:

The Faugère F4 algorithm is implemented

* as a [http://www-calforpolsys.lip6.fr/~jcf/Software/FGb/index.html package FGb] for the [[Maple computer algebra system]]. This package is included in [[Maple (software)|Maple]] distribution as the option '''method=fgb''' of function '''Groebner[gbasis]''';

* in the [[Magma computer algebra system]].

* in the [[Xcas|Giac/Xcas computer algebra sysmtem]].<ref>{{cite arXiv |last= Parisse|first= Bernard | eprint= 1309.4044|title= A probabilistic and deterministic modular algorithm for computing Groebner basis over Q |class= cs.SC | year=2013}}</ref>

* as a [http://www-calforpolsys.lip6.fr/~jcf/Software/FGb/C%20API/index.html C library].

Study versions of the Faugère F5 algorithm is implemented in{{citation needed|date=February 2013}}

Line 37:

| publisher = Elsevier Science

| date = June 1999

| url = http://www-calforpolsys.lip6.fr/~jcf/Papers/F99a.pdf

| doi = 10.1016/S0022-4049(99)00005-5

| issn = 0022-4049

Line 52:

| publisher = ACM Press

| date = July 2002

| url = http://www-calforpolsys.lip6.fr/~jcf/Papers/F02a.pdf

| doi = 10.1145/780506.780516

| isbn = 1-58113-484-3

Line 59:

==External links==

* [http://www-salsapolsys.lip6.fr/~jcf/ Faugère's home page] (includes pdf reprints of additional papers)

* [http://www.broune.com/papers/f4.pdf An introduction to the F4 algorithm.]