FOXBOX

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

FOXBOX: a system for manipulating symbolic objects in black box representation

Full text

Pdf (197 KB)

Source

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

Rostock, Germany

Pages: 30 - 37

Year of Publication: 1998

ISBN:1-58113-002-3

Authors

Angel Díaz	Department of Mathematical Sciences, IBM T. J. Watson Research Center, Yorktown Heights, New York
Erich Kaltofen	Department of Mathematics, North Carolina State University, Raleigh, North Carolina

Sponsors

German Comp Soc : GI - Gesellshaft for Informatik
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): 7, Downloads (12 Months): 22, Citation Count: 13

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/281508.281538 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]
	4	CHAN, K. C., DfAZ, A., AND KALTOFEN, E. A distributed approach to problem solving 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~iuser, pp. 13-21.
	5	Angel Luis Diaz, Foxbox: a system for manipulating symbolic objects in black box representation, Rensselaer Polytechnic Institute, Troy, NY, 1998
	6	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]
	7	Angel Díaz , Erich Kaltofen, On computing greatest common divisors with polynomials given by black boxes for their evaluations, Proceedings of the 1995 international symposium on Symbolic and algebraic computation, p.232-239, July 10-12, 1995, Montreal, Quebec, Canada [doi>10.1145/220346.220375]
	8	DfAZ, A., AND KALTOFEN, E. The FOxBOx source code. ftp" //ftp. cs.rpi, edu/pub/kaltofen/FoxBox, Jan. 1998. Version 1.1.
	9	Ú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]
	10	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]
	11	Keith O. Geddes , Stephen R. Czapor , George Labahn, Algorithms for computer algebra, Kluwer Academic Publishers, Norwell, MA, 1992
	12	Al Geist , Adam Beguelin , Jack Dongarra , Weicheng Jiang , Robert Manchek , Vaidy Sunderam, PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing, MIT Press, Cambridge, MA, 1995
	13	GRANLUND, T. The GNU Multiple Precision Arithmetic Library. Free Software Foundation, Cambridge, MA, 1993.
	14	Dima Yu. Grigoriev , Y. N. Lakshman, Algorithms for computing sparse shifts for multivariate polynomials, Proceedings of the 1995 international symposium on Symbolic and algebraic computation, p.96-103, July 10-12, 1995, Montreal, Quebec, Canada [doi>10.1145/220346.220359]
	15	William Gropp , Ewing Lusk , Anthony Skjellum, Using MPI: portable parallel programming with the message-passing interface, MIT Press, Cambridge, MA, 1994
	16	Hoon Hong , Andreas Neubacher , Wolfgang Schreiner, The Design of the SACLIB/PACLIB Kernels, Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, p.288-302, September 15-17, 1993
	17	ISSAC '94 Proc. Internat. Syrup. Symbolic Algebraic Comput. (New York, N. Y., 1994), ACM Press.
	18	Richard D. Jenks , Robert Sutor, AXIOM: the scientific computation system, Springer-Verlag New York, Inc., New York, NY, 1992
	19	Erich Kaltofen, Greatest common divisors of polynomials given by straight-line programs, Journal of the ACM (JACM), v.35 n.1, p.231-264, Jan. 1988 [doi>10.1145/42267.45069]
	20	KALTOFEN, E. Factorization of polynomials given by straight-line programs. In Randomness and Computation, S. Micali, Ed., vol. 5 of Advances in Computing Research. JAI Press Inc., Greenwhich, Connecticut, 1989, pp. 375-412.
	21	Erich Kaltofen, On computing determinants of matrices without divisions, Papers from the international symposium on Symbolic and algebraic computation, p.342-349, July 27-29, 1992, Berkeley, California, United States [doi>10.1145/143242.143350]
	22	Erich Kaltofen , Yagati N. Lakshman, Improved Sparse Multivariate Polynomial Interpolation Algorithms, Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation, p.467-474, July 04-08, 1988
	23	Erich Kaltofen , Austin Lobo, Factoring high-degree polynomials by the black box Berlekamp algorithm, Proceedings of the international symposium on Symbolic and algebraic computation, p.90-98, July 20-22, 1994, Oxford, United Kingdom [doi>10.1145/190347.190371]
	24	E. Kaltofen , A. Lobo, On rank properties of Toeplitz matrices over finite fields, Proceedings of the 1996 international symposium on Symbolic and algebraic computation, p.241-249, July 24-26, 1996, Zurich, Switzerland [doi>10.1145/236869.237081]
	25	Erich Kaltofen , Barry M. Trager, Computing with polynomials given by black boxes for their evaluations: greatest common divisors, factorization, separation of numerators and denominators, Journal of Symbolic Computation, v.9 n.3, p.301-320, March 1990 [doi>10.1016/S0747-7171(08)80015-6]
	26	LAKSHMAN Y. N., Ed. ISSAC 96 Proc. 1996 Internat. Syrup. Symbolic Algebraic Comput. (New York, N. Y., 1996), ACM Press.
	27	Proceedings of the 1995 international symposium on Symbolic and algebraic computation, April 1995
	28	David R. Musser , Atul Saini, The STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1995
	29	Ronitt Rubinfeld , Richard Zippel, A new modular interpolation algorithm for factoring multivariate polynominals, Proceedings of the First International Symposium on Algorithmic Number Theory, p.93-107, May 06-09, 1994
	30	SHOUP, V. NTL: A library for doing number theory. Link on web document http : //www. c s. wi s c. edu/~ shoup/, Univ. Wisconsin, Dept. Comput. Sci, 1997.
	31	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]
	32	Richard Zippel, Interpolating polynomials from their values, Journal of Symbolic Computation, v.9 n.3, p.375-403, March 1990 [doi>10.1016/S0747-7171(08)80018-1]

