Result 1 to 20 of 42 total
A robust algorithm for geometric predicate by error-free determinant transformation. (English)
Inf. Comput. 216, 3-13 (2012).
1
Fast algorithms for floating-point interval matrix multiplication. (English)
J. Comput. Appl. Math. 236, No. 7, 1795-1814 (2012).
2
Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications. (English)
Numer. Algorithms 59, No. 1, 95-118 (2012).
3
Tight and efficient enclosure of matrix multiplication by using optimized BLAS. (English)
Numer. Linear Algebra Appl. 18, No. 2, 237-248 (2011).
4
An algorithm for automatically selecting a suitable verification method for linear systems. (English)
Numer. Algorithms 56, No. 3, 363-382 (2011).
5
Cascade synthesis of RC polyphase one-ports (English)
ECCTD, 102-105 (2011).
6
Denoising of range images using a trilateral filter and belief propagation (English)
IROS, 2020-2027 (2011).
7
Numerical verification method for nonlinear differential equations. (English)
Suzuki, Masakazu (ed.) et al., The joint conference of ASCM 2009 and MACIS 2009. 9th international conference on Asian symposium on computer mathematics and 3rd international conference on mathematical aspects of computer and information sciences, Fukuoka, Japan, December 14‒17, 2009. Selected papers. Fukuoka: Kyushu University, Faculty of Mathematics. COE Lecture Note 22, 292-300 (2009).
8
Iterative refinement for ill-conditioned linear systems. (English)
Japan J. Ind. Appl. Math. 26, No. 2-3, 465-476 (2009).
9
Numerical existence proof of five solutions for certain two-transistor circuit equations. (English)
Japan J. Ind. Appl. Math. 26, No. 2-3, 327-336 (2009).
10
Adaptive and efficient algorithm for 2D orientation problem. (English)
Japan J. Ind. Appl. Math. 26, No. 2-3, 215-231 (2009).
11
Fast verified solutions of linear systems. (English)
Japan J. Ind. Appl. Math. 26, No. 2-3, 169-190 (2009).
12
Accurate floating-point summation. II: Sign, $K$-fold faithful and rounding to nearest. (English)
SIAM J. Sci. Comput. 31, No. 2, 1269-1302 (2008).
13
Accurate floating-point summation. I: Faithful rounding. (English)
SIAM J. Sci. Comput. 31, No. 1, 189-224 (2008).
14
Convergence of Rump’s method for inverting arbitrarily ill-conditioned matrices. (English)
J. Comput. Appl. Math. 205, No. 1, 533-544 (2007).
15
A method of obtaining verified solutions for linear systems suited for Java. (English)
J. Comput. Appl. Math. 199, No. 2, 337-344 (2007).
16
Special section on nonlinear theory and its applications (English)
IEICE Transactions 89-A, No. 10, 2690-2691 (2006).
17
GAINER: A reconfigurable I/O module and software libraries for education (English)
NIME, 346-351 (2006).
18
Algebraic and numerical algorithms and computer-assisted proofs, 25.-30. September 2005 (English)
Dagstuhl Seminar Proceedings: Algebraic and Numerical Algorithms and Computer-assisted Proofs 05391 (2006).
19
Fast verification for respective eigenvalues of symmetric matrix. (English)
Ganzha, Victor G. (ed.) et al., Computer algebra in scientific computing. 8th international workshop, CASC 2005, Kalamata, Greece, September 12‒16, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28966-6/pbk). Lecture Notes in Computer Science 3718, 306-317 (2005).
20
Result 1 to 20 of 42 total
Start
Contact
Print
General Help
