The Exact Dot Product as Basic Tool for Long Interval Arithmetic

Computing (Vienna/New York) - Austria
doi 10.1007/s00607-010-0127-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Type Classes for Efficient Exact Real Arithmetic in Coq

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Resolution of Nonlinear Interval Problems Using Symbolic Interval Arithmetic

Engineering Applications of Artificial Intelligence
ControlSystems EngineeringElectricalArtificial IntelligenceElectronic Engineering
2010English

Guaranteed Proofs Using Interval Arithmetic

English

Structural Product as a Tool for Managing Problem Debt

Vestnik Universiteta
2020English

Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next?

Numerical Algorithms
Applied Mathematics
2004English

Interval Arithmetic With Fixed Rounding Mode

Nonlinear Theory and Its Applications, IEICE
2016English

Interval-Type Theorems Concerning Quasi-Arithmetic Means

Mathematical Inequalities and Applications
MathematicsApplied Mathematics
2019English

Technological Lever as a Tool for Product-Engineering Enterprise Technology Platforms

Technology audit and production reserves
2015English

Heuristic and Exact Algorithms for the Interval Min–Max Regret Knapsack Problem

INFORMS Journal on Computing
Management ScienceComputer Science ApplicationsInformation SystemsOperations ResearchSoftware
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy