Keyphrases
- computer algebra
- natural deduction
- automated theorem proving
- real world
- general theory
- theoretical foundation
- theoretical framework
- data sets
- clustering algorithm
- multiscale
- knowledge base
- search engine
- decision theory
- artificial intelligence
- formal theory
- genetic algorithm
- machine learning
- algebraic structure
- sequent calculus