| Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems | 0 | 0.34 | 2022 |
| Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains | 1 | 0.36 | 2022 |
| A New Formulation Using The Schur Complement For The Numerical Existence Proof Of Solutions To Elliptic Problems: Without Direct Estimation For An Inverse Of The Linearized Operator | 0 | 0.34 | 2020 |
| Modified error bounds for approximate solutions of dense linear systems | 0 | 0.34 | 2020 |
| Sharp numerical inclusion of the best constant for embedding on bounded convex domain. | 0 | 0.34 | 2017 |
| A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory. | 1 | 0.37 | 2017 |
| A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems. | 0 | 0.34 | 2017 |
| Numerical verification for existence of a global-in-time solution to semilinear parabolic equations. | 2 | 0.46 | 2017 |
| Numerical validation of blow-up solutions of ordinary differential equations. | 3 | 0.49 | 2017 |
| Error-free transformation of matrix multiplication with a posteriori validation. | 0 | 0.34 | 2016 |
| Verified Computations for Hyperbolic 3-Manifolds. | 1 | 0.48 | 2016 |
| Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval. | 0 | 0.34 | 2015 |
| Improvement of error-free splitting for accurate matrix multiplication | 0 | 0.34 | 2015 |
| Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator. | 0 | 0.34 | 2015 |
| Numerical verification of positiveness for solutions to semilinear elliptic problems | 0 | 0.34 | 2015 |
| Efficient Calculations of Faithfully Rounded l2-Norms of n-Vectors. | 2 | 0.41 | 2015 |
| Fast Verified Solutions of Sparse Linear Systems with H-matrices. | 0 | 0.34 | 2013 |
| Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape. | 10 | 0.86 | 2013 |
| A consideration on the condition number of extremely ill-conditioned matrices | 0 | 0.34 | 2013 |
| Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications | 3 | 0.47 | 2012 |
| High-Precision Eigenvalue Bound for the Laplacian with Singularities. | 1 | 0.41 | 2012 |
| A robust algorithm for geometric predicate by error-free determinant transformation | 0 | 0.34 | 2012 |
| Fast algorithms for floating-point interval matrix multiplication | 5 | 0.58 | 2012 |
| Tight and efficient enclosure of matrix multiplication by using optimized BLAS. | 4 | 0.54 | 2011 |
| Cascade synthesis of RC polyphase one-ports. | 1 | 0.40 | 2011 |
| A Note on a Verified Automatic Integration Algorithm. | 0 | 0.34 | 2011 |
| An algorithm for automatically selecting a suitable verification method for linear systems | 1 | 0.41 | 2011 |
| Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems. | 0 | 0.34 | 2010 |
| Numerical Inclusion of Optimum Point for Linear Programming | 0 | 0.34 | 2009 |
| 09471 Executive Summary - Computer-assisted proofs - tools, methods and applications. | 0 | 0.34 | 2009 |
| Error free transformations of floating point numbers and its applications to constructing efficient error free numerical algorithms. | 0 | 0.34 | 2009 |
| 09471 Abstracts Collection - Computer-assisted proofs - tools, methods and applications. | 0 | 0.34 | 2009 |
| Accurate Floating-Point Summation Part I: Faithful Rounding | 62 | 4.54 | 2008 |
| Accurate Floating-Point Summation Part II: Sign, K-Fold Faithful and Rounding to Nearest | 8 | 0.89 | 2008 |
| Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 | 9 | 2.04 | 2006 |
| 05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs | 0 | 0.34 | 2005 |
| Fast Inclusion of Interval Matrix Multiplication | 6 | 0.66 | 2005 |
| Fast verification for respective eigenvalues of symmetric matrix | 1 | 0.43 | 2005 |
| 05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs | 0 | 0.34 | 2005 |
| Special Section on Nonlinear Theory and its Applications | 0 | 0.34 | 2005 |
| Accurate Sum and Dot Product | 126 | 8.20 | 2005 |
| Numerical Verification of Solutions of Periodic Integral Equations with a Singular Kernel. | 1 | 0.63 | 2004 |
| On necessary and sufficient conditions for numerical verification of double turning points | 0 | 0.34 | 2004 |
| Study on Relationship between Technostress and Antisocial Behavior on Computers. | 0 | 0.34 | 2004 |
| Study On Relationship Between Technostress And Antisocial Behavior On Computers | 0 | 0.34 | 2004 |
| Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies | 5 | 0.74 | 2003 |
| Computation of Sharp Rigorous Componentwise Error Bounds for the Approximate Solutions of Systems of Linear Equations | 3 | 0.59 | 2003 |
| Fast verification of solutions of matrix equations | 19 | 2.38 | 2002 |
| Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy | 4 | 0.62 | 1998 |
| Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems | 1 | 0.40 | 1998 |
