Call for Papers

Journal of Symbolic Computation

Special Issue on

Groebner Bases and Applications

Guest Editors: Elizabeth Arnold, Ilias S. Kotsireas, Markus Rosenkranz


As a follow-up of the ACA 2008 session on Groebner Bases and Applications and on the occasion of the ACM Kanellakis Award given to Bruno Buchberger for the invention and development of the theory of Groebner bases and its applications, JSC plans to edit a special issue devoted to Groebner Bases and their Applications. The special issue will be dedicated to Professor Bruno Buchberger, Founding Editor-in-Chief of the Journal of Symbolic Computation.

The special issue is meant to contain, but not limited to, selected papers presented at the session on Groebner Bases and Applications organized at the ACA 2008 conference held in RISC-Linz, Austria.


Possible topics of applications, within this scope, include but are not limited to:
  • GB in program verification
  • GB in origami
  • GB in combinatorial design theory
  • GB in computer aided design
  • GB in solid modeling
  • GB in mathematics
  • GB in logic
  • GB in education
  • GB in geometrical theorem proving
  • GB in integer programming
  • GB in sciences and engineering
  • elimination theory
  • computational commutative algebra
  • multivariate polynomial ideal theory
  • solving systems of algebraic equations
  • Algorithms for computing GB's
  • GB for improving oil drilling platforms
  • GB for guessing "missing links" in palaeontology
  • GB in cryptography (code breaking)
  • GB in software engineering (automated inductive assertion generation)
  • GB for sudoku

Submission Guidelines

Papers must be submitted by e-mail to the one of the three guest editors.

All submissions will be acknowledged by an official e-mail from one of the three guest editors.

Papers should be up to 15 page long, using the Elsevier LaTeX stylefile elsart.cls. Authors are therefore encouraged to be as concise as possible.

   * The introduction of the paper
     MUST explicitly address the following questions
     in succinct and informal manner:

      - What is the problem?  (address the general audience, not a chemist)
      - Why is the problem important?
      - What has been done so far on the problem?
      - What is the main contribution of the paper on the problem?
      - Is the contribution original?     Explain why.
      - Is the contribution non-trivial?  Explain why.

   * All the main definitions, theorems and algorithms must be
     illustrated by simple but meaningful examples.

   Without these, the paper will not be considered.


All submitted papers will be refereed according to the usual JSC refereeing process.

Important Dates

Submission of papers:
Notification of acceptance/rejection:
Delivery of final LaTeX file:
Publication of special issue:
January 31, 2009
December 31, 2009
January 31, 2010
Spring 2010

Guest Editors' Addresses

Elizabeth Arnold
James Madison University
Department of Mathematics
and Statistics
Harrisonburg, VA 22807, USA
Ilias S. Kotsireas
Wilfrid Laurier University
Department of Physics
and Computer Science
Waterloo, Ontario N2L 3C5 Canada
Markus Rosenkranz
Johann Radon Institute for Computational
and Applied Mathematics (RICAM)
Austrian Academy of Sciences (ÖAW)

back to JSC Editors Web Page