Advanced search
Publication Cover
Experimental Mathematics Volume 31, 2022 - Issue 2
Submit an article Journal homepage
978
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]
ORCID Iconhttps://orcid.org/0000-0002-8886-5281
ORCID Icon,
Wenda LiComputer Laboratory, University of Cambridge, 15 JJ Thomson Avenue, CambridgeCB3 0FD, UKORCID Iconhttps://orcid.org/0000-0002-9886-9542
ORCID Icon &
Lawrence C. PaulsonComputer Laboratory, University of Cambridge, 15 JJ Thomson Avenue, CambridgeCB3 0FD, UKORCID Iconhttps://orcid.org/0000-0003-0288-4279
ORCID Icon
Pages 401-412 | Published online: 21 Oct 2021

Figures & data

This paper does not have figures.

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.