Hervé Guiol

Orcid: 0000-0003-4293-6221

According to our database¹, Hervé Guiol authored at least 2 papers between 2020 and 2021.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2021

The Hahn and Jordan Decomposition Theorems.

[DOI]

Arch. Formal Proofs, 2021

2020

Formalizing the Cox-Ross-Rubinstein Pricing of European Derivatives in Isabelle/HOL.

[DOI]

J. Autom. Reason., 2020