Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Van Snyder
The Exact Dot Product as Basic Tool for Long Interval Arithmetic
Computing (Vienna/New York)
Numerical Analysis
Computational Theory
Computer Science Applications
Computational Mathematics
Mathematics
Theoretical Computer Science
Software
Related publications
Type Classes for Efficient Exact Real Arithmetic in Coq
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Resolution of Nonlinear Interval Problems Using Symbolic Interval Arithmetic
Engineering Applications of Artificial Intelligence
Control
Systems Engineering
Electrical
Artificial Intelligence
Electronic Engineering
Guaranteed Proofs Using Interval Arithmetic
Structural Product as a Tool for Managing Problem Debt
Vestnik Universiteta
Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next?
Numerical Algorithms
Applied Mathematics
Interval Arithmetic With Fixed Rounding Mode
Nonlinear Theory and Its Applications, IEICE
Interval-Type Theorems Concerning Quasi-Arithmetic Means
Mathematical Inequalities and Applications
Mathematics
Applied Mathematics
Technological Lever as a Tool for Product-Engineering Enterprise Technology Platforms
Technology audit and production reserves
Heuristic and Exact Algorithms for the Interval Min–Max Regret Knapsack Problem
INFORMS Journal on Computing
Management Science
Computer Science Applications
Information Systems
Operations Research
Software
