1. |
Greiner-Petter, André.: Making Presentation Math Computable : A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems / by André Greiner-Petter. - 1st ed. 2023.. - Wiesbaden: Springer Fachmedien Wiesbaden, 2023.. - 1 Online-Ressource(XVIII, 197 p. 61 illus., 58 illus. in color. Textbook for German language market.), ISBN 978-3-658-40473-4 DOI: 10.1007/978-3-658-40473-4
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
2. |
Kauers, Manuel: D-Finite Functions / by Manuel Kauers. - Cham: Springer, 2023. - 1 Online-Ressource (X, 664 p. 1 illus.), ISBN 978-3-031-34652-1 (Algorithms and Computation in Mathematics ; 30) DOI: 10.1007/978-3-031-34652-1
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
3. |
Abramovich, Dan: New Techniques in Resolution of Singularities / by Dan Abramovich, Anne Frühbis-Krüger, Michael Temkin, Jarosław Włodarczyk. - Cham: Birkhäuser, 2023.. - 1 Online-Ressource (XX, 326 p. 12 illus., 9 illus. in color.), ISBN 978-3-031-32115-3 (Oberwolfach seminars ; 50) DOI: 10.1007/978-3-031-32115-3
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
4. |
Journal of symbolic computation : an international journal. - Amsterdam: Elsevier, 1985-. - Online-Ressource, ISSN 1095-855X 1.1985 - 47.2012; Vol. 48.2013 -
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource ![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
5. |
Cox, David A.: Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra / by David A. Cox, John Little, Donal O'Shea. - 4th ed. 2015. - Cham [u.a.]: Springer, 2015. - Online-Ressource (XVI, 646 p. 95 illus., 10 illus. in color, online resource), ISBN 978-3-319-16721-3 (Undergraduate Texts in Mathematics) (SpringerLink : Bücher) (Springer eBook Collection) DOI: 10.1007/978-3-319-16721-3
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
6. |
ISSAC <45., 2020, Online>: ISSAC '20: proceedings of the 45th International Symposium on Symbolic and Algebraic Computation : July 20-23, virtually held at Kalamata, Greece / general chairs: Ioannis Z. Emiris, Lihong Zhi ; program chair: Anton Leykin ; proceedings editor: An… . - New York, NY, United States: Association for Computing Machinery, [2020]. - 1 online resource (480 pages), ISBN 978-1-4503-7100-1 (ACM Other conferences) (ACM Digital Library) DOI: 10.1145/3373207
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
7. |
Vasconcelos, Wolmer V.: Computational methods in commutative algebra and algebraic geometry / Wolmer V. Vasconcelos. With chapters by David Eisenbud .... - Berlin ; Heidelberg [u.a.]: Springer, 1998. - XI, 394 S. : graph. Darst., ISBN 978-3-540-60520-1 (Algorithms and computation in mathematics ; 2)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SK 230 V331
|
|
8. |
Zwillinger, Daniel: Handbook of differential equations / Daniel Zwillinger, Vladimir Dobrushkin. - Fourth edition. - Boca Raton ; London ; New York: CRC Press, 2022. - xix, 716 Seiten : Illustrationen, ISBN 978-0-367-25257-1 (Advances in applied mathematics) DOI: 10.1201/9780429286834
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Präsenznutzung
|
|
9. |
Kuhlenkasper, Torben: Einführung in die statistische Auswertung von Experimenten : Theorie und Praxis mit R / Torben Kuhlenkasper, Andreas Handl. - Berlin: Springer Spektrum, [2019]. - 1 Online-Ressource (VIII, 231 Seiten) : Illustrationen, Diagramme, ISBN 978-3-662-59054-6 (Springer eBooks : Life Science and Basic Disciplines) (Springer eBook Collection) DOI: 10.1007/978-3-662-59054-6
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
10. |
Zur Gathen, Joachim von: Modern computer algebra / Joachim von zur Gathen, Jürgen Gerhard. - 3. edition. - Cambridge: Cambridge Univ. Press, 2013. - XIII, 795 Seiten : Illustrationen, ISBN 978-1-107-03903-2
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/ST 315 Z96(3)
|
|
11. |
Cox, David A.: Ideals, varieties, and algorithms : an introduction to computational algebraic geometry and commutative algebra / David A. Cox, John Little, Donal O'Shea. - Fourth edition. - Cham ; Heidelberg ; New York ; Dordrecht ; London: Springer, [2015]. - XVI, 646 Seiten : Illustrationen, Diagramme, ISBN 978-3-319-16720-6 (Undergraduate texts in mathematics) DOI: 10.1007/978-3-319-16721-3
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SK 240 C877(4)
|
|
12. |
Cox, David A.: Ideals, varieties and algorithms : an introduction to computational algebraic geometry and commutative algebra / David Cox; John Little; Donal O'Shea. - New York ; Heidelberg [u.a.]: Springer, 1992. - XI, 513 S : graph. Darst, ISBN 978-0-387-97847-5 (Undergraduate texts in mathematics)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
![Inhaltsverzeichnis](/https/katalog.ub.uni-heidelberg.de/opacicon/text_list_numbers_g.png) Inhaltsverzeichnis: 1, 2
|
Präsenznutzung
|
|
13. |
Some tapas of computer algebra / Arjeh M. Cohen ... (eds.). - Berlin ; Heidelberg [u.a.]: Springer, 1999. - XIV, 352 S : graph. Darst, ISBN 978-3-540-63480-5 (Algorithms and computation in mathematics ; 4)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Präsenznutzung
|
|
14. |
Cox, David A.: Ideals, varieties, and algorithms : an introduction to computational algebraic geometry and commutative algebra / David Cox; John Little; Donal O'Shea. - Corr. 3. print.. - New York ; Heidelberg [u.a.]: Springer, 1992. - XI, 513 S : graph. Darst, ISBN 978-3-540-97847-3 (Undergraduate texts in mathematics)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SK 230 C877(3)
|
|
15. |
Neumann, Robert: Zum Einfluss von Computeralgebrasystemen auf mathematische Grundfertigkeiten : Eine empirische Bestandsaufnahme / von Robert Neumann. - Wiesbaden: Springer Spektrum, 2018. - Online-Ressource (XXII, 187 S. 62 Abb., 11 Abb. in Farbe, online resource), ISBN 978-3-658-18949-5 (SpringerLink : Bücher) (Essener Beiträge zur Mathematikdidaktik) DOI: 10.1007/978-3-658-18949-5
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
16. |
ACM SIGSAM bulletin : a quarterly publ. of the Special Interest Group on Symbolic and Algebraic Manipulation / Association for Computing Machinery. - New York, NY: ACM, 1967-2005. - Online-Ressource Nachgewiesen Nr. 8.1967 - 28.1973; 8.1974 - 39.2005 = Nr. 29-154
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource ![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
17. |
Mathematics of computation / American Mathematical Society. - Providence, RI: Soc., 1960-. - Online-Ressource, ISSN 1088-6842 14.1960=Nr. 69 -
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource ![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
18. |
Algorithmic algebra and number theory : selected papers from a conference, held at the University of Heidelberg in October 1997 / B. Heinrich Matzat ... (ed.). - Berlin ; Heidelberg: Springer, 1999. - VIII, 434 S. : graph. Darst., ISBN 978-3-540-64670-9
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
![Inhaltsverzeichnis](/https/katalog.ub.uni-heidelberg.de/opacicon/text_list_numbers_g.png) Inhaltsverzeichnis: 1, 2
|
Signatur: UBN/SK 180 M446
|
|
19. |
Derksen, Harm: Computational Invariant Theory / by Harm Derksen, Gregor Kemper. - 2nd ed. 2015. - Berlin ; Heidelberg ; New York ; Dordrecht ; London: Springer, 2015. - Online-Ressource (XXII, 366 p. 13 illus. in color, online resource), ISBN 978-3-662-48422-7 (Encyclopaedia of Mathematical Sciences) (SpringerLink : Bücher) DOI: 10.1007/978-3-662-48422-7
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
20. |
Computer Algebra in Scientific Computing : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. - Cham: Springer, 2016. - Online-Ressource (XIII, 513 p. 61 illus, online resource), ISBN 978-3-319-45641-6 (Lecture Notes in Computer Science ; 9890) (Theoretical Computer Science and General Issues ; 9890) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-45641-6
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|