Search dblp for Publications

export results for "stream:streams/series/tmsc:"

 download as .bib file

@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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics