Search dblp for Publications

export results for "stream:series/tmsc:"

 download as .bib file

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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.