𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Obit: A Development Environment for Astronomical Algorithms

✍ Scribed by W. D. Cotton

Book ID
123914786
Publisher
University of Chicago Press
Year
2008
Tongue
English
Weight
321 KB
Volume
120
Category
Article
ISSN
0004-6280

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The development of interactive algorithm
The development of interactive algorithms for the Mathematical Environment
✍ A.A. Letichevsky; J.V. Kapitonova; V.A. Volkov; A. Chugayenko; V. Khomenko; D.R. πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 831 KB

The Mathematical Environment which is under development at the Glushkov Institute of Cybernetics is a system of tools supporting the interactive manipulation of knowledge represented in the form of (formalized) mathematical texts. The system is implemented using a simulator for the Action Language,