Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,944,006 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.
Review
2009
Review
2009
OpenMath in SCIEnce: SCSCP and POPCORN
Peter Horn
,
D. Roozemond
Calculemus/MKM
2009
Corpus ID: 1179240
In this short communication we want to give an overview of how OpenMath is used in the European project "SCIEnce" [12]. The main…
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
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
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
A transformation of multiple-valued input two-valued output functions and its application to simplification of exclusive-or sum-of-products expressions
Tsutomu Sasao
[] Proceedings of the Twenty-First International…
1991
Corpus ID: 41121907
A transformation for p-valued input functions is presented. The number of products in minimum exclusive-or sum-of-products…
Expand
1988
1988
IAC-DIDAS-N A Dynamic Interactive Decision Analysis and Support System for Multicriteria Analysis of Nonlinear Models
Tonzasz Krgglewski
,
J. Granat
,
Andrzej
,
P.
,
Wierzbicki
1988
Corpus ID: 53828288
The decision analysis and support systems of DIDAS family—that is, Dynamic Interactive Decision Analysis and Support systems —are…
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