ISSAC, the International Symposium on Symbolic and Algebraic Computation, is an
academic conference
An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic or scientific journals an ...
in the field of
computer algebra
In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating mathematical expressions ...
. ISSAC has been organized annually since 1988, typically in July. The conference is regularly sponsored by the
Association for Computing Machinery
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...
special interest group
SIGSAM SIGSAM is the ACM Special Interest Group on Symbolic and Algebraic Manipulation. It publishes the ''ACM Communications in Computer Algebra'' and often sponsors the ''International Symposium on Symbolic and Algebraic Computation'' (ISSAC).
Externa ...
, and the proceedings since 1989 have been published by ACM. ISSAC is considered as being one of the most influential conferences for the publication of scientific computing research.
History
The first ISSAC took place in
Rome
, established_title = Founded
, established_date = 753 BC
, founder = King Romulus (legendary)
, image_map = Map of comune of Rome (metropolitan city of Capital Rome, region Lazio, Italy).svg
, map_caption ...
on 4–8 July 1988. It succeeded a series of meetings held between 1966 and 1987 under the names SYMSAM, SYMSAC, EUROCAL, EUROSAM and EUROCAM.
ISSAC Awards
* The ''Richard D. Jenks Memorial Prize for excellence in software engineering applied to computer algebra'' is awarded at ISSAC every other year since 2004.
* The ''ISSAC Distinguished Paper Award'' is awarded at ISSAC since 2002 to authors that display excellence in areas that include, but are not limited to, algebraic computation, symbolic-numeric computation, and system design and implementation.
* The ''ISSAC Distinguished Student Author Award'' is awarded at ISSAC since 2004 to authors if they were a student at the time their paper was submitted.
Conference topics
Typical topics include:
ISSAC 2012 Call for papers
/ref>
* exact linear algebra
Exact may refer to:
* Exaction, a concept in real property law
* ''Ex'Act'', 2016 studio album by Exo
* Schooner Exact, the ship which carried the founders of Seattle
Companies
* Exact (company), a Dutch software company
* Exact Change, an Ameri ...
;
* polynomial system solving;
* symbolic summation
Symbolic may refer to:
* Symbol, something that represents an idea, a process, or a physical entity
Mathematics, logic, and computing
* Symbolic computation, a scientific area concerned with computing with mathematical formulas
* Symbolic dynam ...
;
* symbolic integration
In calculus, symbolic integration is the problem of finding a formula for the antiderivative, or ''indefinite integral'', of a given function ''f''(''x''), i.e. to find a differentiable function ''F''(''x'') such that
:\frac = f(x).
This is also ...
and computational differential algebra
In mathematics, differential rings, differential fields, and differential algebras are rings, fields, and algebras equipped with finitely many derivations, which are unary functions that are linear and satisfy the Leibniz product rule. A natur ...
;
* computational group theory
In mathematics, computational group theory is the study of
group (mathematics), groups by means of computers. It is concerned
with designing and analysing algorithms and
data structures to compute information about groups. The subject
has attracted ...
;
* symbolic-numeric algorithms;
* the design and implementation of computer algebra system
A computer algebra system (CAS) or symbolic algebra system (SAS) is any mathematical software with the ability to manipulate mathematical expressions in a way similar to the traditional manual computations of mathematicians and scientists. The de ...
s;
* applications of computer algebra.
See also
* ''Journal of Symbolic Computation
The ''Journal of Symbolic Computation'' is a peer-reviewed monthly scientific journal covering all aspects of symbolic computation published by Academic Press and then by Elsevier. It is targeted to both mathematicians and computer scientists. It ...
''
References
External links
ISSAC web page
Bibliographic information about ISSAC
at DBLP
DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Nove ...
{{Authority control
Computer algebra
Theoretical computer science conferences
Recurring events established in 1988
Association for Computing Machinery conferences