Natural SciencesComputer ScienceMathematicsAlgebraInformation RetrievalScientific ComputingComputational AlgebraReference CheckingComputer Algebra Systems
CAS/7T is a Computer Algebra System graphic user interface designed to be highly portable and extensible. It has been developed by composition of pre-existing software tools such as Maple, Sisyphe, or Ulysse systems, ZicVis 3-D plotting library, etc, using control integration technology and a set of high level graphic toolkits to build the formula editor and the dialog manager. The main aim of CAS/71_ is to allow a wide range of runtime reconfiguration and extensions. For instance, it is possible to add new tools to a running system, to modify connections between working tools, to extend the set of graphic symbols managed by the formula editor, to design new high level editing commands based on the syntax or semantics of mathematical formulas, to customize and extend the menu-button based user interface, etc. More generally, CAS/7T can be seen equally as a powerful system-independent graphic user interface enabling inter-systems communications, a toolkit to allow fast development of custom-made scientific software environments, or a very convenient framework for experimenting with computer algebra systems protocols and man-machine interfaces.
11
Patrick Borras, Dominique Clement, Th. Despeyroux et al. · 1988 · 339 citations · Full text
Tcl: An Embeddable Command Language
John K. Ousterhout · UC Berkeley · 1989 · 294 citations
Metal: a formalism to specify formalisms
Gilles Kahn, Bernard Lang, B. Mélèse et al. · Science of Computer Programming · 1983 · 59 citations
Real theorem provers deserve real user-interfaces
Laurent Théry, Yves Bertot, Gilles Kahn · 1992 · 51 citations · Full text