Summation

Results: 722



#Item
11Printing Floating-Point Numbers Quickly and Accurately Robert G. Burger∗ R. Kent Dybvig  Indiana University Computer Science Department

Printing Floating-Point Numbers Quickly and Accurately Robert G. Burger∗ R. Kent Dybvig Indiana University Computer Science Department

Add to Reading List

Source URL: www.cs.indiana.edu

Language: English - Date: 2002-03-27 14:54:30
121  Solving Triangular Systems More Accurately and Efficiently Ph. Langlois, N. Louvet DALI-LP2A Laboratory. Universit´e de Perpignan. 52, avenue Paul Alduy. FPerpignan cedex.

1 Solving Triangular Systems More Accurately and Efficiently Ph. Langlois, N. Louvet DALI-LP2A Laboratory. Universit´e de Perpignan. 52, avenue Paul Alduy. FPerpignan cedex.

Add to Reading List

Source URL: perso.ens-lyon.fr

Language: English - Date: 2014-11-25 03:18:02
13Parallel algorithms for accurate sum and dot product on GPU Tomohiro SUZUKI∗ Interdisciplinary Graduate School of Medical and Engineering, University of Yamanashi Accurate summation and dot product algorithms of float

Parallel algorithms for accurate sum and dot product on GPU Tomohiro SUZUKI∗ Interdisciplinary Graduate School of Medical and Engineering, University of Yamanashi Accurate summation and dot product algorithms of float

Add to Reading List

Source URL: iwapt.org

Language: English - Date: 2009-08-27 22:50:17
14Types in mathematical proofs Georges Gonthier Legacy •  Interactive theorem proving

Types in mathematical proofs Georges Gonthier Legacy •  Interactive theorem proving

Add to Reading List

Source URL: events.inf.ed.ac.uk

Language: English - Date: 2012-10-10 03:52:00
15published in SIAM Journal on Scientific Computing (SISC), 26(6):, ACCURATE SUM AND DOT PRODUCT∗ TAKESHI OGITA  †,

published in SIAM Journal on Scientific Computing (SISC), 26(6):, ACCURATE SUM AND DOT PRODUCT∗ TAKESHI OGITA †,

Add to Reading List

Source URL: www.ti3.tu-harburg.de

Language: English - Date: 2005-11-22 09:18:17
16Nullspace computation over rational function fields for symbolic summation Bur¸cin Er¨ocal RISC Johannes Kepler University Linz, Austria, A-4040

Nullspace computation over rational function fields for symbolic summation Bur¸cin Er¨ocal RISC Johannes Kepler University Linz, Austria, A-4040

Add to Reading List

Source URL: erocal.org

Language: English - Date: 2013-03-16 14:14:30
17Fast Reproducible Floating-Point Summation James Demmel, Hong Diep Nguyen ParLab - EECS - UC Berkeley ARITH 21 April 7-10, 2013

Fast Reproducible Floating-Point Summation James Demmel, Hong Diep Nguyen ParLab - EECS - UC Berkeley ARITH 21 April 7-10, 2013

Add to Reading List

Source URL: bebop.cs.berkeley.edu

Language: English - Date: 2013-11-23 11:48:09
18submitted for publication, July 27, 2008  FAST HIGH PRECISION SUMMATION SIEGFRIED M. RUMP  †,

submitted for publication, July 27, 2008 FAST HIGH PRECISION SUMMATION SIEGFRIED M. RUMP †,

Add to Reading List

Source URL: www.ti3.tu-harburg.de

Language: English - Date: 2008-08-12 08:57:00
19David M. Bortz Department of Applied Mathematics University of Colorado, Box 526 Boulder, COEmail:

David M. Bortz Department of Applied Mathematics University of Colorado, Box 526 Boulder, COEmail:

Add to Reading List

Source URL: mathbio.colorado.edu

Language: English - Date: 2016-07-12 15:22:21
20Weighted Gate Elimination Alexander Golovnev New York University  Alexander S. Kulikov

Weighted Gate Elimination Alexander Golovnev New York University Alexander S. Kulikov

Add to Reading List

Source URL: theory.csail.mit.edu

Language: English - Date: 2016-01-16 19:17:25