Skip to Main content Skip to Navigation

hal-01959157v1  Conference papers
Anna DegioanniHervé GuillardBoniface NkongaSilvana Condémi. Modélisation mathématique de l'entrée de l'Homme moderne en Europe
Journée de restitution 2018 "Défi Infiniti", Oct 2018, Paris, France
hal-00785969v1  Conference papers
Damien Pous. Kleene Algebra with Tests and Coq Tools for While Programs
Interactive Theorem Proving 2013, Jul 2013, Rennes, France. pp.180-196, ⟨10.1007/978-3-642-39634-2_15⟩
hal-00484871v4  Conference papers
Thomas BraibantDamien Pous. Tactics for Reasoning modulo AC in Coq
Certified Proofs and Programs, 2011, Taiwan. pp167-182, ⟨10.1007/978-3-642-25379-9_14⟩
hal-01946961v1  Conference papers
Argiris I DelisHervé Guillard. Numerical simulations of hydraulic jumps with the shear shallow water model
Emerging Trends in Applied Mathematics and Mechanics 2018, Jun 2018, Krakow, Poland
hal-01356869v1  Conference papers
Philippe TrébuchetBernard MourrainMarta Abril Bucero. Border Basis for Polynomial System Solving and Optimization
ICMS 2016 - 5th International Conference on Mathematical Software, Jul 2016, Berlin, Germany. pp.212-220, ⟨10.1007/978-3-319-42432-3_27⟩
hal-00787042v1  Book sections
Patrick AmestoyAlfredo ButtariIain S. DuffAbdou GuermoucheJean-yves L'Excellent et al.  MUMPS
David Padua. Encyclopedia of Parallel Computing, Springer, pp.1232-1238, 2011, ⟨10.1007/978-0-387-09766-4_204⟩
hal-01204600v1  Poster communications
Nejib Zemzemiyves CoudièreFlorian CaroMarc Fuentes. Overview on the Cardiac ElectroPhysiology Simulator (CEPS)
Meeting at the Lyric, Jun 2015, Bordeaux, France
hal-02350517v1  Book sections
Joris van Der HoevenBernard Mourrain. Efficient Certification of Numeric Solutions to Eigenproblems
Mathematical Aspects of Computer and Information Sciences, pp.81-94, 2017, ⟨10.1007/978-3-319-72453-9_6⟩
hal-01524140v1  Conference papers
Claus FiekerWilliam HartTommy HofmannFredrik Johansson. Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language
ISSAC '17 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. ⟨10.1145/3087604.3087611⟩
hal-01639819v2  Conference papers
Damien Rouhling. A Formal Proof in Coq of a Control Function for the Inverted Pendulum
CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.1-14, ⟨10.1145/3167101⟩
hal-02091549v5  Journal articles
Alexandre BôneOlivier ColliotStanley Durrleman. Learning the spatiotemporal variability in longitudinal shape data sets
International Journal of Computer Vision, Springer Verlag, 2020, 128, pp.2873-2896. ⟨10.1007/s11263-020-01343-w⟩
hal-01237166v1  Journal articles
Patrick AmestoyIain S. DuffJean-yves L'ExcellentFrançois-Henry Rouet. Parallel computation of entries in A-1
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2015, 37 (2), pp.C268-C284. ⟨10.1137/120902616⟩
hal-00383070v5  Conference papers
Thomas BraibantDamien Pous. Deciding Kleene Algebras in Coq
ITP, Aug 2010, Edinburgh, United Kingdom. pp.163-178, ⟨10.1007/978-3-642-14052-5_13⟩
hal-00650940v1  Conference papers
Mathieu BoespflugMaxime DénèsBenjamin Grégoire. Full reduction at full throttle
Certified Programs and Proofs, Dec 2011, Kenting, Taiwan. ⟨10.1007/978-3-642-25379-9_26⟩
hal-01084726v2  Conference papers
Nicolas BrunieFlorent de DinechinOlga KupriianovaChristoph Lauter. Code generators for mathematical functions
22d IEEE Symposium on Computer Arithmetic, Jun 2015, Lyon, France
hal-01997592v1  Conference papers
Jean-Guillaume DumasJoris van Der HoevenClément PernetDaniel S. Roche. LU factorization with errors
International Symposium on Symbolic and Algebraic Computation - ISSAC'19, Jul 2019, Beijing, China. pp.131-138, ⟨10.1145/3326229.3326244⟩
hal-01967659v1  Journal articles
Timothy BourkeJun InoueMarc Pouzet. Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2018, ML Family Workshop / OCaml Users and Developers workshops (MLOCAML 2016), 285, pp.101-130. ⟨10.4204/EPTCS.285.4⟩
hal-01157147v1  Conference papers
Adrien TodeschiniRobin Genuer. Compétitions d'apprentissage automatique avec le package R rchallenge
47èmes Journées de Statistique de la SFdS, Société Française de Statistique, Jun 2015, Lille, France
hal-00018529v1  Conference papers
Francisco ChávesMarc Daumas. A library of Taylor models for PVS automatic proof checker
Georgia Institute of Technology, 2006, Savannah, Georgia, pp.39-52
hal-01414881v1  Conference papers
Cyril CohenDamien Rouhling. A refinement-based approach to large scale reflection for algebra
JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
hal-01410567v3  Journal articles
Ferruccio GuidiClaudio Sacerdoti CoenEnrico Tassi. Implementing Type Theory in Higher Order Constraint Logic Programming
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2019, 29 (8), pp.1125-1150