 
    Francois Clement
                                    39 
                                    
                            Documents
                                Publications
Publications
|  | Teaching Divisibility and Binomials with Coq13th International Workshop on Theorem proving components for Educational software - ThEdu 2024, Julien Narboux; Walther Neuper; Pedro Quaresma, Jul 2024, Nancy, France. pp.124 - 139, ⟨10.4204/EPTCS.419.8⟩Communication dans un congrès
                    
        
        
            
                
                    hal-04725586
                                            v3 | 
|  | A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩Communication dans un congrès
                    
        
        
            
                
                    hal-03889276
                                            v2 | 
|  | A Coq formal proof of the Lax–Milgram theorem6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩Communication dans un congrès
                    
        
        
            
                
                    hal-01391578
                                            v1 | 
|  | Preuve formelle du théorème de Lax–Milgram16èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, FranceCommunication dans un congrès
                    
        
        
            
                
                    hal-01581807
                                            v1 | 
|  | Formal proof of a wave equation resolution scheme: the method errorITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩Communication dans un congrès
                    
        
        
            
                
                    inria-00450789
                                            v3 | 
| Domain Decomposition and Skeleton Programming with OCamlP3lProceedings of the International Conference ParCo 2005, Sep 2005, France. pp.811-818Communication dans un congrès
                    
        
        
            
                
                    hal-00149565
                                            v1 | |
|  | Parameter identification for a one-dimensional blood flow modelCEMRACS 2004 - Centre d'été de Mathématiques et Recherche Avancées en Calcul scientifique : Mathematics and applications to biology and medicine, Jul 2004, Marseille, France. pp.174-200, ⟨10.1051/proc:2005014⟩Communication dans un congrès
                    
        
        
            
                
                    hal-00700366
                                            v1 | 
|  | A Rocq Formalization of Simplicial Lagrange Finite Elements2025Pré-publication, Document de travail
                             (preprint/prepublication)
                    
        
        
            
                
                    hal-05128954
                                            v1 | 
                Chargement...
            
            Chargement...