Journal of Symbolic Computation
The "Journal of Symbolic Computation" (ISSN 0747-7171) is an international monthly research journal on all aspects of
symbolic computationand is perhaps the most prestigious journal on the topic of symbolic computation. It is published by Academic Press. It is targeted to both mathematicians and computer scientists. It was started in 1985by Bruno Buchberger, who served as its editor until 1994.
The "Journal" covers a wide variety of topics, including:
Automated theorem proving
* Applications of symbolic computation in education, science and industry.
The current editors of the "Journal" are:
Hoon Hong(editor in chief)
* [http://www.elsevier.com/wps/find/journaldescription.cws_home/622902/description JSC's page at Elsevier's web-site]
Wikimedia Foundation. 2010.
Look at other dictionaries:
Research Institute for Symbolic Computation — Das Research Institute for Symbolic Computation, kurz RISC (Institut für Symbolisches Rechnen) ist ein Forschungsinstitut der Johannes Kepler Universität Linz. Es ist im Softwarepark Hagenberg in Hagenberg im Mühlkreis, Oberösterreich,… … Deutsch Wikipedia
JSCOMP — Journal of Symbolic Computation (informationswissenschaftl. Veoeffentlichungen) … Acronyms
JSCOMP — Journal of Symbolic Computation (informationswissenschaftl. Veröffentlichungen) … Acronyms von A bis Z
Bruno Buchberger — (born October 22, 1942 in Innsbruck) 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… … Wikipedia
Bernoulli number — In mathematics, the Bernoulli numbers Bn are a sequence of rational numbers with deep connections to number theory. They are closely related to the values of the Riemann zeta function at negative integers. There are several conventions for… … Wikipedia
Ronald Brown (mathematician) — Ronald Brown, MA, D.Phil Oxon, FIMA, Emeritus Professor (born January 4, 1935) is an English mathematician. He is best known for his many, substantial contributions to Higher Dimensional Algebra and non Abelian Algebraic Topology, involving… … Wikipedia
Axiom (computer algebra system) — Scratchpad redirects here. For scratchpad memory, see Scratchpad RAM. Axiom Developer(s) independent group of people Stable release September 2011 Operating system cross platform … Wikipedia
Bruno Buchberger — Pour les articles homonymes, voir Buchberger. Bruno Buchberger. Bruno Buchberger est un mathématicien autrichien né le 22 … Wikipédia en Français
Bruno Buchberger — 2005 Bruno Buchberger (* 22. Oktober 1942 in Innsbruck) ist ein österreichischer Mathematiker. Inhaltsverzeichnis 1 … Deutsch Wikipedia
Pattern matching — In computer science, pattern matching is the act of checking some sequence of tokens for the presence of the constituents of some pattern. In contrast to pattern recognition, the match usually has to be exact. The patterns generally have the form … Wikipedia