Sommaire

Dependent Types for Extensive Games

Lescanne, Pierre

Link
Link


Journal of Formalized Reasoning
A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision

Narkawicz, Anthony Joseph ; Munoz, Cesar ; Dutle, Aaron M.

Link
Link


Journal of Formalized Reasoning
Formalization Techniques for Asymptotic Reasoning in Classical Analysis

Affeldt, Reynald ; Cohen, Cyril ; Rouhling, Damien

Link
Link


Journal of Formalized Reasoning