Philipp Nuspl, DI.

Publications

	A. Jimenez-Pastor, P. Nuspl, V. Pillwein. An extension of holonomic sequences: $C^2$-finite sequences. Journal of Symbolic Computation 116, pp. 400-424. 2023. ISSN: 0747-7171. [bib]
	P. Nuspl. Algorithms for linear recurrence sequences. Johannes Kepler University Linz. PhD Thesis. 2023. [pdf] [bib]
	M. Kauers, P. Nuspl, V. Pillwein. Order bounds for $C^2$-finite sequences. In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, A.Dickenstein, E. Tsigaridas and G. Jeronimo (ed.), ISSAC '23, Tromso{}, Norway , pp. 389-397. July 2023. Association for Computing Machinery, New York, NY, USA, 9798400700392}. [url] [bib]
	P. Nuspl, V. Pillwein. Simple $C^2$-finite Sequences: a Computable Generalization of $C$-finite Sequences. Technical report no. 22-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. February 2022. [url] [pdf] [bib]
	P. Nuspl. $C$-finite and $C^2$-finite Sequences in SageMath. Technical report no. 22-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2022. [url] [pdf] [bib]
	P. Nuspl, V. Pillwein. A comparison of algorithms for proving positivity of linearly recurrent sequences. Technical report no. 22-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 2022. [url] [pdf] [bib]
	P. Nuspl, V. Pillwein. Simple $C^2$-finite Sequences: a Computable Generalization of $C$-finite Sequences. In: ISSAC '22: Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation, Marc Moreno Maza, Lihong Zhi (ed.), pp. 45-53. 2022. Association for Computing Machinery, ISBN: 978-1-4503-8688-3. [url] [bib]
	P. Nuspl. $C$-finite and $C^2$-finite Sequences in SageMath. July 6 2022. Lille, France. Software presentation at ISSAC'22. [bib]
	P. Nuspl, V. Pillwein. A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences. In: Computer Algebra in Scientific Computing, Boulier, Francois and England, Matthew and Sadykov, Timur M. and Vorozhtsov, Evgenii V. (ed.), Proceedings of CASC 2022, LNCS 13366, pp. 268-287. 2022. Springer International Publishing, ISBN: 978-3-031-14788-3. [bib]
	Antonio Jiménez-Pastor, Philipp Nuspl, Veronika Pillwein. On C2-Finite Sequences. In: Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation, Frédéric Chyzak, George Labahn (ed.), ISSAC '21 , pp. 217-224. 2021. Association for Computing Machinery, New York, NY, USA, ISBN 9781450383820. [url] [bib]
	Antonio Jiménez-Pastor, Philipp Nuspl, Veronika Pillwein. An extension of holonomic sequences: C^2-finite sequences. Technical report no. 21-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2021. [url] [pdf] [bib]