The Collection of
Computer Science Bibliographies

Bibliography of the "Journal of Symbolic Computation"

Number of references:	924	Last update:	March 24, 2000
Number of online publications:	0	Supported:	Unknown
Most recent reference:	September 1999

Keywords:: Computer algebra; Automated theorem proving; Automatic programming and algorithmic geometry, with emphasis on the mathematical; foundation, correctness, and complexity of new sequential and parallel algorithms for symbolic computation; Descriptions of working software systems for symbolic computation; General design principles for symbolic software systems and applications of such systems for advanced problem-solving
Author Comments:: Journal of Symbolic Computation

Original source:

http://www4.ncsu.edu... (Format: bibtex)
Other sites:

http://www.risc.uni-linz.ac.at... (Format: bibtex)

Types:: article(924)
Fields:: journal(924), month(924), number(924), title(924), volume(924), year(924), author(923), pages(921), keywords(210), note(2)
Distribution of publication dates: