In computational mathematics, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to theâ€¦Â (More)

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

2016

2016

Ordinary differential equations (ODEs) are widespread in many natural sciences including chemistry, ecology, and systems biologyâ€¦Â (More)

Is this relevant?

2008

2008

- Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond
- AISC/MKM/Calculemus
- 2008

We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composabilityâ€¦Â (More)

Is this relevant?

2006

2006

- Heinz H. Bauschke, Martin von Mohrenschildt
- ACM Comm. Computer Algebra
- 2006

Convex optimization deals with certain classes of mathematical optimization problems including least-squares and linearâ€¦Â (More)

Is this relevant?

2004

2004

- Hyungju Park
- J. Symb. Comput.
- 2004

Many problems in digital signal processing can be converted to algebraic problems over polynomial and Laurent polynomial ringsâ€¦Â (More)

Is this relevant?

2001

2001

- Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
- CONCUR
- 2001

We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic andâ€¦Â (More)

Is this relevant?

1999

1999

- Laurent Bernardin, Bruce W. Char, Erich Kaltofen
- ISSAC
- 1999

Java, first developed as a programming interface for web browsers, is being pushed by a consortium of companies as a high levelâ€¦Â (More)

Is this relevant?

1996

1996

- Andrej Bauer, Edmund M. Clarke, Xudong Zhao
- Journal of Automated Reasoning
- 1996

Analytica is an automatic theorem prover for theorems in elementary analysis. The prover is written in the Mathematica languageâ€¦Â (More)

Is this relevant?

Highly Cited

1985

Highly Cited

1985

- Robert H. Halstead
- ACM Trans. Program. Lang. Syst.
- 1985

Multilisp is a version of the Lisp dialect Scheme extended with constructs for parallel execution. Like Scheme, Multilisp isâ€¦Â (More)

Is this relevant?

Highly Cited

1982

Highly Cited

1982

- Bruno Buchberger
- Computing : Supplementum
- 1982

Computer algebra is an alternative and complement to numerical mathematics. Its importance is steadily increasing. This volume isâ€¦Â (More)

Is this relevant?

Highly Cited

1960

Highly Cited

1960

- John McCarthy
- Commun. ACM
- 1960

A programming system called LISP (for LISt Processor) has been developed for the IBM 704 computer by the Artificial Intelligenceâ€¦Â (More)

Is this relevant?