Formal proofs of operator identities by a single formal computation

Clemens Raab; Georg Regensburger; Jamal Hossein Poor

doi:10.48550/arXiv.1910.06165

Formal proofs of operator identities by a single formal computation

Clemens Raab, Georg Regensburger, Jamal Hossein Poor

Institute for Algebra

Research output: Working paper and reports › Preprint

Original language	English
Number of pages	22
DOIs	https://doi.org/10.48550/arXiv.1910.06165
Publication status	Published - 2019

Publication series

Name	arXiv.org
No.	arXiv:1910.06165 [math.RA]
ISSN (Print)	2331-8422

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101013 Mathematical logic
102031 Theoretical computer science

JKU Focus areas

Digital Transformation

Access to Document

10.48550/arXiv.1910.06165

Cite this

@techreport{713160242ac04d5491dd95052be8494f,

title = "Formal proofs of operator identities by a single formal computation",

author = "Clemens Raab and Georg Regensburger and {Hossein Poor}, Jamal",

year = "2019",

doi = "10.48550/arXiv.1910.06165",

language = "English",

series = "arXiv.org",

number = "arXiv:1910.06165 [math.RA]",

type = "WorkingPaper",

}

TY - UNPB

T1 - Formal proofs of operator identities by a single formal computation

AU - Raab, Clemens

AU - Regensburger, Georg

AU - Hossein Poor, Jamal

PY - 2019

Y1 - 2019

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

U2 - 10.48550/arXiv.1910.06165

DO - 10.48550/arXiv.1910.06165

M3 - Preprint

T3 - arXiv.org

BT - Formal proofs of operator identities by a single formal computation

ER -

Formal proofs of operator identities by a single formal computation

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Symbolic computations for identities of linear operators

Cite this

Formal proofs of operator identities by a single formal computation

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Projects

Symbolic computations for identities of linear operators

Cite this