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

2001

Highly Cited

2001

The control paradigm of physical processes being supervised by digital programs has lead to the development of a theory of hybrid… Expand

Highly Cited

2001

Highly Cited

2001

We present the basic concepts and results of Gröbner bases theory for readers working or interested in systems theory. The… Expand

Highly Cited

2000

Highly Cited

2000

In this paper we discuss the package DESOLV written for the algebraic computing system MAPLE. DESOLV has routines which will… Expand

Highly Cited

1994

Highly Cited

1994

It is a fundamental problem of identification to be able—even before the data have been analyzed—to decide if all the free… Expand

Highly Cited

1992

Highly Cited

1992

Formal power series (FPS) of the form Σ k = 0 ∞ a k ( x − x 0 ) k are important in calculus and complex analysis. In some… Expand

Highly Cited

1991

Highly Cited

1991

Global optimization problems with a few variables and constraints arise in numerous applications but are seldom solved exactly… Expand

1985

1985

This paper describes the use of the symbolic manipulation system MACSYMA to facilitate normal form and center manifold… Expand

1974

1974

MACSYMA is a large symbolic and algebraic manipulation system which has been under development at Project MAC, M.I.T. since 1969… Expand

Highly Cited

1973

Highly Cited

1973

This paper presents a preliminary report on a new algorithm for computing the Greatest Common Divisor (GCD) of two multivariate… Expand

Highly Cited

1971

Highly Cited

1971

MACSYMA is a system for symbolic manipulation of algebraic expressions which is being developed at Project MAC, M.I.T. This paper… Expand