Remote Verification System for Mizar Integrated with Emwiki.

Toshiki Kai Yuta Teruya Kazuhisa Nakasho

Published in: CICM (2024)

Keyphrases

model checking
computer assisted
databases
integrating multiple
database
search engine
decision making
three dimensional
search algorithm
face verification
verification method