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

Institut für Symbolisches Rechnen

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Intelligent Computer Mathematics (Proceedings of CICM 2018)
Herausgeber*innen	Grant O. Passmore, Abdou Youssef, Florian Rabe, William M. Farmer
Verlag	Springer
Seiten	178-193
Seitenumfang	16
Band	11006
ISBN (Print)	978-3-319-96811-7
DOIs	https://doi.org/10.1007/978-3-319-96812-4_16
Publikationsstatus	Veröffentlicht - 2018

Publikationsreihe

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

Wissenschaftszweige

101 Mathematik
101001 Algebra
101005 Computeralgebra
101009 Geometrie
101012 Kombinatorik
101013 Mathematische Logik
101020 Technische Mathematik

JKU-Schwerpunkte

Computation in Informatics and Mathematics

Zugriff auf Dokument

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

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

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 (Hrsg.), Intelligent Computer Mathematics (Proceedings of CICM 2018) (Band 11006, S. 178-193). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 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). Hrsg. / Grant O. Passmore ; Abdou Youssef ; Florian Rabe ; William M. Farmer. Band 11006 Springer, 2018. S. 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 (Hrsg.), Intelligent Computer Mathematics (Proceedings of CICM 2018). Bd. 11006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bd. 11006 LNAI, Springer, S. 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). Hrsg. / Grant O. Passmore; Abdou Youssef; Florian Rabe; William M. Farmer. Band 11006 Springer, 2018. S. 178-193 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11006 LNAI).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

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, Hrsg., Intelligent Computer Mathematics (Proceedings of CICM 2018). Band 11006. Springer. 2018. S. 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