JAVA Phrasebooks for computer algebra and automated deduction
- 1 June 2000
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSAM Bulletin
- Vol. 34 (2) , 33-37
- https://doi.org/10.1145/362001.362019
Abstract
We discuss the developments within the OpenMath framework regarding programs that make it possible for a software package to interact with other packages or agents, namely Phrasebooks. Recently, several implementations of Phrasebooks have come about; we shall describe some of them. Most of the software is freely available, so, by downloading it and inspecting implemented examples, builders of software packages can pick up the examples and provide the mathematical community with further computational servers that can easily be interfaced.Keywords
This publication has 0 references indexed in Scilit: