CAS/PI

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

CAS/PI: a portable and extensible interface for computer algebra systems

Full text

Pdf (1.24 MB)

Source

International Conference on Symbolic and Algebraic Computation archive
Papers from the international symposium on Symbolic and algebraic computation table of contents

Berkeley, California, United States

Pages: 376 - 386

Year of Publication: 1992

ISBN:0-89791-489-9

Author

Norbert Kajler

Sponsors

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation
SIGNUM: ACM Special Interest Group on Numerical Mathematics

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 9, Citation Count: 16

Additional Information:

references cited by index terms

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/143242.143359 What is a DOI?

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	Dennis Arnon , Richard Beach , Kevin McIsaac , Carl Waldspurger, CaminoReal: an interactive mathematical notebook, Proceedings of the International Conference on Electronic Publishing on Document manipulation and typography, p.1-18, May 1988, Nice, France
	2	Allan Bonadio and Erik Warren. Theorist Reference Manual. Prescience Corporation, 814 Castro St., San Francisco, CA 94114, 1987.
	3	CACM. Special issue on hypertext. Communica-
	4	Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Michael B. Monagan, and Stephen M. Watt. Maple Reference Manual, 5th Edition~ 1988. Watcom Publications Limited, Waterloo, Ontario, Canada.
	5	Dominique Clément , Janet Incerpi, Specifying the Behavior of Graphical Objects Using Esterel, Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages, p.111-125, March 13-17, 1989
	6	Dominique Clément , Vincent Prunet, Integrated software components: a paradigm for control integration, Proceedings of the European symposium on Software development environments and CASE technology, p.167-177, June 1991, Ko¨nigswinter
	7	Y. Doleh , P. S. Wang, SUI: a system independent user interface for an integrated scientific computing environment, Proceedings of the international symposium on Symbolic and algebraic computation, p.88-95, August 20-24, 1990, Tokyo, Japan [doi>10.1145/96877.96900]
	8	C. Faure , André Galligo , J. Grimm , Loic Pottier, The Extensions of the Sisyphe Computer Algebra System: ulysse and athena, Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, p.44-55, April 13-15, 1992
	9	Robert Fournier. ZICVIS et la ZIClib, version 1.5. Rapport interne INRIA, Sophia-Antipolis, April 1992.
	10	André Galligo , J. Grimm , Loic Pottier, The design of SISYPHE: a system for doing symbolic and algebraic computations, Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, p.30-39, April 10-12, 1990
	11	The Khoros Group. Khoros Manual, Release 1.0. University of New Mexico, Albuquerque, 1991.
	12	The Numerical Algorithms Group. Axiom User Guide, 1991.
	13	Laurent Hasco~t. FIGUE: An Incremental Graphic Formatter. User's Manual }or Version 1. INRIA, Sophia-Antipolis, August 1991.
	14	INRIA. Le_Lisp de I'INRIA Version 15.22, Le Manuel de Rdfdrence, INRIA edition, Janvier 1989.
	15	G. Kahn, B. Lang, and B. M~l~se. METAL: a formalism to specify formalisms. Science o/Computer Programming, 3:151-188, 1983.
	16	GiUes Kahn et al. CENTAUR: the system. In E. Brinksma, G. Scollo, and C. Vissers, editors, Proe. of 9th IFIP WG6.1. Intern. Symp. on Protocol Specification, Testing and Verification, 1989.
	17	Norbert Kajler, Building graphic user interfaces for Computer Algebra Systems, Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, p.235-244, April 10-12, 1990
	18	Norbert Kajler, Building a Computer Algebra Environment by Composition of Collaborative Tools, Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, p.85-94, April 13-15, 1992
	19	S. Kaplan. Epoch User Manual. Technical Report, University of Illinois, Urbana-Champaign, 1990.
	20	B. Lang. The Virtual Tree Processor. In Generation of interactive Programming Environments, CWI Report CS-R8620, Amsterdam, May 1986.
	21	B. L. Leong, Iris: design of an user interface program for symbolic algebra, Proceedings of the fifth ACM symposium on Symbolic and algebraic computation, p.1-6, July 21-23, 1986, Waterloo, Ontario, Canada [doi>10.1145/32439.32440]
	22	MathSoft, Inc., One Kendall Square, Cambridge, MA. MathStation, Version 1.0., 1989.
	23	E. Morcos-Chounet and A. Conchon. PPML, A General Formalism to Specify Pretty-printing. In Proceedings of IFIP Congress, 1986.
	24	j. K. Ousterhout. Tch An embeddable command language. In 1990 Winter USENIX Conference Proceedings. Univ. of California at Berkeley, 1990.
	25	Paracomp, Inc., 123 Townsend St., Suite 310, San Francisco, CA, 94107. Milo User's Guide, 1988.
	26	James Purtilo, Polylith: An environment to support management of tool interfaces, Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments, p.12-18, June 25-28, 1985, Seattle, Washington, United States
	27	C. J. Smith , N. Soiffer, MathScribe: a user interface for computer algebra systems, Proceedings of the fifth ACM symposium on Symbolic and algebraic computation, p.7-12, July 21-23, 1986, Waterloo, Ontario, Canada [doi>10.1145/32439.32441]
	28	Laurent Th6ry, Gilles Kahn, and Yves Bertot. Real Theorem Provers Deserve Real User-Interfaces. Submitted for publication, April 1992.
	29	Williams Thomas and Colin Kelley. GNUPLOT 3.0, An Interactive Plotting Program, 1991.
	30	Larry Wall , Randal L. Schwartz, Programming perl, O'Reilly & Associates, Inc., Sebastopol, CA, 1991
	31	Stephen Wolfram, Mathematica: a system for doing mathematics by computer, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
	32	Wolfram Research, Inc. MathLink External Communication in Mathematica, 1990.
	33	D. A. Young , P. S. Wang, GI/S: A graphical user interface for symbolic computation systems, Journal of Symbolic Computation, v.4 n.3, p.365-380, Dec. 1988 [doi>10.1016/S0747-7171(87)80013-5]
	34	Edward Yourdon , Larry L. Constantine, Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1979

