Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL.

Angeliki Koutsoukou-Argyraki Wenda Li Lawrence C. Paulson

Published in: CoRR (2021)

Keyphrases

theorem prover
natural deduction
theorem proving
multi criteria
evaluation criteria
first order logic
higher order logic
selection criteria
inference rules
multiple criteria
evolutionary algorithm
multiscale
formal methods
machine learning
data mining
cut elimination
database