A proposal for syntactic data integration math protocols

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A proposal for syntactic data integration math protocols

Full text

Pdf (1.62 MB)

Source

International Symposium on Parallel Symbolic Computation archive
Proceedings of the second international symposium on Parallel symbolic computation table of contents

Maui, Hawaii, United States

Pages: 165 - 175

Year of Publication: 1997

ISBN:0-89791-951-3

Authors

Olaf Bachmann	Centre for Computer Algebra, Department of Mathematics, University of Kaiserslautern, Kaiserslautern, Germany
Hans Schönemann	Centre for Computer Algebra, Department of Mathematics, University of Kaiserslautern, Kaiserslautern, Germany
Simon Gray	Department of Mathematics and Computer Science, Kent State University, Kent, OH

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): 13, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	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/266670.266724 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	ABBOTT, J., AND TRAVBRSO, C. Specification of the POSSO External Data Representation. Technical report, Sept. 1995.
	2	ABBOTT, J., VAN LEEUWEN, A., AND STROTMANN, A. Objectives of OpenMath. Technical Report 12, RIACA, Amsterdam, June 1996.
	3	AJWA, i., AND WANG, P. Using PVM to Speedup GrSbner Bases Computations. In Proceedings of the Eighth IASTED International Conference on Parallel and Distributed Computing Systems (PDCS '96) (1996), K. Li, T. S. Abdelrahman, and L. E., Eds., pp. 457-461.
	4	Beatrice Amrhein , Oliver Gloor , Wolfgang Küchlin, A case study of multi-threaded Gröbner basis completion, Proceedings of the 1996 international symposium on Symbolic and algebraic computation, p.95-102, July 24-26, 1996, Zurich, Switzerland [doi>10.1145/236869.236908]
	5	Olaf Bachmann , Hans Schönemann , Simon Gray, MPP: a framework for distributed polynomial computations, Proceedings of the 1996 international symposium on Symbolic and algebraic computation, p.103-112, July 24-26, 1996, Zurich, Switzerland [doi>10.1145/236869.236913]
	6	BACHMANN, O. AND GRAY, S. AND SCHONEMANN, H. MP Prototype Specification. In Reports On Computer Algebra, no. 12. Centre for Computer Algebra, University of Kaiserslautern, January 1997.
	7	BLACK, A., HUTCHINSON, H., JUL, E., AND LEVY, H. Object Structure in the Emerald System. Technical Report 86-04-03, University of Washington, Computer Science Department, Apr. 1986.
	8	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
	9	CHEN, M., COWIE, J., FOX, G., FURMANSKI, W., AND REBBI, C. WebWork: Integrated Programming Environment Tools For National and Grand Challenges. Technical Report CRPC-TR95614, Center for Research on Parallel Computation (CRPC), June 1994.
	10	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 [doi>10.1145/220346.220363]
	11	DALMAS, S., GAi~TANo, M., ANO SAUSSE, A. ASAP: a protocol for symbolic computation systems. INRIA Technical Report 162, Mar. 1994.
	12	DEWAR, M. C. Manipulating Fortran Code in AX- IOM and the AXIOM-NAG Link. In Proceedings of the Workshop on Symbolic and Numeric Computing (1994), H. Apiola, M. Laine, and E. Valkeila, F_As., University of Helsinki, Finland, pp. 1-12. Available as Technical Report B10, Roll Nevanlinna Institute.
	13	Efstratios Gallopoulos , Elias Houstis , John R. Rice, Computer as Thinker/Doer: Problem-Solving Environments for Computational Science, IEEE Computational Science & Engineering, v.1 n.2, p.11-23, June 1994 [doi>10.1109/99.326669 ]
	14	GEIST, A., BEGUELIN, A., DONGARRA, J., JIANG, W., MANCHEK, R., AND SUNDERAM, V. PVM3 User's Guide and Reference Manual. Technical Report ORNL/TM-12187, Oak Ridge National Laboratory, September 1994.
	15	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 [doi>10.1145/190347.190435]
	16	Simon Gray , Norbert Kajler , Paul S. Wang, Design and implementation of MP, a protocol for efficient exchange of mathematical expressions, Journal of Symbolic Computation, v.25 n.2, p.213-237, Feb. 1998 [doi>10.1006/jsco.1997.0173 ]
	17	GRAYSON, D., AND STILLMAN, M. Macaulay ~, 1996. For further information contact the authors at dan~math, uiuc. edu or m/ke~th, cornell, edu.
	18	GREUEL, G.-M., PFISTER, G., AND SCHONEMANN, H. Singular. A system for computation in algebraic geometry and singularity theory. University of Kaiserslautern, Dept. of Mathematics, 1995. Available via anonymous ftp from helios, mathematik, uni-kl, de.
	19	GROPP, W., LUSK, R., AND SKJELLUM, A. Using MPI. MIT Press, 1994.
	20	Roger Hayes , Steve W. Manweiler , Richard D. Schlichting, A simple system for constructing distributed, mixed-language programs, Software—Practice & Experience, v.18 n.7, p.641-660, July 1988 [doi>10.1002/spe.4380180705]
	21	Maurice P. Herlihy , Barbara Liskov, A Value Transmission Method for Abstract Data Types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.527-551, Oct. 1982 [doi>10.1145/69622.357182]
	22	HONG, H., Ed. Proc. of the 1st Intl. Syrup. on Parallel Symbolic Computa~ion (PASCO'94) (Sept. 1994), vol. 5, World Scientific.
	23	HUANG, L., AND LAMB, D. Generating Abstractors for Abstract Data Types. Technical Report 92-331, Queen's University, Department of Computing and Information Science, July 1992.
	24	Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
	25	MAYBEE, M., AND SYKES, S. Q: Towards a Multi- Lingual Interprocess Communications Model. Technical Report, University of Colorado, Feb. 1989.
	26	PSEWARE GROUP. The PSEware Project: A Toolkit for Building Problem-Solving Environments. http://www.extreme.indiana.edu/psewaxe, 1996.
	27	PURTILO, J., SNODGRASS, P~., AND WOLF, A. Software Bus Organization: Reference Model and Comparison of Existing Systems. in Machine Intelligence (1991), Meltzer and Michie, Eds., FWG Technical Report 8, University of Arizona CS Dept.
	28	RICE, J. Scalable Scientific Software Libraries and Problem Solving Environments. Technical Report CSD TR-96-001, Department of Computer Science, Purdue University, Jan. 1996.
	29	WOLFRAM RESEARCH, INC. MathLink Reference Guide (version 2.2). Mathematica Technical Report, 1993.
	30	YAU, H., LEUNG, D., FURMANSKI, W., AND G., F. Exploration of Emerging HPCN Technologies for Web- Based Distributed Computing. Technical Report CCS- 755, Northeast Parallel Architectures Center (NPAC).
	31	ZIPPEL, R. MathBus. Available from http://dave, cscornell, edu: 8002/Simlab/papers/mathbus/math- Term. him, 1996.

CITED BY 2

	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
	Johannes Grabmeier , Erich Kaltofen , Volker Weispfenning, Cited References, Computer algebra handbook, Springer-Verlag New York, Inc., New York, NY, 2003