Search CORE

81 research outputs found

Higher-order theories

Author: Maggesi Marco
Publication venue
Publication date: 01/01/2007
Field of study

Florence Research

A symbolic approach to abstract algebra in HOL Light

Author: Maggesi Marco
Publication venue
Publication date: 01/01/2015
Field of study

Florence Research

A Formalization of Metric Spaces in HOL Light

Author: Maggesi Marco
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 31/03/2017
Field of study

Florence Research

Universal Algebra in UniMath

Author: Maggesi Marco
Perini Brogi Cosimo
Publication venue
Publication date: 01/01/2021
Field of study

Florence Research

Formalizing basic quaternionic analysis

Author: Gabrielli Andrea
Maggesi Marco
Publication venue: Springer
Publication date: 01/01/2017
Field of study

Florence Research

…

core

core