A Formal System for Euclid's Elements.

Jeremy Avigad Edward T. Dean John Mumma

Published in: Rev. Symb. Log. (2009)

Keyphrases

real time
feature selection
decision making
computational intelligence
formal representation
website
three dimensional
image sequences
preprocessing
information technology
management system
description logics