Experimental Mathematics
Volume 31, 2022 - Issue 2
Open access
982
Views
0
CrossRef citations to date
0
Altmetric
Interactive Theorem Provers
Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL
Angeliki Koutsoukou-ArgyrakiComputer Laboratory, University of Cambridge, 15 JJ Thomson Avenue, CambridgeCB3 0FD, UKCorrespondence[email protected]
https://orcid.org/0000-0002-8886-5281
Wenda LiComputer Laboratory, University of Cambridge, 15 JJ Thomson Avenue, CambridgeCB3 0FD, UK
https://orcid.org/0000-0002-9886-9542
Lawrence C. PaulsonComputer Laboratory, University of Cambridge, 15 JJ Thomson Avenue, CambridgeCB3 0FD, UK
https://orcid.org/0000-0003-0288-4279
Pages 401-412
|
Published online: 21 Oct 2021
Reprints and Permissions
Permission is granted subject to the terms of the License under which the work was published. Permission will be required if your reuse is not covered by the terms of the License.
To request a reprint or commercial or derivative permissions for this article, please click on the relevant link below.
For more information please visit our Permissions help page.
Related research
People also read lists articles that other readers of this article have read.
Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.
Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.