Login / Signup
Formalizing Free Groups in Isabelle/HOL: The Nielsen-Schreier Theorem and the Conjugacy Problem.
Aabid Seeyal Abdul Kharim
T. V. H. Prathamesh
Shweta Rajiv
Rishi Vyas
Published in:
CICM (2023)
Keyphrases
</>
theorem prover
natural deduction
intuitionistic logic
first order logic
inference rules
theorem proving
higher order logic
artificial neural networks
neural network
data mining
artificial intelligence
data structure
control system
hidden markov models
higher order
cut elimination