Sign in
Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341).
Andrej Bauer
Martín Hötzel Escardó
Peter LeFanu Lumsdaine
Assia Mahboubi
Published in:
Dagstuhl Reports (2018)
Keyphrases
</>
computer algebra
theoretical framework
knowledge representation
formal logic
computer science
formal model
theoretical basis
formal theory
data sets
feature selection
theoretical foundation
general theory
mathematical theory