scientific article; zbMATH DE number 5859846

zbMATH Open1237.03037MaRDI QIDQ3079693FDOQ3079693

Authors Philipp Gerhardy

Publication date 2 March 2011

zbMATH Keywords

mean ergodic theoremmetastabilityproof mining

Mathematics Subject Classification ID

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

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

Cited in

(4)

• Proof mining and effective bounds in differential polynomial rings
• scientific article; zbMATH DE number 2174396 (Why is no real title available?)
• Practical Range Proof for Cryptocurrency Monero with Provable Security
• A functional interpretation for nonstandard arithmetic

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)