Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,859,749 papers from all fields of science
Search
Sign In
Create Free Account
ISSAC
Known as:
EUROCAL
, SYMSAC
ISSAC, the International Symposium on Symbolic and Algebraic Computation, is an academic conference in the field of computer algebra. ISSAC has been…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Computational group theory
Computer algebra system
DBL-Browser
Journal of Symbolic Computation
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Structure-preserving matrix methods for computations on univariate and bivariate Bernstein polynomials
Martin Bourne
2017
Corpus ID: 84182456
Curve and surface intersection finding is a fundamental problem in computer-aided geometric design (CAGD). This practical problem…
Expand
2013
2013
Generic constraints for type-safe embedded programming
W. Jones
2013
Corpus ID: 34417303
Domain-specific languages (DSLs) are everywhere, with applications in areas such as parser generation, music synthesis, parallel…
Expand
2012
2012
Interval Mathematics: Foundations, Algebraic Structures, and Applications
Hend Dawood
2012
Corpus ID: 124786124
Student Name: Hend Dawood Mohamed. Thesis Title: Interval Mathematics: Foundations, Algebraic Structures, and Applications…
Expand
2005
2005
Towards Diagrammatic Specifications of Symbolic Computation Systems
C. Domínguez
,
D. Duval
,
Laureano Lambán
,
J. Rubio
Mathematics, Algorithms, Proofs
2005
Corpus ID: 17032031
The aim of this work is to present an ongoing project to formalize, in the framework of diagrammatic logic (due to Dominique…
Expand
1995
1995
GAP/MPI: Facilitating parallelism
G. Cooperman
Groups and Computation
1995
Corpus ID: 15549484
The goal of this work is to overcome the learning barriers faced when first using parallelism. Currently, in order to parallelize…
Expand
1993
1993
A type system for computer algebra (abstract)
P. Santas
International Symposium on Symbolic and Algebraic…
1993
Corpus ID: 10759498
The method involves erecting a very large-diameter column from a plurality of buoyant columnar members at a selected site in a…
Expand
1986
1986
EUROCAL '85 Abstracts
S. Kamal
,
Abdali
,
+11 authors
M. Maccallum
SIGS
1986
Corpus ID: 17996840
Programming environments have dramatically improved since the time that the major symbolic computation systems such as MACSYMA…
Expand
1985
1985
EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions
B. Caviness
1985
Corpus ID: 60300010
It's not surprisingly when entering this site to get the book. One of the popular books now is the eurocal 85 european conference…
Expand
1984
1984
Proceedings of the International Symposium on Symbolic and Algebraic Computation
J. Fitch
1984
Corpus ID: 67387821
1983
1983
Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 : proceedings
J. A. V. Hulzen
1983
Corpus ID: 118753545
Integration - What do we want from the theory?.- The Euclidean algorithm for Gaussian integers.- Multi polynomial remainder…
Expand