Hypertext for computational mathematics