Login / Signup
Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets.
Sylvain Carré
Franck Gabriel
Clément Hongler
Gustavo Lacerda
Gloria Capano
Published in:
CoRR (2021)
Keyphrases
</>
multi agent
smart grid
mathematical proofs
distributed systems
electronic commerce
theorem prover
theorem proving
smart environments