Introducing Euclidean Relations to Mizar.

Adam Naumowicz Artur Kornilowicz

Published in: FedCSIS (2017)

Keyphrases

euclidean distance
semantic relations
neural network
website
expert systems
computer assisted
euclidean space
temporal relations
machine learning
information systems
decision trees
case study
evolutionary algorithm