Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] ignoring convergence issues

Email Gateway (Aug 22 2022 at 17:52):

From: José Manuel Rodriguez Caballero <josephcmac@gmail.com>
Hello. Which library could be the best one to work with formal power
series, ignoring convergence issues and focusing in formal manipulations?

Also, I wonder is there is a formalization in Isabelle of the so-called
Pentagonal number theorem:
https://en.wikipedia.org/wiki/Pentagonal_number_theorem

Thank you in advance,
Jose M.

Last updated: Apr 26 2024 at 08:19 UTC