Guillaume Melquiond

Birkhäuser Basel, pp.1-627, 2018, 978-3319765259. ⟨10.1007/978-3-319-76526-6⟩

ISTE Press - Elsevier, pp.326, 2017, 9781785481123

Birkhauser Boston, pp.572, 2010

Journal of Symbolic Computation, 2023, 115, pp.74-95. ⟨10.1016/j.jsc.2022.07.007⟩

Acta Numerica, 2023, 32, pp.203-290. ⟨10.1017/S0962492922000101⟩

Logical Methods in Computer Science, 2023, 19 (1), pp.39. ⟨10.46298/lmcs-19(1:21)2023⟩

Journal of Automated Reasoning, 2023, 67 (33), 34 p. ⟨10.1007/s10817-023-09679-x⟩

Journal of Automated Reasoning, 2019, 62 (2), pp.281-300. ⟨10.1007/s10817-018-9463-7⟩

Mathematical Structures in Computer Science, 2016, 26 (7), pp.1196-1233. ⟨10.1017/S0960129514000437⟩

Journal of Automated Reasoning, 2016, 57 (3), pp.187-217. ⟨10.1007/s10817-015-9350-4⟩

Journal of Automated Reasoning, 2015, 54 (2), pp.135-163. ⟨10.1007/s10817-014-9317-x⟩

Mathematics in Computer Science, 2015, 9 (1), pp.41-62. ⟨10.1007/s11786-014-0181-1⟩

Computers & Mathematics with Applications, 2014, 68 (3), pp.28. ⟨10.1016/j.camwa.2014.06.004⟩

BIT Numerical Mathematics, 2013, 53 (4), pp.897-924. ⟨10.1007/s10543-013-0436-2⟩

Journal of Automated Reasoning, 2013, 50 (4), pp.423-456. ⟨10.1007/s10817-012-9255-4⟩

Mathematics of Computation, 2013, 82, pp.1235-1246. ⟨10.1090/S0025-5718-2012-02635-4⟩

Information and Computation, 2012, 216, pp.14-23. ⟨10.1016/j.ic.2011.09.005⟩

IEEE Transactions on Computers, 2011, 60 (2), pp.242-253. ⟨10.1109/TC.2010.128⟩

ACM Transactions on Mathematical Software, 2010, 37 (1), pp.1-20. ⟨10.1145/1644001.1644002⟩

BIT Numerical Mathematics, 2009, 49 (2), pp.419-431. ⟨10.1007/s10543-009-0218-z⟩

IEEE Transactions on Computers, 2008, 57 (4), pp.462-471. ⟨10.1109/TC.2007.70819⟩

RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41, pp.57-69. ⟨10.1051/ita:2007005⟩

Theoretical Computer Science, 2006, Real Numbers and Computers, 351 (1), pp.111-118. ⟨10.1016/j.tcs.2005.09.062⟩

Computer Arithmetic. Université Paris Sud, 2019

Informatique mathématique : Une photographie en 2013, 2013

17th International Conference on Interactive Theorem Proving, Jul 2026, Lisboa, Portugal. pp.9:1-9:19, ⟨10.4230/LIPIcs.ITP.2026.9⟩

ARITH 2026 - 33rd IEEE International Symposium on Computer Arithmetic, Jun 2026, Fulda, Germany

CPP 2026 - 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2026, Rennes, France. pp.128-142, ⟨10.1145/3779031.3779101⟩

29th ACM SIGPLAN International Conference on Functional Programming, Sep 2024, Milan, Italy. pp.121-146, ⟨10.1145/3674629⟩

Coq 2024 - 15th Coq Workshop, Sep 2024, Tbilisi, Georgia

15th International Conference on Interactive Theorem Proving, Sep 2024, Tbilisi, Georgia. pp.14:1-14:18, ⟨10.4230/LIPIcs.ITP.2024.14⟩

30th IEEE International Symposium on Computer Arithmetic, Sep 2023, Portland (Oregon), United States. pp.4, ⟨10.1109/ARITH58626.2023.00026⟩

TYPES 2023 - 29th International Conference on Types for Proofs and Programs, Jun 2023, Valencia, Spain. pp.1-3

Proceedings of the 6th Workshop on Formal Integrated Development Environment, May 2021, Online, United States. pp.39-45, ⟨10.4204/EPTCS.338.6⟩

28th IEEE International Symposium on Computer Arithmetic, Jun 2021, Online, Italy. ⟨10.1109/ARITH51176.2021.00031⟩

FSCD 2021 - 6th International Conference on Formal Structures for Computation and Deduction, Jul 2021, Buenos Aires, Argentina. pp.1-22, ⟨10.4230/LIPIcs.FSCD.2021.9⟩

ISSAC 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. pp.352-359, ⟨10.1145/3373207.3404029⟩

JFLA 2019 - 30èmes Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France

ARITH-26 2019 - 26th IEEE 26th Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.183-186, ⟨10.1109/ARITH.2019.00041⟩

9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom. pp.178-193, ⟨10.1007/978-3-319-94205-6_13⟩

9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany. pp.84-101, ⟨10.1007/978-3-319-72308-2_6⟩

29th International Conference on Computer Aided Verification, Jul 2017, Heidelberg, Germany. pp.419-435, ⟨10.1007/978-3-319-63390-9_22⟩

Journées Formalisation des Activités Concurrentes (FAC 2016), Groupe IFSE du RTRA STAE (Réseau Thématique de Recherche Avancée « Sciences et Technologies pour l’Aéronautique et l’Espace » de Toulouse), Mar 2016, Toulouse, France

Interactive Theorem Proving, Aug 2016, Nancy, France. ⟨10.1007/978-3-319-43144-4_17⟩

MAP 2016 conference on Effective Analysis: Foundations, Implementations, Certification, Jan 2016, Marseille, France

12th International Workshop on Satisfiability Modulo Theories, Jul 2014, Wien, Austria

5th Coq Workshop, Jul 2013, Rennes, France

Arith - 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, United States. pp.107-115

iFM - 10th International Conference on Integrated Formal Methods - 2013, Jun 2013, Turku, Finland. pp.139-153, ⟨10.1007/978-3-642-38613-8_10⟩

Fifth Working Conference on Verified Software: Theories, Tools and Experiments, May 2013, Atherton, United States. pp.191-201

CPP - 2nd International Conference on Certified Programs and Proofs - 2012, Dec 2012, Kyoto, Japan. pp.289-304, ⟨10.1007/978-3-642-35308-6_22⟩

6th International Joint Conference on Automated Reasoning, Jun 2012, Manchester, United Kingdom. pp.67-81, ⟨10.1007/978-3-642-31365-3_8⟩

10th International Workshop on Satisfiability Modulo Theories, Jun 2012, Manchester, United Kingdom. pp.12-21

JFLA - Journées Francophone des Langages Applicatifs - 2012, Feb 2012, Carnac, France

École des Jeunes Chercheurs en Informatique Mathématique, GDR Informatique Mathématique, Mar 2012, Rennes, France. pp.1-30

Proceedings of the 20th IEEE Symposium on Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.243-252, ⟨10.1109/ARITH.2011.40⟩

ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩

16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, Jul 2009, Grand Bend, Ontario, Canada. pp.59-74, ⟨10.1007/978-3-642-02614-0_10⟩

8th Conference on Real Numbers and Computers, Jul 2008, Santiago de Compostela, Spain. pp.93-102

International Joint Conference on Automated Reasoning, IJCAR 2008, Aug 2008, Sydney, Australia. pp.2--17, ⟨10.1007/978-3-540-71070-7_2⟩

17th IEEE Symposium on Computer Arithmetic, 2005, Cape Cod, Massachusetts, United States. pp.188-195, ⟨10.1109/ARITH.2005.25⟩

17th IMACS World Congress, 2005, Paris, France

Real Numbers and Computers, 2004, Dagstuhl, Germany. pp.55-70

17th IMACS World Congress, Jul 2005, Paris, France. pp.11

Real Numbers and Computers, 2003, Lyon, France. pp.65-80

Arithmétique des ordinateurs. École Normale Supérieure de Lyon, 2006. Français. ⟨NNT : 2006ENSL0388⟩

France, Patent n° : EP4235397. 2024

France, N° de brevet: IDDN.FR.001.420003.000.S.P.2019.000.20600. 2018

2013

[Research Report] IRIT-RR-2014-09-FR, IRIT : Institut de Recherche Informatique de Toulouse. 2014, pp.1-32

[Research Report] RR-6757, INRIA. 2008, pp.11

[Research Report] RR-5967, INRIA. 2006, pp.22

[Research Report] RR-5646, INRIA. 2006

RR-5683, INRIA. 2005, pp.17

[Research Report] LIP RR-2004-36, Laboratoire de l'informatique du parallélisme. 2004, 2+24p

[Research Report] LIP RR-2004-48, Laboratoire de l'informatique du parallélisme. 2004, 2+7p