The Collection of
Computer Science Bibliographies

Bibliography of the "Journal of Symbolic Computation"

[   About   |  Browse   |   Statistics   ]

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

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

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

Browsing the bibliography

Bibliographic Statistics

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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!