Call for Papers: Journal of Symbolic Computation Special Issue
on the theme of the Milestones in Computer Algebra (MICA
2016) workshop
(Text Version)
Following the success of the Milestones in
Computer Algebra (MICA 2016) workshop, as well as the
discussions and developments afterwards, we are soliciting papers for a
special issue of the Journal
of Symbolic Computation on the theme of the
conference.
Issue scope
This invitation is extended to any researcher interested in the theme of
MICA 2016, which includes but is not limited to:
- Hybrid symbolic-numeric computation
- Exact linear algebra
- Algebraic complexity
- Polynomial factorization
- Sparse interpolation
The MICA 2016 acknowledged the research achievements of Erich L. Kaltofen
(North Carolina State University, USA), who has played a crucial role in
the formation and development of many of the key computer algebra
sub-disciplines presented in the workshop.
Important dates
- Papers (in pdf format) must be submitted by email to
mica2016workshop@gmail.com before July 1, 2018 (Note the extended deadline).
- To facilitate a timely referee procedure, we would appreciate an
email
or a letter of intent to submit a paper (including author information,
tentative title and abstract, estimated page number, etc.) as early as
possible.
- Notification: Summer 2018 (expected).
Submission guideline
- Please prepare your paper by using the JSC style files, which can be
obtained from http://www.math.ncsu.edu/~hong/jsc/JSC_LaTex.zip.
- Submitted papers should follow the guideline (see the instruction at
the end).
- All the papers will be refereed according to the JSC standards.
Guest editors
Instruction of the paper
Must explicitly address the following questions in succinct and informal
manner:
- What is the problem?
- 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?
- Why is the contribution original?
- Why is the contribution non-trivial?
Make it complete (since there is no page limit):
- All the related works and issues must be completely and carefully
discussed.
- All the previous relevant JSC papers must be properly cited and
discussed.
- All the theorem must be rigorously proved (no sketch allowed).
- All the important definitions/theorems/algorithms must be illustrated
by well chosen examples.
More information: