Login / Signup
Gloria Capano
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 2
Top Topics
Smart Environments
Information Gathering
Theorem Prover
Top Venues
CoRR
Distributed Ledger Technol. Res. Pract.
</>
Publications
</>
Sylvain Carré
,
Franck Gabriel
,
Clément Hongler
,
Gustavo Lacerda
,
Gloria Capano
Smart Proofs via Recursive Information Gathering: Decentralized Refereeing by Smart Contracts.
Distributed Ledger Technol. Res. Pract.
3 (1) (2024)
Sylvain Carré
,
Franck Gabriel
,
Clément Hongler
,
Gustavo Lacerda
,
Gloria Capano
Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets.
CoRR
(2021)