JKU Linz  
 
 


Publikationsdetails

Wissenschaftsgebiete 
Zitat: Alexander Maletzky, F. Immler, "Gröbner Bases of Modules and Faugère's F4 Algorithm in Isabelle/HOL (extended version)" , Serie RISC Report Series / Technical report, RISC, JKU, Hagenberg, Linz, 5-2018
Original Titel: Gröbner Bases of Modules and Faugère's F4 Algorithm in Isabelle/HOL (extended version)
Sprache des Titels: Englisch
Veröffentlicher: RISC, JKU
Verlagsanschrift: Hagenberg, Linz
Serie: RISC Report Series / Technical report
Erscheinungsmonat: 5
Erscheinungsjahr: 2018
Anzahl der Seiten: 28
DOI: 10.48550/arXiv.1805.00304
URL zu weiteren Infos: URL zu weiteren Infos
(https://arxiv.org/abs/1805.00304)
Reichweite: international
Publikationstyp: Preprint
Autoren: Alexander Maletzky, F. Immler
Forschungseinheiten: Institut für Symbolisches Rechnen
Wissenschaftsgebiete: Mathematik (ÖSTAT:101)
Algebra (ÖSTAT:101001)
Computeralgebra (ÖSTAT:101005)
Geometrie (ÖSTAT:101009)
Kombinatorik (ÖSTAT:101012)
Mathematische Logik (ÖSTAT:101013)
Technische Mathematik (ÖSTAT:101020)
fodok.jku.at Zum Seitenanfang

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum