A computer algebra system (CAS) is a software program that allows computation over mathematical expressions in a way similar to the traditionalâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2008

Highly Cited

2008

- Gert-Martin Greuel, Gerhard Pfister, Hans SchÃ¶nemann
- ACM Comm. Computer Algebra
- 2008

SINGULAR is a specialized computer algebra system for polynomial computations with emphasize on the needs of commutative algebraâ€¦Â (More)

Is this relevant?

2008

2008

- Yuri A. Blinkov, Vladimir P. Gerdt
- Programming and Computer Software
- 2008

Computer algebra system GINV (GrÃ¶bner INVolutive) is presented. It is designed for studying and solving systems of algebraicâ€¦Â (More)

Is this relevant?

2007

2007

- Heinz Kredel
- ASCM
- 2007

This paper evaluates the suitability of Java as an implementation language for the foundations of a computer algebra library. Theâ€¦Â (More)

Is this relevant?

2007

2007

- JosÃ© Romildo Malaquias, Carlos Roberto Lopes
- Applied Mathematics and Computation
- 2007

There are basically two kinds of mathematical computation, numerical and symbolic. Numerical algorithms are usually implementedâ€¦Â (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- Bruce E. Shapiro, Andre Levchenko, Elliot M. Meyerowitz, Barbara J. Wold, Eric Mjolsness
- Bioinformatics
- 2003

Cellerator describes single and multi-cellular signal transduction networks (STN) with a compact, optionally palette-drivenâ€¦Â (More)

Is this relevant?

2003

2003

- Viktor Levandovskyy, Hans SchÃ¶nemann
- ISSAC
- 2003

Singular is a computer algebra system developed for efficient computations with polynomials. We describe Plural as an extensionâ€¦Â (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- Andreas Dolzmann, Thomas Sturm
- ACM SIGSAM Bulletin
- 1997

REDLOG is a package that extends the computer algebra system REDUCE to a computer logic system, i.e., a system that providesâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

Well, someone can decide by themselves what they want to do and need to do but sometimes, that kind of person will need someâ€¦Â (More)

Is this relevant?

1992

1992

- Masayuki Noro, Taku Takeshima
- ISSAC
- 1992

A computer algebra system risa/asir consists of a command asir for interactive use and several subroutine libraries which can beâ€¦Â (More)

Is this relevant?

1992

1992

In recent years there has been an emergence of general purpose computer algebra systems such as Maple, Macsyma, Mathematica, andâ€¦Â (More)

Is this relevant?