Degenne, R., Ledvinka, D., Marion, E., & Pfaffelhuber, P. (2025). Formalization of Brownian motion in Lean.
Style de citation Chicago (17e éd.)Degenne, Rémy, David Ledvinka, Etienne Marion, et Peter Pfaffelhuber. Formalization of Brownian Motion in Lean. 2025.
Style de citation MLA (9e éd.)Degenne, Rémy, et al. Formalization of Brownian Motion in Lean. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.