Hervé Guiol

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 3

Top Topics

First Order Logic

Directional Derivatives

Top Venues

Arch. Formal Proofs

J. Autom. Reason.

Publications

Marie Cousin, Mnacho Echenim, Hervé Guiol
The Hahn and Jordan Decomposition Theorems. Arch. Formal Proofs 2021 (2021)
Mnacho Echenim, Hervé Guiol, Nicolas Peltier
Formalizing the Cox-Ross-Rubinstein Pricing of European Derivatives in Isabelle/HOL. J. Autom. Reason. 64 (4) (2020)
Mnacho Echenim, Hervé Guiol, Nicolas Peltier
Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL. CoRR (2018)