Formalization of real analysis: a survey of proof assistants and libraries von BOLDO, SYLVIE, LELAY, CATHERINE, MELQUIOND, GUILLAUME

Volltext

Coquelicot: A User-Friendly Library of Real Analysis for Coq von Boldo, Sylvie, Lelay, Catherine, Melquiond, Guillaume

Volltext

Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée von Lelay, Catherine

Volltext bestellen

Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives von Boldo, Sylvie, Lelay, Catherine, Melquiond, Guillaume

Volltext

Potentiels et leviers pour développer la production et l’utilisation des protéagineux dans le cadre d’une agriculture durable en Bourgogne von Duc, Gérard, Blancard, Stéphane, Hénault, Catherine, Lecomte, Christophe, Petit, Marie-Sophie, Bernicot, Marie-Hélène, Bizouard, Florian, Blanc, Nicolas, Blondon, Alain, Blosseville, Nicolas, Bonnin, Éric, Bois, Benoît, Castel, Thierry, Challan-Belval, Christine, Coulon, Chantal, Delattre, Marie, Deytieux, Violaine, Dobrecourt, Jean-François, Dumas, Michel, Geloen, Michel, Humeau, Frédéric, Huot, Élodie, Jeuffroy, Marie-Hélène, Killmayer, Michel, Larmure, Annabelle, Lelay, Didier, Leseigneur, Anne, Mabire, Jean-Baptiste, Mangin, Philippe, Marget, Pierre, Million, Gilles, Raynard, Lionel, Robin, Pierre, Ronget, Didier, Richard, Yannick, Vaccari, Véronique, Vermue, Alain, Villard, Antoine, Villery, Jacques, Vivier, Claude

Volltext