Directions for Future Work


Up: Contents Next: Bibliography Previous: Instrumenting a Mathematical Library

Jumpshot is still evolving. We are working on enhancements in a number of areas.




Up: Contents Next: Bibliography Previous: Instrumenting a Mathematical Library