Journal of Symbolic Computation
Encyclopedia
The Journal of Symbolic Computation is a peer-reviewed
monthly scientific journal
covering all aspects of symbolic computation
published by Academic Press
. It is targeted to both mathematician
s and computer scientist
s. It was established in 1985 by Bruno Buchberger
, who served as its editor until 1994.
The journal covers a wide variety of topics, including:
According to the Journal Citation Reports
, its 2009 impact factor
is 0.853. The journal is abstracted and indexed by Scopus
and the Science Citation Index
.
Peer review
Peer review is a process of self-regulation by a profession or a process of evaluation involving qualified individuals within the relevant field. Peer review methods are employed to maintain standards, improve performance and provide credibility...
monthly scientific journal
Scientific journal
In academic publishing, a scientific journal is a periodical publication intended to further the progress of science, usually by reporting new research. There are thousands of scientific journals in publication, and many more have been published at various points in the past...
covering all aspects of symbolic computation
Symbolic computation
Symbolic computation or algebraic computation, relates to the use of machines, such as computers, to manipulate mathematical equations and expressions in symbolic form, as opposed to manipulating the approximations of specific numerical quantities represented by those symbols...
published by Academic Press
Academic Press
Academic Press is an academic book publisher. Originally independent, it was acquired by Harcourt, Brace & World in 1969. Reed Elsevier bought Harcourt in 2000, and Academic Press is now an imprint of Elsevier....
. It is targeted to both mathematician
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....
s and computer scientist
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
s. It was established in 1985 by Bruno Buchberger
Bruno Buchberger
Bruno Buchberger is Professor of Computer Mathematics at Johannes Kepler University in Linz, Austria. In his 1965 Ph.D. thesis, he created the theory of Gröbner bases, and has developed this theory throughout his career. He named these objects after his advisor Wolfgang Gröbner...
, who served as its editor until 1994.
The journal covers a wide variety of topics, including:
- Computer algebraComputer algebra systemA computer algebra system is a software program that facilitates symbolic mathematics. The core functionality of a CAS is manipulation of mathematical expressions in symbolic form.-Symbolic manipulations:...
, for which it is considered the top journal - Computational geometryComputational geometryComputational geometry is a branch of computer science devoted to the study of algorithms which can be stated in terms of geometry. Some purely geometrical problems arise out of the study of computational geometric algorithms, and such problems are also considered to be part of computational...
- Automated theorem provingAutomated theorem provingAutomated theorem proving or automated deduction, currently the most well-developed subfield of automated reasoning , is the proving of mathematical theorems by a computer program.- Decidability of the problem :...
- Applications of symbolic computation in education, science, and industry
According to the Journal Citation Reports
Journal Citation Reports
Journal Citation Reports is an annual publication by the Healthcare & Science division of Thomson Reuters. It has been integrated with the Web of Knowledge, by Thomson Reuters, and is accessed from the Web of Science to JCR Web. It provides information about academic journals in the sciences and...
, its 2009 impact factor
Impact factor
The impact factor, often abbreviated IF, is a measure reflecting the average number of citations to articles published in science and social science journals. It is frequently used as a proxy for the relative importance of a journal within its field, with journals with higher impact factors deemed...
is 0.853. The journal is abstracted and indexed by Scopus
Scopus
Scopus, officially named SciVerse Scopus, is a bibliographic database containing abstracts and citations for academic journal articles. It covers nearly 18,000 titles from over 5,000 international publishers, including coverage of 16,500 peer-reviewed journals in the scientific, technical, medical,...
and the Science Citation Index
Science Citation Index
The Science Citation Index is a citation index originally produced by the Institute for Scientific Information and created by Eugene Garfield in 1960, which is now owned by Thomson Reuters. The larger version covers more than 6,500 notable and significant journals, across 150 disciplines, from ...
.