mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Network Rewriting II: Bi- and Hopf Algebras
Mälardalens högskola, Akademin för utbildning, kultur och kommunikation, Utbildningsvetenskap och Matematik. (MAM)ORCID-id: 0000-0001-6140-180X
2015 (engelsk)Inngår i: Leibniz International Proceedings in Informatics, LIPIcs, Volume 36 / [ed] Maribel Fernández, Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik , 2015, Vol. 36, s. 194-208Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Bialgebras and their specialisation Hopf algebras are algebraic structures that challenge traditional mathematical notation, in that they sport two core operations that defy the basic functional paradigm of taking zero or more operands as input and producing one result as output. On the other hand, these peculiarities do not prevent studying them using rewriting techniques, if one works within an appropriate network formalism rather than the traditional term formalism. This paper restates the traditional axioms as rewriting systems, demonstrating confluence in the case of bialgebras and finding the (infinite) completion in the case of Hopf algebras. A noteworthy minor problem solved along the way is that of constructing a quasi-order with respect to which the rules are compatible.

sted, utgiver, år, opplag, sider
Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik , 2015. Vol. 36, s. 194-208
Serie
Leibniz International Proceedings in Informatics (LIPIcs), ISSN 1868-8969
Emneord [en]
confluence, network, PROP, Hopf algebra, bialgebra, rewriting
HSV kategori
Forskningsprogram
matematik/tillämpad matematik
Identifikatorer
URN: urn:nbn:se:mdh:diva-29884DOI: 10.4230/LIPIcs.RTA.2015.194Scopus ID: 2-s2.0-84958953312ISBN: 978-3-939897-85-9 (tryckt)OAI: oai:DiVA.org:mdh-29884DiVA, id: diva2:881129
Konferanse
26th International Conference on Rewriting Techniques and Applications (RTA 2015), June 29 to July 1, 2015 - Warsaw, Poland
Tilgjengelig fra: 2015-12-09 Laget: 2015-12-09 Sist oppdatert: 2017-09-28bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopusDocument (PDF)Proceedings list of contentsEarlier manuscrupt version in DIVA

Personposter BETA

Hellström, Lars

Søk i DiVA

Av forfatter/redaktør
Hellström, Lars
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 1320 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf