The Communications in Computer Algebra
encourages writers to submit articles for timely
formally reviewed publication on the topic of
Symbolic Mathematical Computation, including
Papers intended for formal review should be submitted to the Editor
Chief or Editor for Formally Reviewed Articles, preferably by electronic
mail, in the form of a source file written in LaTeX2e and using the SIGSAM
LaTeX style file. Papers should be written in English, and authors are urged to
make a strong attempt to remove spelling and grammatical errors that might
confuse the reviewers.
A more complete description of the editorial policy for formally reviewed may be found here.