On algebraic hierarchies in mathematical repository of Mizar.
Adam GrabowskiArtur KornilowiczChristoph SchwarzwellerPublished in: FedCSIS (2016)
Keyphrases
- mathematical theory
- computer algebra
- computer assisted
- digital libraries
- metadata
- hierarchical structure
- data sets from uci
- higher order
- computer science
- artificial intelligence
- relational databases
- website
- mathematical models
- hierarchical structures
- multimedia
- mathematical modeling
- mathematical knowledge
- algebraic expressions
- machine learning