mPoW: How to Make Proof of Work Meaningful.

Takaki Asanuma Takanori Isobe

Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2023)

Keyphrases

theorem prover
theorem proving
higher level
geometry theorem proving
linear logic
database
data structure
cooperative
preprocessing
expert systems
evolutionary algorithm
multiresolution
proof theory
proof search