Risa/Asir—a computer algebra system

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Risa/Asir—a computer algebra system

Full text

Pdf (815 KB)

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: 387 - 396

Year of Publication: 1992

ISBN:0-89791-489-9

Authors

Masayuki Noro
Taku Takeshima

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

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/143242.143362 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	J. A. Abbott , R. J. Bradford , J. H. Davenport, Factorisation of polynomials: old ideas and recent results, Trends in computer algebra, Springer-Verlag New York, Inc., New York, NY, 1988
	2	Batut, C., Bernardi, D., Cohen, H., Olivier, M., User's Guide to PARLGP. February 1991.
	3	Hans-Juergen Boehm , Mark Weiser, Garbage collection in an uncooperative environment, Software—Practice & Experience, v.18 n.9, p.807-820, September 1988 [doi>10.1002/spe.4380180902]
	4	Char, B.W., Geddes, K.O., Gonnet, G.H., Leong, B.L., Monagan, M.B., Watt, S.M., Maple Lan: guage Reference Manual. Walerloo Maple Publishing (1991).
	5	Donnelly, C., Stallman, R., BISON The YACC- compatible Parser Generator. Free Software Foundation (1990).
	6	R. J. Fateman, Advances and trends in the design and construction of algebraic manipulation systems, Proceedings of the international symposium on Symbolic and algebraic computation, p.60-67, August 20-24, 1990, Tokyo, Japan [doi>10.1145/96877.96895]
	7	G. J. Fee, Computation of Catalan's constant using Ramanujan's formula, Proceedings of the international symposium on Symbolic and algebraic computation, p.157-160, August 20-24, 1990, Tokyo, Japan [doi>10.1145/96877.96917]
	8	Kaltofen, E., Factorization of Polynomials. Computing, Suppl. 4(1982), 95-113.
	9	P. M. A. Moore , A. C. Norman, Implementing a polynomial factorization and GCD package, Proceedings of the fourth ACM symposium on Symbolic and algebraic computation, p.109-116, August 05-07, 1981, Snowbird, Utah, United States [doi>10.1145/800206.806379]
	10	SAC2-C source programs. Ftp'ed from archive, cis. ohio-state, edu.
	11	Takeshima, T., Noro, M., Yokoyama, K., Report on Computer Algebra Research. FUJITSU Sci. Tech. J., 27,4, December 1991, 338-359.
	12	Barry M. Trager, Algebraic factoring and rational function integration, Proceedings of the third ACM symposium on Symbolic and algebraic computation, p.219-226, August 10-12, 1976, Yorktown Heights, New York, United States [doi>10.1145/800205.806338]
	13	Wang, P.S., An Improved Multivariate Polynomial Factoring Algorithm. Math. Comp. 32(1978), 1215- 1231.
	14	Wang, P.S., Trager, B.M., New Algorithms for Polynomial Square-Free Decomposition over the Integers. SIAM J. Comp. 8(1979), 300-305.
	15	Yuasa, T., Hagiya, M., The Kyoto Common Lisp Report. Research Institute for Mathematical Sciences, Kyoto University, June 1985.
	16	Debugging Tools. Sun Microsystems, Inc. (1988).
	17	Network Programming. Sun Microsystems, Inc. (1988).
	18	Programming Utilities &~ Libraries. Sun Microsystems, Inc. (1988).

CITED BY 12

	Toshinori Oaku, Algorithms for finding the structure of solutions of a system of linear partial differential equations, Proceedings of the international symposium on Symbolic and algebraic computation, p.216-223, July 20-22, 1994, Oxford, United Kingdom
	Masayuki Noro , John McKay, Computation of replicable functions on Risa/Asir, Proceedings of the second international symposium on Parallel symbolic computation, p.130-138, July 20-22, 1997, Maui, Hawaii, United States
	Kazuhiro Yokoyama , Ziming Li , István Nemes, Finding roots of unity among quotients of the roots of an integral polynomial, Proceedings of the 1995 international symposium on Symbolic and algebraic computation, p.85-89, July 10-12, 1995, Montreal, Quebec, Canada
	Akira Suzuki , Yosuke Sato, An alternative approach to comprehensive Gröbner bases, Journal of Symbolic Computation, v.36 n.3-4, p.649-667, September 2003
	Akira Suzuki , Yosuke Sato, An alternative approach to comprehensive Gröbner bases, Proceedings of the 2002 international symposium on Symbolic and algebraic computation, p.255-261, July 07-10, 2002, Lille, France
	Akira Suzuki , Yosuke Sato, A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases, Proceedings of the 2006 international symposium on Symbolic and algebraic computation, July 09-12, 2006, Genoa, Italy
	Hiroshi Sekigawa , Kiyoshi Shirayanagi, Locating real multiple zeros of a real interval polynomial, Proceedings of the 2006 international symposium on Symbolic and algebraic computation, July 09-12, 2006, Genoa, Italy
	Akira Suzuki , Yosuke Sato, Implementation of CGS and CGB on Risa/Asir and other computer algebra systems using Suzuki-Sato algorithm, ACM Communications in Computer Algebra, v.41 n.3, September 2007 issue 161
	Xiu-Tian Yan , Hiroyuki Sawada, A framework for supporting multidisciplinary engineering design exploration and life-cycle design using underconstrained problem solving, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, v.20 n.4, p.329-350, September 2006
	Katsusuke Nabeshima, PGB: a package for computing parametric Gröbner and related objects, ACM Communications in Computer Algebra, v.41 n.3, September 2007 issue 161
	Shutaro Inoue , Yosuke Sato, On the parallel computation of comprehensive Gröbner systems, Proceedings of the 2007 international workshop on Parallel symbolic computation, July 27-28, 2007, London, Ontario, Canada
	Katsusuke Nabeshima, A speed-up of the algorithm for computing comprehensive Gröbner systems, Proceedings of the 2007 international symposium on Symbolic and algebraic computation, July 29-August 01, 2007, Waterloo, Ontario, Canada