A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences

Autor:	Philipp Nuspl, Veronika Pillwein
Rok vydání:	2022
Zdroj:	Computer Algebra in Scientific Computing ISBN: 9783031147876
DOI:	10.1007/978-3-031-14788-3_15
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f750dad461d5a2ae31c4a48dae00ff70 https://doi.org/10.1007/978-3-031-14788-3_15 Zobrazit plný text záznamu