Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,755,886 papers from all fields of science
Search
Sign In
Create Free Account
Symbolic computation
Known as:
Symbolic processing
, Algebraic algorithms
, Computer algebra
Expand
In computational mathematics, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
AMBIT
Algorithm
Algorithmic efficiency
Arbitrary-precision arithmetic
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Analytical Calculation of the Electric Field Produced by Single-Circuit Power Lines
A. Tzinevrakis
,
D. Tsanakas
,
E. I. Mimos
IEEE Transactions on Power Delivery
2008
Corpus ID: 7688388
The electric field produced by overhead power lines is usually calculated with the use of numerical methods through a computer…
Expand
Highly Cited
2001
Highly Cited
2001
A new complex line soliton for the two-dimensional KdV–Burgers equation
E. Fan
,
Jian Zhang
,
B. Hon
2001
Corpus ID: 122314670
Highly Cited
1997
Highly Cited
1997
A Petrov-Galerkin Diffuse Element Method (PG DEM) and its comparison to EFG
Y. Krongauz
,
T. Belytschko
1997
Corpus ID: 122643128
Abstract The diffuse element method (DEM) pioneered␣by B. Nayroles, G. Touzot and P. Villon is a meshless method for solving…
Expand
Highly Cited
1996
Highly Cited
1996
Immobile Robots AI in the New Millennium
B. Williams
,
P. Nayak
The AI Magazine
1996
Corpus ID: 12464490
A new generation of sensor-rich, massively distributed, autonomous systems are being developed that have the potential for…
Expand
1992
1992
Image understanding architecture: exploiting potential parallelism in machine vision
C. Weems
,
E. Riseman
,
A. Hanson
Computer
1992
Corpus ID: 1567794
A hardware architecture that addresses at least part of the potential parallelism in each of the three levels of vision…
Expand
1991
1991
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
R. Nicola
,
A. Fantechi
,
S. Gnesi
,
G. Ristori
International Conference on Computer Aided…
1991
Corpus ID: 39618946
A system is described which supports proofs of both behavioural and logical properties of concurrent systems; these are specified…
Expand
Review
1988
Review
1988
Search: A survey of recent results
R. Korf
1988
Corpus ID: 57778556
1986
1986
Thermal and mechanical constraints on the lithosphere beneath the Marquesas swell
K. Fischer
,
M. McNutt
,
L. Shure
Nature
1986
Corpus ID: 4350676
The Marquesas Islands, like most active or recently active hotspot chains, lie on anomalously shallow sea floor, and their…
Expand
1976
1976
The algorithm description language ALDES (report)
R. Loos
SIGS
1976
Corpus ID: 17136298
ALDES is a formalization of the method to describe algorithms used in Knuth's books. The largest documentation of algebraic…
Expand
Highly Cited
1970
Highly Cited
1970
Symbolic Generation of an Optimal Crout Algorithm for Sparse Systems of Linear Equations
F. Gustavson
,
W. Liniger
,
R. Willoughby
JACM
1970
Corpus ID: 8458097
An efficient implementation of the Crout elimination method in solving large sparse systems of linear algebraic equations of…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE