Symbolic computation

Known as: Symbolic processing, Algebraic algorithms, Computer algebra 
In computational mathematics, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1937-2018
010020019372017

Papers overview

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)
  • figure 1
  • table 1
  • table 2
Is this relevant?
2008
2008
We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability… (More)
  • figure 1
  • figure 3
Is this relevant?
2006
2006
Convex optimization deals with certain classes of mathematical optimization problems including least-squares and linear… (More)
  • figure 1
  • figure 2
Is this relevant?
2004
2004
Many problems in digital signal processing can be converted to algebraic problems over polynomial and Laurent polynomial rings… (More)
  • table 1
  • table 2
  • figure 1
  • table 3
Is this relevant?
2001
2001
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and… (More)
  • figure 1
  • figure 2
Is this relevant?
1999
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
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
Multilisp is a version of the Lisp dialect Scheme extended with constructs for parallel execution. Like Scheme, Multilisp is… (More)
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1982
Highly Cited
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
A programming system called LISP (for LISt Processor) has been developed for the IBM 704 computer by the Artificial Intelligence… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?