mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
The eval symbol for axiomatising variadic functions
Mälardalen University, School of Education, Culture and Communication, Educational Sciences and Mathematics. (Matematik/tillämpad matematik)ORCID iD: 0000-0001-6140-180X
2014 (English)In: CICM-WS-WiP 2014: Workshop and Work in Progress Papers at CICM 2014 / [ed] Matthew England et al., Aachen: CEUR-WS.org , 2014Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
Aachen: CEUR-WS.org , 2014.
Series
CEUR Workshop Proceedings, ISSN 1613-0073 ; 1186
Keyword [en]
OpenMath, variadic function, content dictionary, formal mathematical property, Tcl, literate programming
National Category
Algebra and Logic
Research subject
Mathematics/Applied Mathematics
Identifiers
URN: urn:nbn:se:mdh:diva-26076Scopus ID: 2-s2.0-84924912206OAI: oai:DiVA.org:mdh-26076DiVA: diva2:754158
Conference
The 26th OpenMath Workshop
Available from: 2014-10-09 Created: 2014-10-08 Last updated: 2015-03-26Bibliographically approved

Open Access in DiVA

No full text

Other links

ScopusDirect link to paper in proceedings volumeLink to proceedings volume

Search in DiVA

By author/editor
Hellström, Lars
By organisation
Educational Sciences and Mathematics
Algebra and Logic

Search outside of DiVA

GoogleGoogle Scholar

Total: 29 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf