scientific article; zbMATH DE number 5859846

zbMATH Open1237.03037MaRDI QIDQ3079693FDOQ3079693

Authors: Philipp Gerhardy 

Publication date: 2 March 2011

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 7178366
• Pebbling and Proofs of Work
• Non-interactive proofs of proof-of-work
• Toward a procedure for data mining proofs
• Proof mining in \(L_{1}\)-approximation
• scientific article; zbMATH DE number 2174396
• Proofs of Work from worst-case assumptions
• Minting mechanism for proof of stake blockchains
• An application of proof mining to nonlinear iterations

zbMATH Keywords

mean ergodic theoremmetastabilityproof mining

Mathematics Subject Classification ID

Ergodic theorems, spectral theory, Markov operators (37A30) Functionals in proof theory (03F10)

Cited In (4)

• Title not available (Why is that?)
• Practical Range Proof for Cryptocurrency Monero with Provable Security
• A functional interpretation for nonstandard arithmetic
• Proof mining and effective bounds in differential polynomial rings

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3079693)