Computer algebra systems, mathematical representation, and the DLMF
What’s distinctive for Mathematical Digital Libraries?
Uses of mathematical symbolism
Uses of mathematical computation
A need: explicit recording of information for computational reproducibility
Digital Libraries are interactive!
Support for mathematical interaction: a review of existing technology
Support for mathematical computation
Facilitation of computation services
Component architecture
Interoperability with other tools in the technical worker’s toolkit
A DL for Signal Processing Transforms
SPIRAL Project
DSP Algorithms: Example 4-point DFT
DSP Algorithms: Terminology
Discrete Cosine Transforms (DCTs)
Breakdown Strategies = Rules
PPT Slide
Formula Generator: Features
Formula Generator: Architecture
Notebook Interface
Example Notebook: Convolution
Web Interface
Example Webpage: Hartley Transform (By Brian Jenson via email at baj@mathstar.com @ MathStar Inc.)
Hartley Transform (cont)
Desiderata for the Digital Library of Mathematical Functions
Non-digital tradition: Finding Out Stuff
Wolfram Research’s Special Functions site: 3 versions
The posters
The web site (here, the Arcsin page)
WRI’s Categories/ Some Subcategories
Click on “Series Representations”…
This is not very useful
Notebook form (I)
Notebook form (II)
Notebook form (III)
Computing Inside the Notebook
Simplification Inside the Notebook
Plotting inside the notebook
All commercial computer algebra systems (CAS) have essentially the same notebook paradigm
Advice on coding a reference chapter
What about legacy “knowledge”? Can we convert from scanned text?
What about using LaTeX as source and then converting to OpenMath/ CAS?
Using OpenMath as original source is pretty much out of the question.
Using MathML as original source is pretty much out of the question, too.
What can a CAS do better?
What about using Java Applets?
What about Server Side software?
What about no software?
What about only browser software?
What about numeric-only software?
What about symbolic software
A challenge: Include a CAS in DLMF
What do we want? What can we attempt?
Computers do more than arithmetic
Other information: Presented in the DLMF Seminar Series, NIST, November 6, 2000