Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description).
Cyril CohenKazuhiko SakaguchiEnrico TassiPublished in: FSCD (2020)
Keyphrases
- multimedia
- hierarchical structure
- hierarchically organized
- hierarchical structures
- high level
- abstraction hierarchy
- structured representation
- formal methods
- e learning
- real world
- neural network
- learning algorithm
- similarity measure
- learning environment
- genetic algorithm
- machine learning
- data mining
- hierarchical organization
- database