Vol. 11 No. 1 (2018)

Articles

• Dependent Types for Extensive Games

  Pierre Lescanne

  1 - 17

  • PDF

• A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision

  Anthony Joseph Narkawicz, Cesar Munoz, Aaron M. Dutle

  19 - 41

  • PDF

• Formalization Techniques for Asymptotic Reasoning in Classical Analysis

  Reynald Affeldt, Cyril Cohen, Damien Rouhling

  43 - 76

  • PDF