Skip to Main content Skip to Navigation
  1. Search


...
hal-01959157v1  Conference papers
Anna Degioanni, Hervé Guillard, Boniface Nkonga, Silvana 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 Braibant, Damien 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 Delis, Hervé 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ébuchet, Bernard Mourrain, Marta 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 Amestoy, Alfredo Buttari, Iain S. Duff, Abdou Guermouche, Jean-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 Zemzemi, yves Coudière, Florian Caro, Marc Fuentes. Overview on the Cardiac ElectroPhysiology Simulator (CEPS)
Meeting at the Lyric, Jun 2015, Bordeaux, France
hal-02350517v1  Book sections
Joris van Der Hoeven, Bernard 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-02915456v1  Software
Axel Marmoret, Jérémy E Cohen. nn_fac: Nonnegative Factorization techniques toolbox
2020, ⟨swh:1:dir:ec2a2153951a7f79b7d980ea0d9c7601e5755de9;origin=https://hal.archives-ouvertes.fr/hal-02915456;visit=swh:1:snp:6e4be34b95db089bc5e4455abb4037d0b633b9fe;anchor=swh:1:rev:88782798ee67126597c52fb12312a462e9f6439b;path=/⟩
...
hal-01524140v1  Conference papers
Claus Fieker, William Hart, Tommy Hofmann, Fredrik 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ône, Olivier Colliot, Stanley 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-01313355v1  Reports
Isabelle Charpentier, Jean-Pierre Friedelmeyer, Jens Gustedt. Arbogast – Origine d'un outil de dérivation automatique
[Rapport de recherche] RR-8911, INRIA. 2016
hal-01237166v1  Journal articles
Patrick Amestoy, Iain S. Duff, Jean-yves L'Excellent, Franç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 Braibant, Damien 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 Boespflug, Maxime Dénès, Benjamin 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 Brunie, Florent de Dinechin, Olga Kupriianova, Christoph Lauter. Code generators for mathematical functions
22d IEEE Symposium on Computer Arithmetic, Jun 2015, Lyon, France
...
hal-01997592v1  Conference papers
Jean-Guillaume Dumas, Joris van Der Hoeven, Clément Pernet, Daniel 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 Bourke, Jun Inoue, Marc 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-01228519v2  Reports
Pierre Blanchard, Olivier Coulaud, Eric Darve. Fast hierarchical algorithms for generating Gaussian random fields
[Research Report] 8811, Inria Bordeaux Sud-Ouest. 2015
...
hal-01157147v1  Conference papers
Adrien Todeschini, Robin 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-01301282v2  Preprints, Working Papers, ...
Roman Andreev. Preconditioning the augmented Lagrangian method for instationary mean field games with diffusion
2017
...
hal-00018529v1  Conference papers
Francisco Cháves, Marc 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 Cohen, Damien 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 Guidi, Claudio Sacerdoti Coen, Enrico 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
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/