Trapdoor proof of work.

Vittorio Capocasale

Published in: PeerJ Comput. Sci. (2024)

Keyphrases

theorem proving
database
mathematical proofs
real time
data sets
machine learning
artificial intelligence
social networks
image segmentation
preprocessing
wireless sensor networks
theorem prover
automated theorem proving
complete axiomatization
geometry theorem proving