Matches in SemOpenAlex for { <https://semopenalex.org/work/W193818504> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W193818504 endingPage "139" @default.
- W193818504 startingPage "135" @default.
- W193818504 abstract "This paper has two connections with Volker Weispfenning. In the first place, a formula is the simplest type of algorithm, and algorithmic mathematics is one of Volker’s interests; the considerations in the paper have been the subject of several conversations between Volker and myself. The second connection is the title, which is supposed to remind us of Bach’s Die Kunst der Fuge; Volker and I enjoy talking about music, and I hope to hear him play during the conference. This talk describes a paper that is intended as a bridge between the computer-algebra community and the wider mathematical community. Many of the discoveries made within our community about the best ways to present mathematical formulae have not reached beyond it. This was made apparent in earlier drafts of the Digital Library of Mathematical Function, soon to be published by NIST. This means that commercial products such as Maple have to choose between solving a user’s problem in the best way, and solving it in the way that the user expects (“The customer is always right”). Some of the material in the talk will be new to the audience, while some parts will be familiar to those who develop CAS systems, and some parts will be controversial. The paper being described is intended for one of the general mathematical journals, such as American Mathematical Monthly, but nevertheless, the paper is directly relevant to the conference, because the material is part of the ongoing development of systems, and the topic is an important one for our relations with the wider mathematical world." @default.
- W193818504 created "2016-06-24" @default.
- W193818504 creator A5051667032 @default.
- W193818504 date "2005-01-01" @default.
- W193818504 modified "2023-09-26" @default.
- W193818504 title "The Art of Formula." @default.
- W193818504 cites W1585277169 @default.
- W193818504 cites W2120062331 @default.
- W193818504 cites W2146331214 @default.
- W193818504 cites W2157005274 @default.
- W193818504 cites W3119059448 @default.
- W193818504 cites W604181985 @default.
- W193818504 hasPublicationYear "2005" @default.
- W193818504 type Work @default.
- W193818504 sameAs 193818504 @default.
- W193818504 citedByCount "0" @default.
- W193818504 crossrefType "journal-article" @default.
- W193818504 hasAuthorship W193818504A5051667032 @default.
- W193818504 hasConcept C100776233 @default.
- W193818504 hasConcept C126322002 @default.
- W193818504 hasConcept C136764020 @default.
- W193818504 hasConcept C14036430 @default.
- W193818504 hasConcept C2777855551 @default.
- W193818504 hasConcept C33923547 @default.
- W193818504 hasConcept C41008148 @default.
- W193818504 hasConcept C71924100 @default.
- W193818504 hasConcept C78458016 @default.
- W193818504 hasConcept C86803240 @default.
- W193818504 hasConceptScore W193818504C100776233 @default.
- W193818504 hasConceptScore W193818504C126322002 @default.
- W193818504 hasConceptScore W193818504C136764020 @default.
- W193818504 hasConceptScore W193818504C14036430 @default.
- W193818504 hasConceptScore W193818504C2777855551 @default.
- W193818504 hasConceptScore W193818504C33923547 @default.
- W193818504 hasConceptScore W193818504C41008148 @default.
- W193818504 hasConceptScore W193818504C71924100 @default.
- W193818504 hasConceptScore W193818504C78458016 @default.
- W193818504 hasConceptScore W193818504C86803240 @default.
- W193818504 hasLocation W1938185041 @default.
- W193818504 hasOpenAccess W193818504 @default.
- W193818504 hasPrimaryLocation W1938185041 @default.
- W193818504 hasRelatedWork W1483372522 @default.
- W193818504 hasRelatedWork W1552350973 @default.
- W193818504 hasRelatedWork W2013189590 @default.
- W193818504 hasRelatedWork W2043875157 @default.
- W193818504 hasRelatedWork W2079392836 @default.
- W193818504 hasRelatedWork W2128067499 @default.
- W193818504 hasRelatedWork W2277276917 @default.
- W193818504 hasRelatedWork W2366718169 @default.
- W193818504 hasRelatedWork W3105028440 @default.
- W193818504 hasRelatedWork W3033911292 @default.
- W193818504 isParatext "false" @default.
- W193818504 isRetracted "false" @default.
- W193818504 magId "193818504" @default.
- W193818504 workType "article" @default.