A Topological Proof for a Version of Artin's Induction Theorem.
Müge SaadetogluPublished in: Symmetry (2022)
Keyphrases
- interactive theorem proving
- proof planning
- digital topology
- proof search
- theorem proving
- theorem prover
- constructive induction
- linear logic
- machine learning
- databases
- artificial intelligence
- feature selection
- inductive learning
- concept learning
- real time
- topological properties
- information retrieval
- topological spaces
- intuitionistic logic
- data sets