Risa/Asir—a computer algebra system

Algorithms for finding the structure of solutions of a system of linear partial differential equations

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation

Finding roots of unity among quotients of the roots of an integral polynomial

ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation

Computation of replicable functions on Risa/Asir

PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation

Interpolation Attacks of the Block Cipher: SNAKE

FSE '99 Proceedings of the 6th International Workshop on Fast Software Encryption

An alternative approach to comprehensive Gröbner bases

Proceedings of the 2002 international symposium on Symbolic and algebraic computation

An alternative approach to comprehensive Gröbner bases

Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)

Locating real multiple zeros of a real interval polynomial

Proceedings of the 2006 international symposium on Symbolic and algebraic computation

A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases

Proceedings of the 2006 international symposium on Symbolic and algebraic computation

A framework for supporting multidisciplinary engineering design exploration and life-cycle design using underconstrained problem solving

Artificial Intelligence for Engineering Design, Analysis and Manufacturing

A speed-up of the algorithm for computing comprehensive Gröbner systems

Proceedings of the 2007 international symposium on Symbolic and algebraic computation

On the parallel computation of comprehensive Gröbner systems

Proceedings of the 2007 international workshop on Parallel symbolic computation

PGB: a package for computing parametric Gröbner and related objects

ACM Communications in Computer Algebra

Implementation of CGS and CGB on Risa/Asir and other computer algebra systems using Suzuki-Sato algorithm

ACM Communications in Computer Algebra

Evaluation of a Java Computer Algebra System

Computer Mathematics

Computing Gröbner Bases within Linear Algebra

CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing

Computing gröbner bases within linear algebra and its implementation

ACM Communications in Computer Algebra

Unique factorization domains in the java computer algebra system

ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry

Experiment of multithreading symbolic and algebraic computations with OpenMP

ICMS'06 Proceedings of the Second international conference on Mathematical Software

Computation of full comprehensive gröbner bases

CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing

Stability conditions of monomial bases and comprehensive gröbner systems

CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing