@Bibtex-file{Theory/jsc.bib,
  title =        "Bibliography of the {"}Journal of Symbolic
                 Computation{"}",
  readme =       "Journal of Symbolic Computation",
  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",
}