Call for Papers

Journal of Symbolic Computation

Special Issue:

ICMS 2002 (The First International Congress of Mathematical Software, 2002)

Guest Editors: Arjeh M. Cohen & Xiao-Shan Gao & Nobuki Takayama


The special issue is related to topics discussed in the context of the ICMS 2002 (the first International Congress of Mathematical Software) in August 2002 in Beijing, China. We invite any work that substantially extends ideas and topics presented there and attracts readers of Journal of Symbolic Computation.

AIM

The preface below of our proceedings will tell you the spirit of this volume.

Mathematics has a wide variety of branches. Despite this, we in the first International Congress of Mathematical Software believe that mathematics is fundamentally just one thing. Algebra, geometry and analysis are examples of separate specialities within mathematics, and of course we consider each of them valuable and hence study them. But we take the view that any branch of mathematics can borrow freely from these specialities. It is often worth while delving into them for ideas that might lead to fundamental new discoveries. The same can be said of mathematical software systems: the study of mathematical software is a coherent whole. We believe that the appearance of mathematical software is one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. Conversely, mathematical research often motivates developments of new algorithms and new systems. Beyond mathematics, mathematical software systems are becoming indispensable tools in many branches of science and technology. The development of mathematical software systems relies on the cooperation of mathematicians, algorithm designers, programmers, and the feedback from users. The main audiences of this conference are mathematical software developers and programming mathematicians, but we also intend to provide an opportunity to discuss these topics with mathematicians and users from application areas.

TOPICS

Topics include but are not limited to:

  1. Software engineering problems for mathematical software
  2. Mathematics and media (including user interfaces)
  3. Mathematics related to mathematical software (experiments, algorithms)
  4. High performance computing
  5. Applications of mathematical software
Since ICMS 2002 has a wider scope than the JSC, please note that the subject of a submitted paper should be attractive to readers of JSC. If it is not clear, editors will ask this question to the author. If the answer is understandable, we will referee the paper. If not, we will reject the paper by the reason of "out of scope", no matter their quality.

Submission Guidelines

Authors are invited to submit full papers in JSC format describing original results not published elsewhere. The submission should contain a scholarly exposition of ideas, techniques, and results, including motivations and a clear comparison with the ICMS 2002 work to expose the extensions of ideas and the novelties. Papers shall be submitted electronically by sending an e-mail to at Nobuki Takayama (takayama@math.kobe-u.ac.jp), with header "JSC SPECIAL ISSUE SUBMISSION", containing as attachments the file of the paper in postscript format. We require the usage of LaTeX, according to the JSC format and style files (the Elsevier Journal Style files with "Harvard style (author year) references") (see http://www.elsevier.com/locate/latex). The Postscript form must be interpretable by Ghostscript, and must use standard fonts, or include the necessary fonts. Authors who cannot meet these requirements should email the guest editors.

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

To aid planning and organization, we would appreciate an email of intent to submit a paper as early as possible.

Important Dates

Submission of papers:
Notification of acceptance/rejection:
Submission of revised versions:
January 13, 2003
March 31, 2003 (June 30, 2003 in a new schedule)
June 30, 2003 (July 31 or August 31, 2003 in a new schedule)

Guest Editors' Addresses

  1. Arjeh M. Cohen (Department of Mathematics, Technische Universiteit Eindhoven, Netherland)
  2. Xiao-Shan Gao (Chinese Academy of Sciences, China)
  3. Nobuki Takayama (Department of Mathematics, Kobe University, Japan)

JSC Editor's Web Page: http://www.math.ncsu.edu/~hong/jsc.htm