A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms

Research output: Working paper and reports › Preprint

Abstract

Note: submitted

Name	RISC Report Series / Technical report

@techreport{cbf955c90a434625afbaa795428d81ef,

title = "A Generic and Executable Formalization of Signature-Based Gr{\"o}bner Basis Algorithms",

abstract = "Note: submitted",

author = "Alexander Maletzky",

year = "2018",

month = sep,

language = "English",

series = "RISC Report Series / Technical report",

publisher = "RISC, JKU",

type = "WorkingPaper",

institution = "RISC, JKU",

}

TY - UNPB

T1 - A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms

AU - Maletzky, Alexander

PY - 2018/9

Y1 - 2018/9

N2 - Note: submitted

AB - Note: submitted

M3 - Preprint

T3 - RISC Report Series / Technical report

BT - A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms

PB - RISC, JKU

CY - Hagenberg, Linz

ER -