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
The eval symbol for axiomatising variadic functions
Mälardalens högskola, Akademin för utbildning, kultur och kommunikation, Utbildningsvetenskap och Matematik. (Matematik/tillämpad matematik)ORCID-id: 0000-0001-6140-180X
2014 (engelsk)Inngår i: CICM-WS-WiP 2014: Workshop and Work in Progress Papers at CICM 2014 / [ed] Matthew England et al., Aachen: CEUR-WS.org , 2014Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

This paper describes (and constitutes the source for!) the proposed list4 OpenMath content dictionary. The main feature in this content dictionary is the eval symbol, which treats a list of values as the list of children of an application element. This may, among other things, be employed to state properties of variadic functions.

sted, utgiver, år, opplag, sider
Aachen: CEUR-WS.org , 2014.
Serie
CEUR Workshop Proceedings, ISSN 1613-0073 ; 1186
Emneord [en]
OpenMath, variadic function, content dictionary, formal mathematical property, Tcl, literate programming
HSV kategori
Forskningsprogram
matematik/tillämpad matematik
Identifikatorer
URN: urn:nbn:se:mdh:diva-26076Scopus ID: 2-s2.0-84924912206OAI: oai:DiVA.org:mdh-26076DiVA, id: diva2:754158
Konferanse
The 26th OpenMath Workshop
Tilgjengelig fra: 2014-10-09 Laget: 2014-10-08 Sist oppdatert: 2015-03-26bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

ScopusDirect link to paper in proceedings volumeLink to proceedings volume

Personposter BETA

Hellström, Lars

Søk i DiVA

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

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 59 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