Mathematical Databases
OpenMath API to existing databases
Databases of OpenMath objects
“Smart Databases”:
read CDs dynamically to extract mathematical properties
use properties in resolving queries
Previous slide
Next slide
Back to first slide
View graphic version