Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Guillaume Melquiond
Formally Verified Approximations of Definite Integrals
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Inductive Verification of Hybrid Automata With Strongest Postcondition Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Handbook of Floating-Point Arithmetic
Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq
Computing Predecessor and Successor in Rounding to Nearest
BIT Numerical Mathematics
Computer Networks
Applied Mathematics
Software
Computational Mathematics
Communications
