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

Angeliki Koutsoukou-Argyraki Wenda Li Lawrence C. Paulson

Published in: Exp. Math. (2022)

Keyphrases

theorem prover
natural deduction
inference rules
theorem proving
multiple criteria
selection criteria
higher order logic
evaluation criteria
database
data sets
neural network
machine learning
decision trees
multiscale
artificial neural networks
multi criteria