Bibliography · Foundations and Logic

Modern Computer Algebra

Book Formal Antecedent Foundations and Logic

Citation

Joachim von zur Gathen and Jürgen Gerhard. (2013). Modern Computer Algebra. Cambridge University Press.

Why this reference is included

Gathen and Gerhard’s Modern Computer Algebra (2013) is part of the program’s reference corpus, acknowledged as a formal antecedent in Foundations and Logic whose structures inform the framework’s vocabulary. It is retained in the corpus for completeness, though it is not directly cited in the currently published volumes of Panta Rhei.

Corpus status

In the corpus only This reference is part of the research corpus but is not directly cited in the currently published volumes of Panta Rhei.

Bibliographic Details

BibTeX KeyVonZurGathenGerhard2013
AuthorsJoachim von zur Gathen and Jürgen Gerhard
Year
TypeBook
PublisherCambridge University Press
Edition3rd