| User interfaces for symbolic computation: a case study |
| Full text |
Pdf
(1.07 MB)
|
| Source
|
Symposium on User Interface Software and Technology
archive
Proceedings of the 6th annual ACM symposium on User interface software and technology
table of contents
Atlanta, Georgia, United States
Pages: 1 - 10
Year of Publication: 1993
ISBN:0-89791-628-X
|
|
Author
|
|
Norbert Kajler
|
Institute for Computational Mathematics, Dept. of Mathematics and Computer Science, Kent State University, Kent, Ohio and Projet SAFIR, I3S, Université de Nice-Sophia Antipolis, Bat. 4, 250 rue Albert Einstein, Sophia-Antipolis, F-06560, Valbonne, France
|
|
| Sponsors |
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 2, Downloads (12 Months): 14, Citation Count: 0
|
|
|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
 |
1
|
|
| |
2
|
|
| |
3
|
A. Bonadio and E. Warren. Theorist Reference Manual. Prescience Corporation, 814 Castro St., San Francisco, CA 94114, 1989.
|
| |
4
|
|
| |
5
|
|
| |
6
|
|
 |
7
|
|
| |
8
|
|
| |
9
|
G. Kahn et al. CENTAUR: the system. In E. Brinksma, G. Scollo, and C. Vissers, editors, Proc. of 9th IFfP WG6.1. International Symposium on Protocol Specification, Testing and Verification, 1989.
|
| |
10
|
|
| |
11
|
|
 |
12
|
|
| |
13
|
N. Kajler. Environnemcnt graphiquc distribud pour le Calcul Formel, Mars 1993. Th~se, Universitd de Nice-Sophia Antipolis, Ecole Doctorale SPi.
|
 |
14
|
|
| |
15
|
MathSoft, inc. MathStatzon, Version 1.0. 201 Broadway, Cambridge, MA, 1989.
|
| |
16
|
|
| |
17
|
Paracomp, Inc. Milo User's Guide. 123 Townsend St., Suite 310, San Francisco,CA, 94107, 1988.
|
 |
18
|
|
 |
19
|
|
| |
20
|
|
| |
21
|
J. A. van Hulzen and J. Calmet. Computer Algebra Systems. In B. Buchberger G. E. Collins and R. Loos, editors, Computer Algebra Symbolic and Algebrazc Computation, pages 221-224. Springer- Verlag, 1983.
|
 |
22
|
|
| |
23
|
|
| |
24
|
|
INDEX TERMS
Primary Classification:
I.
Computing Methodologies
I.1
SYMBOLIC AND ALGEBRAIC MANIPULATION
Additional Classification:
D.
Software
D.2
SOFTWARE ENGINEERING
D.2.2
Design Tools and Techniques
Subjects:
User interfaces
H.
Information Systems
H.5
INFORMATION INTERFACES AND PRESENTATION (I.7)
H.5.2
User Interfaces (D.2.2, H.1.2, I.3.6)
Subjects:
Interaction styles (e.g., commands, menus, forms, direct manipulation)
I.
Computing Methodologies
I.1
SYMBOLIC AND ALGEBRAIC MANIPULATION
I.1.3
Languages and Systems
Nouns:
Maple
General Terms:
Algorithms,
Design,
Languages
Keywords:
CAS/PI,
Centaur,
computer algebra,
software bus,
software engineering,
symbolic computation,
tool integration,
user interface
|