@book{DBLP:series/tmsc/Schreiner23, author = {Wolfgang Schreiner}, title = {Concrete Abstractions - {A} Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria}, series = {Texts {\&} Monographs in Symbolic Computation}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-24934-1}, doi = {10.1007/978-3-031-24934-1}, isbn = {978-3-031-24933-4}, timestamp = {Fri, 14 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/tmsc/Schreiner23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @book{DBLP:series/tmsc/Melczer21, author = {Stephen Melczer}, title = {Algorithmic and Symbolic Combinatorics - {A} Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria}, series = {Texts {\&} Monographs in Symbolic Computation}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-67080-1}, doi = {10.1007/978-3-030-67080-1}, isbn = {978-3-030-67079-5}, timestamp = {Tue, 12 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/tmsc/Melczer21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @book{DBLP:series/tmsc/Schreiner21, author = {Wolfgang Schreiner}, title = {Thinking Programs - {A} Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria}, series = {Texts {\&} Monographs in Symbolic Computation}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-80507-4}, doi = {10.1007/978-3-030-80507-4}, isbn = {978-3-030-80506-7}, timestamp = {Mon, 25 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/tmsc/Schreiner21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @book{DBLP:series/tmsc/Ida20, author = {Tetsuo Ida}, title = {An Introduction to Computational Origami - {A} Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria}, series = {Texts {\&} Monographs in Symbolic Computation}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-319-59189-6}, doi = {10.1007/978-3-319-59189-6}, isbn = {978-3-319-59188-9}, timestamp = {Fri, 21 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/tmsc/Ida20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @book{DBLP:series/tmsc/KrasilshchikVV17, author = {Joseph Krasil'shchik and Alexander Verbovetsky and Raffaele Vitolo}, title = {The Symbolic Computation of Integrability Structures for Partial Differential Equations}, series = {Texts {\&} Monographs in Symbolic Computation}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-71655-8}, doi = {10.1007/978-3-319-71655-8}, isbn = {978-3-319-71654-1}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/tmsc/KrasilshchikVV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @book{DBLP:series/tmsc/Schwarz12, author = {Fritz Schwarz}, title = {Loewy Decomposition of Linear Differential Equations}, series = {Texts {\&} Monographs in Symbolic Computation}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-7091-1286-1}, doi = {10.1007/978-3-7091-1286-1}, isbn = {978-3-7091-1285-4}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/tmsc/Schwarz12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @book{DBLP:series/tmsc/KauersP11, author = {Manuel Kauers and Peter Paule}, title = {The Concrete Tetrahedron - Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates}, series = {Texts {\&} Monographs in Symbolic Computation}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-7091-0445-3}, doi = {10.1007/978-3-7091-0445-3}, isbn = {978-3-7091-0444-6}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/tmsc/KauersP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @book{DBLP:series/tmsc/Sturmfels08, author = {Bernd Sturmfels}, title = {Algorithms in Invariant Theory}, series = {Texts {\&} Monographs in Symbolic Computation}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-211-77417-5}, doi = {10.1007/978-3-211-77417-5}, isbn = {978-3-211-77416-8}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/tmsc/Sturmfels08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @book{DBLP:series/tmsc/Ben-IsraelG02, author = {Adi Ben{-}Israel and Robert Gilbert}, title = {Computer-Supported Calculus}, series = {Texts {\&} Monographs in Symbolic Computation}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-7091-6146-3}, doi = {10.1007/978-3-7091-6146-3}, isbn = {978-3-7091-7230-8}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/tmsc/Ben-IsraelG02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @book{DBLP:series/tmsc/Wang01, author = {Dongming Wang}, title = {Elimination Methods}, series = {Texts {\&} Monographs in Symbolic Computation}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/978-3-7091-6202-6}, doi = {10.1007/978-3-7091-6202-6}, isbn = {978-3-211-83241-7}, timestamp = {Tue, 19 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/tmsc/Wang01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @book{DBLP:series/tmsc/Winkler96, author = {Franz Winkler}, title = {Polynomial Algorithms in Computer Algebra}, series = {Texts {\&} Monographs in Symbolic Computation}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/978-3-7091-6571-3}, doi = {10.1007/978-3-7091-6571-3}, isbn = {978-3-211-82759-8}, timestamp = {Fri, 08 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/tmsc/Winkler96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @book{DBLP:books/daglib/0074585, author = {Wu Wen{-}Ts{\"{u}}n}, title = {Mechanical Theorem Proving in Geometries - Basic Principles}, series = {Texts {\&} Monographs in Symbolic Computation}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/978-3-7091-6639-0}, doi = {10.1007/978-3-7091-6639-0}, isbn = {978-3-211-82506-8}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0074585.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }