| Publication | Date of Publication | Type |
|---|
Modular matrix multiplication on GPU for polynomial system solving
ACM Communications in Computer Algebra | 2024-05-13 | Paper |
Accurate Horner methods in real and complex floating-point arithmetic
BIT | 2024-04-24 | Paper |
Adaptive Precision Sparse Matrix–Vector Product and Its Application to Krylov Solvers
SIAM Journal on Scientific Computing | 2024-02-08 | Paper |
General framework for deriving reproducible Krylov subspace algorithms: BiCGStab case
Parallel Processing and Applied Mathematics | 2023-08-25 | Paper |
On a compensated Ehrlich-Aberth method for the accurate computation of all polynomial roots
ETNA - Electronic Transactions on Numerical Analysis | 2022-06-08 | Paper |
A fast parallel high-precision summation algorithm based on AccSumK
Journal of Computational and Applied Mathematics | 2022-02-11 | Paper |
Tight Interval Inclusions with Compensated Algorithms
IEEE Transactions on Computers | 2020-12-14 | Paper |
An accurate algorithm for evaluating rational functions
Applied Mathematics and Computation | 2019-11-15 | Paper |
Numerical validation of compensated algorithms with stochastic arithmetic
Applied Mathematics and Computation | 2019-08-14 | Paper |
Accurate, validated and fast evaluation of elementary symmetric functions and its application
Applied Mathematics and Computation | 2019-03-19 | Paper |
On the robustness of the 2Sum and Fast2Sum algorithms
ACM Transactions on Mathematical Software | 2018-08-17 | Paper |
GPU-accelerated generation of correctly rounded elementary functions
ACM Transactions on Mathematical Software | 2018-07-20 | Paper |
Accurate Floating-Point Product and Exponentiation
IEEE Transactions on Computers | 2017-08-08 | Paper |
Numerical validation of compensated summation algorithms with stochastic arithmetic
| 2016-12-16 | Paper |
Efficient calculations of faithfully rounded \(l_2\)-norms of \(n\)-vectors
ACM Transactions on Mathematical Software | 2016-10-24 | Paper |
A note on a nearest polynomial with a given root
ACM SIGSAM Bulletin | 2016-07-18 | Paper |
Reproducible and accurate matrix multiplication
Scientific Computing, Computer Arithmetic, and Validated Numerics | 2016-05-02 | Paper |
On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic
Numerical Algorithms | 2015-11-17 | Paper |
Stochastic arithmetic in multiprecision
Mathematics in Computer Science | 2013-05-16 | Paper |
Accurate evaluation of the \(k\)-th derivative of a polynomial and its application
Journal of Computational and Applied Mathematics | 2013-02-21 | Paper |
Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic
Information and Computation | 2012-10-11 | Paper |
A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
Verified error bounds for multiple roots of systems of nonlinear equations
Numerical Algorithms | 2010-09-16 | Paper |
Algorithms for accurate, validated and fast polynomial evaluation
Japan Journal of Industrial and Applied Mathematics | 2010-02-25 | Paper |
Accurate simple zeros of polynomials in floating point arithmetic
Computers & Mathematics with Applications | 2009-03-12 | Paper |
scientific article; zbMATH DE number 5497783 (Why is no real title available?)
| 2009-01-26 | Paper |
Real and complex pseudozero sets for polynomials with applications
RAIRO - Theoretical Informatics and Applications | 2008-02-22 | Paper |
Pseudozero set of real multivariate polynomials
Mathematics in Computer Science | 2008-01-22 | Paper |
Computation of pseudozero abcissa
| 2007-01-22 | Paper |
A note on structured pseudospectra.
Journal of Computational and Applied Mathematics | 2006-05-18 | Paper |
Structured condition numbers and backward errors in scalar product spaces
The Electronic Journal of Linear Algebra | 2006-05-18 | Paper |
