Risa is the name of whole libraries of a computer algebra system (CAS) which is under development at FUJITSU LABORATORIES LIMITED. The structure of Risa is as follows. - The basic algebraic engine This is the part which performs basic algebraic operations, such as arithmetic operations, to algebraic objects, e.g., numbers and polynomials, which are already converted into internal forms. It exists, like `libc.a’ of UNIX, as a library of ordinary UNIX system. The algebraic engine is written mainly in C language and partly in assembler. It serves as the basic operation part of Asir, a standard language interface of Risa. - Memory Manager Risa employs, as its memory management component (the memory manager), a free software distributed by Boehm (gc-6.1alpha5). It is proposed by [Boehm,Weiser], and developed by Boehm and his colleagues. The memory manager has a memory allocator which automatically reclaims garbages, i.e., allocated but unused memories, and refreshes them for further use. The algebraic engine gets all its necessary memories through the memory manager. - Asir Asir is a standard language interface of Risa’s algebraic engine. It is one of the possible language interfaces, because one can develop one’s own language interface easily on Risa system. Asir is an example of such language interfaces. Asir has very similar syntax and semantics as C language. Furthermore, it has a debugger that provide a subset of commands of dbx, a widely used debugger of C language.
This software is also referenced in ORMS.
This software is also referenced in ORMS.
Keywords for this software
References in zbMATH (referenced in 111 articles , 1 standard article )
Showing results 81 to 100 of 111.
- Suzuki, Akira; Sato, Yosuke: Implementation of CGS and CGB on Risa/Asir and other computer algebra systems using Suzuki-Sato algorithm (2007) ioport
- Fujimoto, Mitsushi; Suzuki, Masakazu; Yokoyama, Kazuhiro: On polynomial curves in the affine plane (2006)
- Leykin, Anton; Verschelde, Jan: Interfacing with the numerical homotopy algorithms in PHCpack (2006)
- Nakamura, Akira: Derivations of identities by symbolic computation (2006)
- Nakayama, Hiromasa: An interactive user interface for division algorithms and the Buchberger algorithm (2006)
- Noro, Masayuki: An efficient implementation for computing Gröbner bases over algebraic number fields (2006)
- Suzuki, Akira; Sato, Yosuke: A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases (2006)
- Castro-Jiménez, F. J.; Ucha-Enríquez, J. M.: Testing the logarithmic comparison theorem for free divisors (2004)
- Noro, Masayuki: A computer algebra system: Risa/Asir? (2003)
- Faugère, Jean-Charles: A new efficient algorithm for computing Gröbner bases without reduction to zero ((F_5)). (2002)
- Noro, Masayuki; Yokoyama, Kazuhiro: Yet another practical implementation of polynomial factorization over finite fields (2002)
- Hilano, Teluhiko (ed.): Theory and application in computer algebra. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, December 18--21, 2000 (2001)
- Maekawa, Masahide; Noro, Masayuki; Takayama, Nobuki; Tamura, Yasushi; Ohara, Katsuyoshi: The design and implementation of OpenXM-RFC 100 and 101 (2001)
- Noro, Masayuki: Gröbner basis calculation on Weyl algebra in Risa/Asir and their applications (2001)
- Oaku, Toshinori; Takayama, Nobuki: Algorithms for (D)-modules -- restriction, tensor product, localization, and local cohomology groups (2001)
- Takahasi, Tadashi: Deformation of double cusp singularity on an irreducible quartic curve by using the computer algebra system Risa/Asir (2001)
- Saito, Tomokatsu; Kondoh, Yuji; Miyoshi, Yoshihiko; Takeshima, Taku: Faithful plotting on a two dimensional pixel space (2000)
- Tajima, Shinichi: Algebraic analysis of multivariate Hermite interpolation formulas. (2000)
- Moriai, Shiho; Shimoyama, Takeshi; Kaneko, Toshinobu: Interpolation attacks of the block cipher: SNAKE (1999)
- Fujise, Tetsuro (ed.); Murao, Hirokazu (ed.): Research on the theory and applications of computer algebra. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, November 17--20, 1997 (1998)