The Collection of
Computer Science Bibliographies
Up: Bibliographies on Theory/Foundations of Computer Science Collection Home

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

Search the bibliography

Help on: [ Syntax | Options | Compression of results | Improving your query | Query examples ]
Boolean operators:and and or. Use () to group subexpressions.
Query:
Options:      
Results:       compress results (in case of low bandwidth)
Return a maximum of references.

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

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>.

This page is part of the Computer Science Bibliography Collection.
Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.