Formalization of a stochastic approximation theorem

From MaRDI portal

Revision as of 17:28, 13 February 2025 by Import250213030230 (talk | contribs) (Created automatically from import250213030230)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6572573

Jump to:navigation, search

DOI10.4230/LIPICS.ITP.2022.31MaRDI QIDQ6572573FDOQ6572573

Avraham Shinnar, Barry Trager, Vasily Pestun, Koundinya Vajjha

Publication date: 15 July 2024

zbMATH Keywords

stochastic processes stochastic approximation probability theory optimization algorithms formal verification

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Formalization of a stochastic approximation theorem

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6572573&oldid=40111448"