JKU Linz  
 
 


Publikationsdetails

Wissenschaftsgebiete Forschungsprojekte 
Zitat: Clemens Raab, Georg Regensburger, Jamal Hossein Poor, "Formal proofs of operator identities by a single formal computation" , Serie arXiv.org, Nummer arXiv:1910.06165 [math.RA], 2019, ISSN: 2331-8422
Original Titel: Formal proofs of operator identities by a single formal computation
Sprache des Titels: Englisch
Serie: arXiv.org
Number: arXiv:1910.06165 [math.RA]
Erscheinungsjahr: 2019
ISSN: 2331-8422
Anzahl der Seiten: 22
DOI: 10.48550/arXiv.1910.06165
URL zu weiteren Infos: https://arxiv.org/abs/1910.06165
Reichweite: international
Publikationstyp: Preprint
Autoren: Clemens Raab, Georg Regensburger, Jamal Hossein Poor
Forschungseinheiten: Institut für Algebra
Wissenschaftsgebiete: Mathematik (ÖSTAT:101)
Algebra (ÖSTAT:101001)
Computeralgebra (ÖSTAT:101005)
Mathematische Logik (ÖSTAT:101013)
Theoretische Informatik (ÖSTAT:102031)
Forschungsprojekte:
  1. Symbolic computations for identities of linear operators (Anfangsjahr: 2019)
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