Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

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… Expand

Highly Cited

2009

Highly Cited

2009

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

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… Expand

Highly Cited

2007

Highly Cited

2007

Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built… Expand

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… Expand

Highly Cited

2002

Highly Cited

2002

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

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… Expand

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… Expand

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… Expand

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… Expand