Paper Info
Title
The Art of Formula.
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.
Year
Venue
Keywords
2005
Algorithmic Algebra and Logic
computer algebra,digital library of mathematical functions
Field
DocType
Citations 
Function (mathematics),Computer science,Pure mathematics,NIST,Mathematics education,Digital library
Conference
0
PageRank 
References 
Authors
0.34
0
1
Name
Order
Citations
PageRank
David J. Jeffrey11172132.12