An international journal, the Journal of Symbolic Computation, founded by Bruno Buchberger in 1985, is directed to mathematicians and computer scientists who have a particular interest in symbolic computation. The journal provides a forum for research in the algorithmic treatment of all types of symbolic objects: objects in formal languages (terms, formulas, programs); algebraic objects (elements in basic number domains, polynomials, residue classes, etc.); and geometrical objects.

It is the explicit goal of the journal to promote the integration of symbolic computation by establishing one common avenue of communication for researchers working in the different subareas. It is also important that the algorithmic achievements of these areas should be made available to the human problem-solver in integrated software systems for symbolic computation. To help this integration, the journal publishes invited tutorial surveys as well as Applications Letters and System Descriptions.

Research Areas Include:

• Computational algebra
• Computational geometry (non-linear)
• Automated theorem proving
• Automatic programming
• Design and implementation of symbolic computation languages and systems
• Applications in education, science, engineering and industry

Benefits to authors
We also provide many author benefits, such as free PDFs, a liberal copyright policy, special discounts on Elsevier publications and much more. Please click here for more information on our author services.

Please see our Guide for Authors for information on article submission. If you require any further information or help, please visit our Support Center
Elsevier logo with wordmark
About ScienceDirect
Remote access
Shopping cart
Advertise
Contact and support
Terms and conditions

Editor-in-Chief
H. Hong
Dept. of Mathematics, Box 8205, North Carolina State University, 2311 Stinson Drive, Raleigh, North Carolina, NC 27695-8205, USA
Editorial Board
Laurent Bernardin
Waterloo, Ontario, Canada
Alin Bostan
Palaiseau, France
John Cannon
Sydney, Australia
David Cox
Amherst, Massachusetts, USA
Carlos D'Andrea
Barcelona, Spain
Willem de Graaf
Trento, Italy
Wayne Eberly
Calgary, Alberta, Canada
Ioannis Emiris
Athens, Greece
Xiao-Shan Gao
Beijing, China
Vladimir Gerdt
Dubna, Russian Federation
Mark Giesbrecht
Waterloo, Ontario, Canada
Evelyne Hubert
Sophia Antipolis, France
Alexander Hulpke
Fort Collins, Colorado, USA
Tetsuo Ida
Tsukuba, Ibaraki, Japan
Gabriela Jeronimo
Buenos Aires, Argentina
Erich Kaltofen
Raleigh, North Carolina, USA
Deepak Kapur
Albuquerque, New Mexico, USA
Manuel Kauers
Linz, Austria
Wolfram Koepf
Kassel, Germany
George Labahn
Waterloo, Ontario, Canada
Reinhard Laubenbacher
Blacksburg, Virginia, USA
Ziming Li
Beijing, China
Scott McCallum
Sydney, New South Wales, Australia
Michael Monagan
Burnaby, British Columbia, Canada
Bernard Mourrain
Sophia Antipolis, France
Peter Paule
Linz, Austria
Marko Petkovsek
Ljubljana, Slovenia
Goetz Pfeiffer
Galway, Ireland
Tomas Recio
Santander, Spain
Fabrice Rouillier
Paris, France
Mohab Safey El Din
Paris, France
Bruno Salvy
Lyon, France
Josef Schicho
Hagenberg, Austria
Eric Schost
London, Ontario, Canada
Rafael Sendra
Alcalá de Henares, Madrid, Spain
Michael Singer
Raleigh, North Carolina, USA
Adam Strzebonski
Champaign, Illinois, USA
Thomas Sturm
Nancy, France
Agnes Szanto
Raleigh, North Carolina, USA
Gilles Villard
Lyon, France
Dongming Wang
Grenoble, France
Stephen Watt
Waterloo, Ontario, Canada
Doron Zeilberger
Piscataway, New Jersey, USA
Lihong Zhi
Beijing, China