CITED BY 16

	Paul S. Wang, Tools for parallel/distributed mathematical computation, Proceedings of the second international symposium on Parallel symbolic computation, p.188-195, July 20-22, 1997, Maui, Hawaii, United States
	Clemens Ballarin , Karsten Homann , Jacques Calmet, Theorems and algorithms: an interface between Isabelle and Maple, Proceedings of the 1995 international symposium on Symbolic and algebraic computation, p.150-157, July 10-12, 1995, Montreal, Quebec, Canada
	Norbert Kajler, User interfaces for symbolic computation: a case study, Proceedings of the 6th annual ACM symposium on User interface software and technology, p.1-10, December 1993, Atlanta, Georgia, United States
	Richard J. Fateman , Kevin A. Broughan , Diane K. Willcock , Duane Rettig, Fast floating-point processing in Common Lisp, ACM Transactions on Mathematical Software (TOMS), v.21 n.1, p.26-62, March 1995
	Laurent Théry , Yves Bertot , Gilles Kahn, Real theorem provers deserve real user-interfaces, ACM SIGSOFT Software Engineering Notes, v.17 n.5, p.120-129, Dec. 1992
	P. Wang , S. Gray , N. Kajler , D. Lin , W. Liao , X. Zou, IAMC architecture and prototyping: a progress report, Proceedings of the 2001 international symposium on Symbolic and algebraic computation, p.337-344, July 2001, London, Ontario, Canada
	Gene Cooperman, STAR/MPI: binding a parallel library to interactive symbolic algebra systems, Proceedings of the 1995 international symposium on Symbolic and algebraic computation, p.126-132, July 10-12, 1995, Montreal, Quebec, Canada
	Olivier Arsac , Stphane Dalmas , Marc Gaétano, Design of a customizable component to display and edit formulas, Proceedings of the 1999 international symposium on Symbolic and algebraic computation, p.283-290, July 28-31, 1999, Vancouver, British Columbia, Canada
	Simon Gray , Norbert Kajler , Paul Wang, MP: a protocol for efficient exchange of mathematical expressions, Proceedings of the international symposium on Symbolic and algebraic computation, p.330-335, July 20-22, 1994, Oxford, United Kingdom
	Johannes Grabmeier , Erich Kaltofen , Volker Weispfenning, Cited References, Computer algebra handbook, Springer-Verlag New York, Inc., New York, NY, 2003
	Jason Harris, Advanced notations in mathematica, Proceedings of the 2000 international symposium on Symbolic and algebraic computation, p.153-160, July 2000, St. Andrews, Scotland
	Norbert Kajler , Neil Soiffer, Some human interaction issues in computer algebra, ACM SIGCHI Bulletin, v.26 n.4, p.64-69, Oct. 1994
	Norbert Kajler , Neil Soiffer, Some human interaction issues in computer algebra, ACM SIGSAM Bulletin, v.28 n.1, p.18-28, March 1994
	Neil Soiffer, Mathematical typesetting in Mathematica, Proceedings of the 1995 international symposium on Symbolic and algebraic computation, p.140-149, July 10-12, 1995, Montreal, Quebec, Canada
	J. Harrison , L. Théry, A Skeptic’s Approach to Combining HOL and Maple, Journal of Automated Reasoning, v.21 n.3, p.279-294, December 1998
	D. M. Akbar , Shaiq A. Haq , Zafar Ullah Khan , Zaki Ahmed, Simple object oriented designed computer algebra system, Journal of Computational Methods in Sciences and Engineering, v.8 n.3, p.195-211, August 2008