In this article, we present an efficient algorithm to compute the faithful rounding of the l2-norm of a floating-point vector. This means that the result is accurate to within 1 bit of the underlyingâ€¦ (More)

Î²-Hexosaminidase, which is generally present in the lysosome, is essential for glycoprotein metabolism in the maintenance of cell homeostasis. In mast cells (MCs), large amounts of Î²-hexosaminidaseâ€¦ (More)

b-Hexosaminidase, which is generally present in the lysosome, is essential for glycoprotein metabolism in the maintenance of cell homeostasis. In mast cells (MCs), large amounts of b-hexosaminidaseâ€¦ (More)

A verified integration algorithm is proposed for calculating s-dimensional integrals over a finite domain using numerical computations. To construct an efficient verified numerical integrator, theâ€¦ (More)

Abstract. A verified automatic integration algorithm is proposed for calculating contour integration over complex field using numerical computations. The proposed algorithm is based on trapezoidalâ€¦ (More)