Risa/Asir

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.


References in zbMATH (referenced in 76 articles , 1 standard article )

Showing results 1 to 20 of 76.
Sorted by year (citations)

1 2 3 4 next

  1. Kobayashi, Shigeki; Takato, Setsuo: Cooperation of KeTCindy and computer algebra system (2016)
  2. Takato, Setsuo: What is and how to use KeTCindy -- linkage between dynamic geometry software and LaTeX graphics capabilities -- (2016)
  3. Fukasaku, Ryoya; Inoue, Shutaro; Sato, Yosuke: On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems (2015)
  4. Fujimoto, Mitsushi: An implementation method of a CAS with a handwriting interface on tablet devices (2014)
  5. Fukasaku, Ryoya: QE software based on comprehensive gröbner systems (2014)
  6. Hibi, Takayuki; Nishiyama, Kenta; Ohsugi, Hidefumi; Shikama, Akihiro: Many toric ideals generated by quadratic binomials possess no quadratic Gröbner bases (2014)
  7. Inoue, Shutaro; Nagai, Akira: On the implementation of Boolean Gröbner bases (2014)
  8. Koyama, Tamio; Nakayama, Hiromasa; Nishiyama, Kenta; Takayama, Nobuki: Holonomic gradient descent for the Fisher-Bingham distribution on the $d$-dimensional sphere (2014)
  9. Koyama, Tamio; Nakayama, Hiromasa; Ohara, Katsuyoshi; Sei, Tomonari; Takayama, Nobuki: Software packages for holonomic gradient method (2014)
  10. Nagai, Akira; Inoue, Shutaro: An implementation method of Boolean Gröbner bases and comprehensive Boolean Gröbner bases on general computer algebra systems (2014)
  11. Noro, Masayuki; Yokoyama, Kazuhiro: Verification of Gröbner basis candidates (2014)
  12. Ohara, Katsuyoshi; Tajima, Shinichi; Terui, Akira: Developing linear algebra packages on Risa/Asir for eigenproblems (2014)
  13. Hamada, Tatsuyoshi: Warm-up drills and tips for mathematical software (2013)
  14. Hashiguchi, Hiroki; Numata, Yasuhide; Takayama, Nobuki; Takemura, Akimichi: The holonomic gradient method for the distribution function of the largest root of a Wishart matrix (2013)
  15. Hibi, Takayuki (ed.): Gröbner bases. Statistics and software systems. Transl. from the Japanese (2013)
  16. Nakayama, Hiromasa; Nishiyama, Kenta: Examples and exercises (2013)
  17. Nakayama, Hiromasa; Takayama, Nobuki: Computing differential equations for integrals associated to smooth Fano polytope (2013)
  18. Noro, Masayuki: Computation of Gröbner bases (2013)
  19. Sei, Tomonari; Shibata, Hiroki; Takemura, Akimichi; Ohara, Katsuyoshi; Takayama, Nobuki: Properties and applications of Fisher distribution on the rotation group (2013)
  20. Noro, Masayuki: Implementation of a primary decomposition package (2012)

1 2 3 4 next