Symbolic computation in Java

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Symbolic computation in Java: an appraisement

Full text

Pdf (1.05 MB)

Source

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

Vancouver, British Columbia, Canada

Pages: 237 - 244

Year of Publication: 1999

ISBN:1-58113-073-2

Authors

Laurent Bernardin	Institut für Wissenschaftliches Rechnen, Eidgenössische Technische Hochschule, Zurich, Switzerland
Bruce Char	Department of Mathematics and Computer Science, Drexel University, Philadelphia, Pennsylvania
Erich Kaltofen	Department of Mathematics, North Carolina State University, Raleigh, North Carolina

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): 4, Downloads (12 Months): 17, Citation Count: 6

Additional Information:

references cited by index terms collaborative colleagues

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/309831.309946 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	John Abbott , Angel Díaz , Robert S. Sutor, A report on OpenMath: a protocol for the exchange of mathematical information, ACM SIGSAM Bulletin, v.30 n.1, p.21-24, March 1996 [doi>10.1145/231191.231194]
	2	S. K. Abdali , Guy W. Cherry , Neil Soiffer, An object-oriented approach to algebra system design, Proceedings of the fifth ACM symposium on Symbolic and algebraic computation, p.24-30, July 21-23, 1986, Waterloo, Ontario, Canada [doi>10.1145/32439.32444]
	3	Athapascan-1. http://www-apache . imag. fr/ software/athl/, Oct. 1998.
	4	Olaf Bachmann , Hans Schönemann , Simon Gray, A proposal for syntactic data integration math protocols, Proceedings of the second international symposium on Parallel symbolic computation, p.165-175, July 20-22, 1997, Maui, Hawaii, United States [doi>10.1145/266670.266724]
	5	Laurent Bernardin, Maple on a massively parallel, distributed memory machine, Proceedings of the second international symposium on Parallel symbolic computation, p.217-222, July 20-22, 1997, Maui, Hawaii, United States [doi>10.1145/266670.266732]
	6	Laurent Bernardin, A Java framework for massively distributed symbolic computing, Mathematics and Computers in Simulation, v.49 n.3, p.151-160, Aug. 1999 [doi>10.1016/S0378-4754(99)00048-8]
	7	Blitz++. http://monet.uwaterloo.ca/blitz/, Dec. 1998.
	8	Gilad Bracha , Martin Odersky , David Stoutamire , Philip Wadler, Making the future safe for the past: adding genericity to the Java programming language, ACM SIGPLAN Notices, v.33 n.10, p.183-200, Oct. 1998
	9	BRAHAM, S., Yu, T., .AND GHAN, C. The Java Open- Math library (version 0.5). http://pdg. cecm. sfu. ca/ openmath/lib/, July 1998.
	10	Manuel Bronstein, SigmaIT - A Strongly-Typed Embeddable Computer Algebra Library, Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, p.22-33, September 18-20, 1996
	11	CHAN, K. C., D~Az, A., AND KALTOFEN, E. A distributed approach to problem solvillg in Maple. In Maple V: Mathematics and its Application (Boston. 1994), R. J. Lopez, Ed., Proceedings of the Maple Summer Workshop and Symposium (MSWS'94), Birkh~user, pp. 13 21.
	12	CHAR, B., JOHNSON, J., SAUNDERS, D., AND WACK, A. P. Some experiments with parallel bignum arithmetic. In Proc. First Internat. Symp. Parallel Symbolic Comput. PASCO '94 (Singapore, 1994). H. Hong, Ed., World Scientific Publishing Co., pp. 94 103.
	13	COLLINS, G. Saclib2.1. http://www.cis.udel.edu/ \tildesaclib/update.html. Sept. 1998.
	14	CORBA/IIOP 2.2 specification, http://www.omg. org/ corba/cichpter.html. July 1998.
	15	Stéphane Dalmas , Marc Gaëtano , Stephen Watt, An OpenMath 1.0 implementation, Proceedings of the 1997 international symposium on Symbolic and algebraic computation, p.241-248, July 21-23, 1997, Kihei, Maui, Hawaii, United States [doi>10.1145/258726.258794]
	16	A. Díaz , M. Hitz , E. Kaltofen , A. Lobo , T. Valente, Process scheduling in DSC and the large sparse linear systems challenge, Journal of Symbolic Computation, v.19 n.1-3, p.269-282, Jan./Feb./March 1995 [doi>10.1006/jsco.1995.1015]
	17	Angel Díaz , Erich Kaltofen, FOXBOX: a system for manipulating symbolic objects in black box representation, Proceedings of the 1998 international symposium on Symbolic and algebraic computation, p.30-37, August 13-15, 1998, Rostock, Germany [doi>10.1145/281508.281538]
	18	Úlfar Erlingsson , Erich Kaltofen , David Musser, Generic Gram-Schmidt orthogonalization by exact division, Proceedings of the 1996 international symposium on Symbolic and algebraic computation, p.275-282, July 24-26, 1996, Zurich, Switzerland [doi>10.1145/236869.237085]
	19	Timothy S. Freeman , Gregory M. Imirzian , Erich Kaltofen , Lakshman Yagati, Dagwood: a system for manipulating polynomials given by straight-line programs, ACM Transactions on Mathematical Software (TOMS), v.14 n.3, p.218-240, Sept. 1988 [doi>10.1145/44128.214376]
	20	GAUTIER, T., ROCH, J.-L., AND VILLARD, G. Givaro. http://www-apache.imag.fr/software/givaro/, Jan. 1999.
	21	M. Giesbrecht , A. Lobo , B. D. Saunders, Certifying inconsistency of sparse linear systems, Proceedings of the 1998 international symposium on Symbolic and algebraic computation, p.113-119, August 13-15, 1998, Rostock, Germany [doi>10.1145/281508.281591]
	22	GLOOR, O., Ed. ISSAC 98 Proc. 1998 Internat. Symp. Symbolic Algebraic Comput. (New York, N. Y., 1998), ACM Press.
	23	GRANLUND, T. The GNU Multiple Precision Arithmetic Library. Free Software Foundation, Cambridge, MA, 1993.
	24	HITZ, M., AND KALTOFEN, E., Eds. Second Internat. Symp; Parallel Symbolic Comput. PASCO '97 (New York, N. Y., 1997), ACM Press.
	25	HUSBANDS, P., ISBELL JR., C. L., AND EDELMAN, A. Interactive supercomputing with MITM atlab. See link at http://www-math.mit.edu/edelman/, Aug. 1998.
	26	Pietro Iglio , Giuseppe Attardi, Software components for computer algebra, Proceedings of the 1998 international symposium on Symbolic and algebraic computation, p.62-69, August 13-15, 1998, Rostock, Germany [doi>10.1145/281508.281548]
	27	Java Studio. http://www.sun.com/studio/index.html, 1997.
	28	Richard D. Jenks , Robert Sutor, AXIOM: the scientific computation system, Springer-Verlag New York, Inc., New York, NY, 1992
	29	KAHAN, W., AND DARCY, J. D. How Java's floatingpoint hurts everyone everwhere. Link from http://www.cs.berkeley.edu/wkahan, 1998.
	30	KALTOFEN, E., Challenges of symbolic computation my favorite open problems. Manuscript submitted for publication, North Carolina State Univ., Dept. Math., Aug. 1998. With an additional open problem by R. M. Corless and D. J. Jeffrey.
	31	KALTOFEN, E., AND LOBO, A. Distributed matrix-free solution of large sparse linear systems over finite fields. Algorithmica (To appear). special Issue on "Coarse Grained Parallel Algorithms".
	32	Wolfgang Küchlin, On the multi-threaded computation of integral polynomial greatest common divisors, Proceedings of the 1991 international symposium on Symbolic and algebraic computation, p.333-342, July 15-17, 1991, Bonn, West Germany [doi>10.1145/120694.120747]
	33	Y. N. Lakshman , Bruce Char , Jeremy Johnson, Software components using symbolic computation for problem solving environments, Proceedings of the 1998 international symposium on Symbolic and algebraic computation, p.46-53, August 13-15, 1998, Rostock, Germany [doi>10.1145/281508.281542]
	34	Don Libes , Tim O'Reilly , Tim C'Reilly, Exploring Expect, O'Reilly & Associates, Inc., Sebastopol, CA, 1996
	35	Ruediger G. K. Loos, Toward a formal implementation of computer algebra, ACM SIGSAM Bulletin, v.8 n.3, p.9-16, August 1974 [doi>10.1145/1086837.1086839]
	36	Michael B. Monagan, Gauss: A Parameterized Domain of Computation System with Support for Signature Functions, Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, p.81-94, September 15-17, 1993
	37	Michael B. Monagan, In-place Arithmetic for Polinominals over Zn, Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, p.22-34, April 13-15, 1992
	38	David R. Musser, Multivariate Polynomial Factorization, Journal of the ACM (JACM), v.22 n.2, p.291-308, April 1975 [doi>10.1145/321879.321890]
	39	MYERS, N. A new and useful template technique: "traits". Borland C++ Report (June 1995). http://www.borland.com/borlandcpp/news/report/CR9506myers.html.
	40	Arthur Norman , John Fitch, Interfacing REDUCE to Java, Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, p.271-276, September 18-20, 1996
	41	POOMA 2.0. http://www.acl.lanl.gov/pooma/, Nov. 1998.
	42	SCHREINER, W. Distributed Maple -- user and reference manual (v 1.0.7). Link form http://www.risc.uni-linz.ac.at/software/distample/, Mar. 1999.
	43	SHOUP, V. NTL. A library for dion number theory (version 3.1b). Link on web document http://www.cs.wisc.edu/~shoup/, Univ. Wisconsin, Dept. comput. Sci. 1988.
	44	Stephen M. Watt , Peter A. Broadbery , Samuel S. Dooley , Pietro Iglio , Scott C. Morrison , Jonathan M. Steinbach , Robert S. Sutor, A first report on the A# compiler, Proceedings of the international symposium on Symbolic and algebraic computation, p.25-31, July 20-22, 1994, Oxford, United Kingdom [doi>10.1145/190347.190356]
	45	WECK, W. On Document-Centered Mathematical Component Software. PhD thesis, ETH Zurich, Institute of Scientific Computing, Sept. 1996.

CITED BY 6

	Arthur C. Norman, Further evaluation of Java for symbolic computation, Proceedings of the 2000 international symposium on Symbolic and algebraic computation, p.258-265, July 2000, St. Andrews, Scotland
	Bernard Mourrain , Philippe Trebuchet, Solving projective complete intersection faster, Proceedings of the 2000 international symposium on Symbolic and algebraic computation, p.234-241, July 2000, St. Andrews, Scotland
	Marc Conrad , Tim French, Using the synergies between the object-oriented paradigm and mathematics in joint mathematics/computer science programs, ACM SIGCSE Bulletin, v.36 n.3, September 2004
	Cosmin E. Oancea , Stephen M. Watt, Domains and expressions: an interface between two approaches to computer algebra, Proceedings of the 2005 international symposium on Symbolic and algebraic computation, p.261-268, July 24-27, 2005, Beijing, China
	Heinz Kredel, On the design of a Java computer algebra system, Proceedings of the 4th international symposium on Principles and practice of programming in Java, August 30-September 01, 2006, Mannheim, Germany
	Heinz Kredel, On a Java computer algebra system, its performance and applications, Science of Computer Programming, v.70 n.2-3, p.185-207, February, 2008