The Mathematica Journal
Departments
Download This Issue
Home
Feature Articles
Graphics Gallery
Tricks of the Trade
In and Out
Columns
The Mathematica Programmer
New Products
New Publications
Classifieds
Calendar
News Bulletins
Editor's Pick
Mailbox
Letters
Write Us
About the Journal
Staff and Contributors
Submissions
Subscriptions
Advertising
Back Issues

References

[1] D. S. Arnon, G. E. Collins, and S. McCallum, "Cylindrical algebraic decomposition. I: The basic algorithm," SIAM Journal of Computing, 13(4), pp. 865-877, 1984.

[2] P. Broadbery, T. Gomez-Diaz, and S. Watt, "On the implementation of dynamic evaluation," In: Proceedings, ISSAC '95, pp.77-84, ACM Press, 1995.

[3] A. Dolzmann and T. Sturm, "REDLOG: Computer algebra meets computer logic," ACM SIGSAM Bulletin, 31 (2), pp.2-9, 1997. Available: http://www.fmi.uni-passau.de/~redlog/

[4] J. Harris, The Notation package, included in the distribution of Mathematica 3.0 & 4.0, 1996. Available: http://resources.wolfram.com/packages/notation/

[5] R. D. Jenks and R. S. Sutor, Axiom, The Scientific Computation System, Springer-Verlag, 1992.

[6] M. Jirstrand, "Cylindrical algebraic decomposition--an introduction," Automatic Control Group,Technical report 1995-10-18, Dept. of Electrical Engineering, Linköping University, 1995.

[7] Macsyma Mathematics and System Reference Manual, Macsyma Inc., 1996.

[8] R. Milner, M. Tofte, et al., The Definition of Standard ML, revised edition, MIT Press, 1997.

[9] R. Plasmeijer and M. van Eekelen, Functional Programming and Parallel Graph Rewriting, Addison-Wesley, 1993.

[10] R. Plasmeijer and M. van Eekelen, Concurrent Clean Language Report, version 1.0, 1995. Available: http://www.cs.kun.nl/~clean

[11] G. Roda, "Quantifier elimination," Lecture Notes Based on a Course by G. E. Collins, RISC--Summer Session, 1996.

[12] S. Wolfram, The Mathematica Book, 3rd edition, Wolfram Media/Cambridge University Press, 1996.


Converted by Mathematica      September 30, 1999

[Prev Page][Next Page]