Gröbner Bases of Modules and Faugère's F4 Algorithm in Isabelle/HOL (extended version)

Publikation: Preprints, Working Paper und Forschungsberichte › Vorabpublikation

Name	RISC Report Series / Technical report

Wissenschaftszweige

@techreport{fe5d4a817b3449eba16f97d72719b057,

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

author = "Alexander Maletzky and F. Immler",

year = "2018",

month = may,

doi = "10.48550/arXiv.1805.00304",

language = "English",

series = "RISC Report Series / Technical report",

publisher = "RISC, JKU",

type = "WorkingPaper",

institution = "RISC, JKU",

}

TY - UNPB

T1 - Gröbner Bases of Modules and Faugère's F4 Algorithm in Isabelle/HOL (extended version)

AU - Maletzky, Alexander

AU - Immler, F.

PY - 2018/5

Y1 - 2018/5

UR - https://arxiv.org/abs/1805.00304

U2 - 10.48550/arXiv.1805.00304

DO - 10.48550/arXiv.1805.00304

M3 - Preprint

T3 - RISC Report Series / Technical report

BT - Gröbner Bases of Modules and Faugère's F4 Algorithm in Isabelle/HOL (extended version)

PB - RISC, JKU

CY - Hagenberg, Linz

ER -