Login / Signup
Carlos Simpson
Publication Activity (10 Years)
Years Active: 2002-2021
Publications (10 Years): 1
Top Topics
Classification Systems
Multi Category
Learning Phase
Structured Output
Top Venues
CoRR
</>
Publications
</>
Carlos Simpson
Learning proofs for the classification of nilpotent semigroups.
CoRR
(2021)
Carlos Simpson
Algebraic cycles from a computational point of view.
Theor. Comput. Sci.
392 (1-3) (2008)
Carlos Simpson
Explaining Gabriel-Zisman Localization to the Computer.
J. Autom. Reason.
36 (3) (2006)
Laurent Chicli
,
Loic Pottier
,
Carlos Simpson
Mathematical Quotients and Quotient Types in Coq.
TYPES
(2002)