Risa/Asir swMATH ID: 806 Software Authors: Masayuki Noro, Kazuhiro Yokoyama, Taku Takeshima, Takeshi Shimoyama, Hiroshi Anai, Takayuki Kando, Tomokatsu Saito, Yuji Kondoh, Hirokazu Murao, Thomas Sturm, Katsuyoshi Ohara, Nobuki Takayama, (who committed to fundamental design, kernel sources and core libraries). As to committers of libraries and very recent contributors, see also http://www.math.kobe-u.ac.jp/OpenXM/people.html Fujitsu laboratory or asir.org or Kobe university. Description: 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. Homepage: http://www.math.kobe-u.ac.jp/Asir Keywords: orms; open \(XM\); algebraic computations Related Software: SINGULAR; Macaulay2; Kan; OpenXM; D-modules; Mathematica; Maple; hgm R; Plural; PGB; REDLOG; R; Magma; 4ti2; dpgb; PHCpack; CoCoA; Maxima; GeoGebra; TiGERS Cited in: 120 Documents This software is also referenced in ORMS. Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year A computer algebra system: Risa/Asir? Zbl 1027.68152Noro, Masayuki 2003 all top 5 Cited by 95 Authors 23 Tajima, Shinichi 19 Nabeshima, Katsusuke 19 Noro, Masayuki 14 Takayama, Nobuki 12 Ohara, Katsuyoshi 8 Nakayama, Hiromasa 7 Inoue, Shutaro 7 Oaku, Toshinori 5 Nishiyama, Kenta 5 Sato, Yosuke 5 Suzuki, Akira 5 Takemura, Akimichi 5 Yokoyama, Kazuhiro 3 Fujimura, Masayo 3 Levandovskyy, Viktor 3 Martín-Morales, Jorge 3 Nagai, Akira 3 Saito, Tomokatsu 3 Sei, Tomonari 3 Terui, Akira 2 Andres, Daniel 2 Castro-Jiménez, Francisco Jesús 2 Fukasaku, Ryoya 2 Hashiguchi, Hiroki 2 Hibi, Takayuki 2 Kondoh, Yuji 2 Koyama, Tamio 2 Leykin, Anton 2 Matsubara-Heo, Saiei-Jaeyeong 2 Oshima, Toshio 2 Takato, Setsuo 2 Takeshima, Taku 2 Ucha-Enríquez, José María 2 Uchida, Yukihiro 2 Umeta, Yoko 1 Aoki, Satoshi 1 Bahloul, Rouchdi 1 Berkesch Zamaere, Christine 1 Brickenstein, Michael 1 Faugère, Jean-Charles 1 Fujimoto, Mitsushi 1 Fujise, Tetsuro 1 Goto, Yoshiaki 1 Hamada, Tatsuyoshi 1 Hariri, Parisa 1 Hilano, Teluhiko 1 Horigome, Noriyuki 1 Iohara, Kenji 1 Ishihara, Yuki 1 Izu, Tetsuya 1 Kai, Hiroshi 1 Kaneko, Masanobu 1 Kaneko, Toshinobu 1 Kawazoe, Taro 1 Kobayashi, Hidetsune 1 Kobayashi, Shigeki 1 Kogure, Jun 1 Kurata, Yosuke 1 Kuriki, Satoshi 1 Maekawa, Masahide 1 Malbos, Philippe 1 McKay, John 1 Mikawa, Masahiko 1 Minakuchi, Hiroyuki 1 Miyosh, Yoshihiko 1 Miyoshi, Yoshihiko 1 Mocanu, Marcelina 1 Montaner, J. Àlvarez 1 Montes, Antonio 1 Moriai, Shiho 1 Murao, Hirokazu 1 Niki, Naoto 1 Noda, Matu-Tarow 1 Numata, Yasuhide 1 Ohsugi, Hidefumi 1 Sadykov, Timur Mradovich 1 Saito, Masa-Hiko 1 Saito, Morihiko 1 Sakai, Kô 1 Sakamoto, Ryuichi 1 Schönemann, Hans 1 Sekiguchi, Jiro 1 Shibata, Hiroki 1 Shibuta, Takafumi 1 Shikama, Akihiro 1 Shimoyama, Takeshi 1 Suzuki, Masakazu 1 Takahashi, Yasushi 1 Takahasi, Tadashi 1 Tamura, Yasushi 1 Tsurumaki, Ken’ichi 1 Verschelde, Jan 1 Vuorinen, Matti Keijo Kustaa 1 Wibmer, Michael 1 Yasuda, Masaya all top 5 Cited in 31 Serials 9 Journal of Symbolic Computation 9 RIMS Kokyuroku 7 Mathematics in Computer Science 4 Journal of Pure and Applied Algebra 4 Japan Journal of Industrial and Applied Mathematics 3 Journal of Algebra 3 Journal of Multivariate Analysis 2 Advances in Applied Mathematics 2 Applicable Algebra in Engineering, Communication and Computing 2 Computational Methods and Function Theory 2 ACM Communications in Computer Algebra 1 Journal of Mathematical Analysis and Applications 1 Acta Arithmetica 1 Acta Mathematica Vietnamica 1 Hokkaido Mathematical Journal 1 Manuscripta Mathematica 1 Osaka Journal of Mathematics 1 Programming and Computer Software 1 Saitama Mathematical Journal 1 Kumamoto Journal of Mathematics 1 Computational Statistics 1 Indagationes Mathematicae. New Series 1 Experimental Mathematics 1 Kyushu Journal of Mathematics 1 Journal of Algebra and its Applications 1 Complex Variables and Elliptic Equations 1 Pure and Applied Mathematics Quarterly 1 Algorithms and Computation in Mathematics 1 MSJ Memoirs 1 Journal of Mathematical Cryptology 1 RIMS Kokyuroku all top 5 Cited in 33 Fields 64 Commutative algebra (13-XX) 50 Computer science (68-XX) 33 Algebraic geometry (14-XX) 25 Several complex variables and analytic spaces (32-XX) 10 Special functions (33-XX) 9 Statistics (62-XX) 9 Numerical analysis (65-XX) 8 Associative rings and algebras (16-XX) 7 General and overarching topics; collections (00-XX) 6 Number theory (11-XX) 5 Field theory and polynomials (12-XX) 5 Partial differential equations (35-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Functions of a complex variable (30-XX) 2 Ordinary differential equations (34-XX) 2 Functional analysis (46-XX) 2 Differential geometry (53-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Operations research, mathematical programming (90-XX) 2 Information and communication theory, circuits (94-XX) 1 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Difference and functional equations (39-XX) 1 Approximations and expansions (41-XX) 1 Operator theory (47-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year