Journal of Symbolic Computation [SEP] publisher
Journal of Symbolic Computation
The Journal of Symbolic Computation is a peer-reviewed monthly scientific journal covering all aspects of symbolic computation published by Academic Press and then by Elsevier. It is targeted to both mathematicians and computer scientists. It was established in 1985 by Bruno Buchberger, who served as its editor until 1994.
The journal covers a wide variety of topics, including:
- Computer algebra, for which it is considered the top journal
- Computational geometry
- Automated theorem proving
- Applications of symbolic computation
Higher-Order and Symbolic Computation
Higher-Order and Symbol Computation (formerly LISP and Symbolic Computation; print: , online: ) is a computer science journal published by Springer Science+Business Media. It focusses on programming concepts and abstractions and programming language theory.
Editors.
Former editors-in-chief of the journal have been:
- Richard P. Gabriel, Sun Microsystems, Inc., USA (1988 – 1991)
- Guy L. Steele Jr., Sun Microsystems, Inc., USA (1988 – 1991)