Type: | [any] [Papers] [Theses] [Technical Reports] [Other] |
Author: | [any] [Ablinger] [Paule] [Kauers] [Koutschan] [Pillwein] [Radu] [Schneider] |
Year: | [any] [2024] [2023] [2022] [2021] [2020] [2019] [earlier] |
Complex Analysis Based Computer Algebra Algorithms for Proving Jacobi Theta Function Identities. RISC and the DK program Linz. PhD Thesis. 2017. Updated version in June 2017. [pdf] [bib] |