Vol. 1 No. 1 (2008)

Articles

• A Page in Number Theory

  Andrea Asperti, Cristian Armentano

  1-23

  • PDF

• Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator

  Concepción Vidal, Felicidad Aguado, José Luis Doncel, Jose María Molinelli, Gilberto Perez

  25-37

  • PDF

• A Formalization of Newman's and Yokouchi's Lemmas in a Higher-Order Language

  Andre Luiz Galdino, Mauricio Ayala-Rincón

  39-50

  • PDF

• A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita

  Claudio Sacerdoti Coen, Enrico Tassi

  51-89

  • PDF