vix.ing · top · new · best · stats · spec

David Ledvinka

  1. Formalization of Brownian motion in Lean
    2025/11/25 by Rémy Degenne, David Ledvinka, Degenne, Rémy +5 · 1 citation
    Computer Science · Mathematics · #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic, Reasoning, and Knowledge #Mathematical and Theoretical Analysis #Probability (math.PR)