Call for Papers

Journal of Symbolic Computation

Special Issue on

Groebner Bases and Applications

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

Aim

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.

Scope

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 arnoldea@math.jmu.edu

Ilias S. Kotsireas Wilfrid Laurier University Department of Physics and Computer Science Waterloo, Ontario N2L 3C5 Canada ikotsire@wlu.ca

Markus Rosenkranz Johann Radon Institute for Computational and Applied Mathematics (RICAM) Austrian Academy of Sciences (ÖAW) markus.rosenkranz@oeaw.ac.at