-
1Academic Journal
المؤلفون: Revol, Nathalie, Théveny, Philippe
المساهمون: Arithmetic and Computing (ARIC), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Laboratoire de l'Informatique du Parallélisme (LIP), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), ANR-11-BS02-0013,HPAC,Calcul Algébrique Haute-Performance(2011)
المصدر: ISSN: 1385-3139.
مصطلحات موضوعية: interval arithmetic, interval matrix multiplication, BLAS, gemm, parallel computer, multicore, AMS subject classification: 65Y05: Parallel computations, 65G40: General methods in interval analysis, 65F30: Other matrix algorithms, 65-04: Explicit machine computations and programs, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.4: Parallel and vector implementations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra/G.1.3.3: Error analysis, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
2Report
المؤلفون: Hoffman, Neil, Ichihara, Kazuhiro, Kashiwagi, Masahide, Masai, Hidetoshi, Oishi, Shin'ichi, Takayasu, Akitoshi
مصطلحات موضوعية: math.GT: Geometric Topology, 57M50: General geometric structures on low-dimensional manifolds, 65G40: General methods in interval analysis
وصف الملف: application/pdf
Relation: http://arxiv.org/abs/1310.3410v2; Hoffman, N., Ichihara, K., Kashiwagi, M., Masai, H., Oishi, S., Takayasu, A. (2013). Verified computations for hyperbolic 3-manifolds.; https://shareok.org/handle/11244/336590; orcid:0000-0003-0662-3244 (Hoffman, Neil); ScopusID: 16642919400 (Hoffman, Neil)