Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,034,043 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.
2007
2007
Full-Scale Measurements of Containership Sinkage, Trim and Roll
T. Gourlay
,
K. Klaka
2007
Corpus ID: 14192600
We report on a recent project to accurately measure full scale sinkage, trim and roll of 16 deep-draft containerships entering or…
Expand
2004
2004
Decoding Cyclic and BCH Codes up to Actual Minimum Distance Using Nonrecurrent Syndrome Dependence Relations
Cui-Liang Feng
,
S. M. I. Kenneth K. Tzeng
2004
Corpus ID: 385532
-The decoding capabilities of algebraic algorithms, mainly the Berlekamp-Massey algorithm, the Euclidean algorithm and our…
Expand
2001
2001
Polymer melt rheology and the rheotens test
A. Bernnat
2001
Corpus ID: 98251688
Das Rheotensexperiment ist ein Schmelzespinnexperiment. Die Kunststoffschmelze wird in einer Kapillare vorgeschert und danach…
Expand
2001
2001
Symbolic algebra and timing driven data-flow synthesis
A. Peymandoust
,
G. Micheli
IEEE/ACM International Conference on Computer…
2001
Corpus ID: 2884220
The growing market of multi-media applications has required the development of complex ASICs with significant data-path portions…
Expand
1999
1999
Scenario durations characterization of t-timed Petri nets using linear logic
B. Pradin-Chezalviel
,
R. Valette
,
Luis Allan Künzle
Proceedings 8th International Workshop on Petri…
1999
Corpus ID: 40819784
This paper aims to handle scenario durations of t-timed Petri nets without constructing the class graph. We use a linear logic…
Expand
1997
1997
Solar wind interaction with the magnetized interstellar medium. Shock-capturing modeling.
N. Pogorelov
,
A. Semenov
1997
Corpus ID: 17976099
The interaction between the stellar wind, including the solar wind, and the interstellar medium is the subject of thorough…
Expand
1995
1995
The Role of Intelligent Systems in the National Information Infrastructure
Daniel S. Weld
,
J. Marks
,
D. Bobrow
The AI Magazine
1995
Corpus ID: 5978892
This report stems from a workshop that was organized by the Association for the Advancement of Artificial Intelligence (AAAI) and…
Expand
1992
1992
Pattern-addressable memory
I. Robinson
IEEE Micro
1992
Corpus ID: 52850166
The pattern associative memory (PAM), a custom associative memory chip specialized to handle the syntax and associated pattern…
Expand
1977
1977
Some linear algebraic algorithms and their performance on CRAY-1
K. Fong
,
T. Jordan
1977
Corpus ID: 117797567
This report describes new and relevant features of the CRAY-1 hardware, and defines and characterizes the scalar, vector, and…
Expand
1962
1962
A Realization Procedure for Threshold Gate Networks
C. Coates
,
P. M. Lewis
IEEE Transactions on Electronic Computers
1962
Corpus ID: 631387
One engineering parameter of importance in the realization of threshold gate networks is the tolerance which must be placed on…
Expand