Gröbner BAses of Modules and Faugère's F4 Algorithm in Isabelle/HOL

Alexander Maletzky; F. Immler

doi:10.1007/978-3-319-96812-4_16

Gröbner BAses of Modules and Faugère's F4 Algorithm in Isabelle/HOL

Alexander Maletzky
, F. Immler

Research Institute for Symbolic Computation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Intelligent Computer Mathematics (Proceedings of CICM 2018)
Editors	Grant O. Passmore, Abdou Youssef, Florian Rabe, William M. Farmer
Publisher	Springer
Pages	178-193
Number of pages	16
Volume	11006
ISBN (Print)	978-3-319-96811-7
DOIs	https://doi.org/10.1007/978-3-319-96812-4_16
Publication status	Published - 2018

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11006 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

JKU Focus areas

Computation in Informatics and Mathematics

Access to Document

10.1007/978-3-319-96812-4_16

Cite this

Maletzky, A., & Immler, F. (2018). Gröbner BAses of Modules and Faugère's F4 Algorithm in Isabelle/HOL. In G. O. Passmore, A. Youssef, F. Rabe, & W. M. Farmer (Eds.), Intelligent Computer Mathematics (Proceedings of CICM 2018) (Vol. 11006, pp. 178-193). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11006 LNAI). Springer. https://doi.org/10.1007/978-3-319-96812-4_16

Maletzky, Alexander ; Immler, F. / Gröbner BAses of Modules and Faugère's F4 Algorithm in Isabelle/HOL. Intelligent Computer Mathematics (Proceedings of CICM 2018). editor / Grant O. Passmore ; Abdou Youssef ; Florian Rabe ; William M. Farmer. Vol. 11006 Springer, 2018. pp. 178-193 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{10514d5c68c74228b8a17c5981fbf8cf,

title = "Gr{\"o}bner BAses of Modules and Faug{\`e}re's F4 Algorithm in Isabelle/HOL",

author = "Alexander Maletzky and F. Immler",

year = "2018",

doi = "10.1007/978-3-319-96812-4\_16",

language = "English",

isbn = "978-3-319-96811-7",

volume = "11006",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "178--193",

editor = "Passmore, \{Grant O.\} and Abdou Youssef and Florian Rabe and Farmer, \{William M.\}",

booktitle = "Intelligent Computer Mathematics (Proceedings of CICM 2018)",

}

Maletzky, A & Immler, F 2018, Gröbner BAses of Modules and Faugère's F4 Algorithm in Isabelle/HOL. in GO Passmore, A Youssef, F Rabe & WM Farmer (eds), Intelligent Computer Mathematics (Proceedings of CICM 2018). vol. 11006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11006 LNAI, Springer, pp. 178-193. https://doi.org/10.1007/978-3-319-96812-4_16

Gröbner BAses of Modules and Faugère's F4 Algorithm in Isabelle/HOL. / Maletzky, Alexander; Immler, F.
Intelligent Computer Mathematics (Proceedings of CICM 2018). ed. / Grant O. Passmore; Abdou Youssef; Florian Rabe; William M. Farmer. Vol. 11006 Springer, 2018. p. 178-193 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11006 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Gröbner BAses of Modules and Faugère's F4 Algorithm in Isabelle/HOL

AU - Maletzky, Alexander

AU - Immler, F.

PY - 2018

Y1 - 2018

UR - https://www.scopus.com/pages/publications/85051651324

U2 - 10.1007/978-3-319-96812-4_16

DO - 10.1007/978-3-319-96812-4_16

M3 - Conference proceedings

SN - 978-3-319-96811-7

VL - 11006

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 178

EP - 193

BT - Intelligent Computer Mathematics (Proceedings of CICM 2018)

A2 - Passmore, Grant O.

A2 - Youssef, Abdou

A2 - Rabe, Florian

A2 - Farmer, William M.

PB - Springer

ER -

Maletzky A, Immler F. Gröbner BAses of Modules and Faugère's F4 Algorithm in Isabelle/HOL. In Passmore GO, Youssef A, Rabe F, Farmer WM, editors, Intelligent Computer Mathematics (Proceedings of CICM 2018). Vol. 11006. Springer. 2018. p. 178-193. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-96812-4_16

Gröbner BAses of Modules and Faugère's F4 Algorithm in Isabelle/HOL

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this