Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Érik Martin-Dorel
A Reflexive Tactic for Polynomial Positivity Using Numerical Solvers and Floating-Point Computations
Related publications
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Floating-Point Numerical Function Generators Using EVMDDs for Monotone Elementary Functions
Time-Domain Computations for Floating Bodies
Applied Ocean Research
Ocean Engineering
Compositional Analysis of Floating-Point Linear Numerical Filters
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Numerical Method for Polynomial Eigenvalue Problems Using Contour Integral
Japan Journal of Industrial and Applied Mathematics
Engineering
Applied Mathematics
Rpe V5: An Emulator for Reduced Floating-Point Precision in Large Numerical Simulations
Geoscientific Model Development
Earth
Simulation
Planetary Sciences
Modeling
A Fused Hybrid Floating-Point and Fixed-Point Dot-Product for FPGAs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reflexive Modules Over Certain Differential Polynomial Rings
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
An Efficient Encrypted Floating-Point Representation Using HEAAN and TFHE
Security and Communication Networks
Computer Networks
Information Systems
Communications
