Designing Mathematical Libraries Based on Requirements for Theorems.

Christoph Schwarzweller

Published in: Ann. Math. Artif. Intell. (2003)

Keyphrases

multimedia
databases
digital libraries
application specific
requirements analysis
mathematical expressions
user requirements
requirements engineering
functional requirements
computer science
mathematical models
real time systems