Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 206,553,498 papers from all fields of science

Search

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

Highly Cited

2009

Highly Cited

2009

SINGULAR is a specialized computer algebra system for polynomial computations with emphasize on the needs of commutative algebra…

Highly Cited

2009

Highly Cited

2009

We present the tensor computer algebra package xPert for fast construction and manipulation of the equations of metric…

Highly Cited

2008

Highly Cited

2008

The subject of linear algebra includes the solution of linear equations, a topic properly belonging to college algebra. Earlier…

Highly Cited

2007

Highly Cited

2007

Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has…

Highly Cited

2002

Highly Cited

2002

Computer algebra systems are now ubiquitous in all areas of science and engineering. This highly successful textbook, widely…

Highly Cited

1997

Highly Cited

1997

REDLOG is a package that extends the computer algebra system REDUCE to a computer logic system, i.e., a system that provides…

Review

1997

Review

1997

One or more than made up, by fred woodward under the best uses of systems. 157 rule generalizes easily to undergraduates this has…

Highly Cited

1997

Highly Cited

1997

Abstract In the first of two papers on MAGMA , a new system for computational algebra, we present the MAGMA language, outline the…

Highly Cited

1993

Highly Cited

1993

Risa/Asir consists of the Risa engine for performing operations on mathematical objects and an interpreter for programs written…

Highly Cited

1992

Highly Cited

1992

A computer algebra system risa/asir consists of a command asir for interactive use and several subroutine libraries which can be…