CITED BY 13

	Laurent Bernardin , Bruce Char , Erich Kaltofen, Symbolic computation in Java: an appraisement, Proceedings of the 1999 international symposium on Symbolic and algebraic computation, p.237-244, July 28-31, 1999, Vancouver, British Columbia, Canada
	Erich Kaltofen , Michael B. Monagan, On the genericity of the modular polynomial GCD algorithm, Proceedings of the 1999 international symposium on Symbolic and algebraic computation, p.59-66, July 28-31, 1999, Vancouver, British Columbia, Canada
	Erich Kaltofen , Wen-shin Lee , Austin A. Lobo, Early termination in Ben-Or/Tiwari sparse interpolation and a hybrid of Zippel's algorithm, Proceedings of the 2000 international symposium on Symbolic and algebraic computation, p.192-201, July 2000, St. Andrews, Scotland
	Mark Giesbrecht , Erich Kaltofen , Wen-shin Lee, Algorithms for computing the sparsest shifts of polynomials via the Berlekamp/Massey algorithm, Proceedings of the 2002 international symposium on Symbolic and algebraic computation, p.101-108, July 07-10, 2002, Lille, France
	Johannes Grabmeier , Erich Kaltofen , Volker Weispfenning, Cited References, Computer algebra handbook, Springer-Verlag New York, Inc., New York, NY, 2003
	Mark Giesbrecht , Erich Kaltofen , Wen-shin Lee, Algorithms for computing sparsest shifts of polynomials in power, Chebyshev, and Pochhammer bases, Journal of Symbolic Computation, v.36 n.3-4, p.401-424, September 2003
	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
	Erich Kaltofen , Wen-shin Lee, Early termination in sparse interpolation algorithms, Journal of Symbolic Computation, v.36 n.3-4, p.365-400, September 2003
	Wolfgang Schreiner , Christian Mittermaier , Karoly Bosa, Distributed maple: parallel computer algebra in networked environments, Journal of Symbolic Computation, v.35 n.3, p.305-347, March 2003
	Mark Giesbrecht , George Labahn , Wen-shin Lee, Symbolic-numeric sparse interpolation of multivariate polynomials, Proceedings of the 2006 international symposium on Symbolic and algebraic computation, July 09-12, 2006, Genoa, Italy
	Hoon Hong , Erich Kaltofen , Michael Singer, East Coast Computer Algebra Day '99 (April 24, 1999): abstracts of invited talks and presented posters, ACM SIGSAM Bulletin, v.33 n.2, p.43-52, June 1999
	Erich Kaltofen , Zhengfeng Yang, On exact and approximate interpolation of sparse rational functions, Proceedings of the 2007 international symposium on Symbolic and algebraic computation, July 29-August 01, 2007, Waterloo, Ontario, Canada
	Mark Giesbrecht , George Labahn , Wen-shin Lee, Symbolic-numeric sparse interpolation of multivariate polynomials, Journal of Symbolic Computation, v.44 n.8, p.943-959, August, 2009