Cover Image

Towards automated generation of fast and accurate algorithms for recursive matrix multiplication

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dumas, Jean-Guillaume, Pernet, Clément, Sedoglavic, Alexandre
Format:	Preprint
Published:	2025
Subjects:	Numerical Analysis Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Strassen's algorithm is not optimally accurate
by: Dumas, Jean-Guillaume, et al.
Published: (2024)

A more accurate rational non-commutative algorithm for multiplying 4x4 matrices using 48 multiplications
by: Dumas, Jean-Guillaume, et al.
Published: (2026)

A non-commutative algorithm for multiplying 4x4 matrices using 48 non-complex multiplications
by: Dumas, Jean-Guillaume, et al.
Published: (2025)

Computing Krylov iterates in the time of matrix multiplication
by: Neiger, Vincent, et al.
Published: (2024)

In-place accumulation of fast multiplication formulae
by: Dumas, Jean-Guillaume, et al.
Published: (2023)

A Novel Approach to the Initial Value Problem with a complete validated algorithm
by: Zhang, Bingwei, et al.
Published: (2025)

Validated numerics for algebraic path tracking
by: Guillemot, Alexandre, et al.
Published: (2024)

Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations
by: Moroz, Guillaume
Published: (2024)

Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function
by: Muller, Jean-Michel, et al.
Published: (2024)

Groebner basis structure of ideal interpolation
by: Gong, Yihe, et al.
Published: (2020)

A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials
by: Yang, Jing, et al.
Published: (2024)

Computing Clipped Products
by: Norman, Arthur C., et al.
Published: (2024)

Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices
by: Oki, Taihei, et al.
Published: (2024)

Efficient Tensor Decomposition via Moment Matrix Extension
by: Shi, Bobby, et al.
Published: (2025)

A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
by: Zeng, Zhenbing, et al.
Published: (2025)

A Finite Expression Method for Solving High-Dimensional Committor Problems
by: Song, Zezheng, et al.
Published: (2023)

On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations
by: Treumova, Veronika, et al.
Published: (2024)

A Fast Algorithm for the Finite Expression Method in Learning Dynamics on Complex Networks
by: Song, Zezheng, et al.
Published: (2024)

Dissipative quadratizations of polynomial ODE systems
by: Cai, Yubo, et al.
Published: (2023)

The complexity of class polynomial computation via floating point approximations
by: Enge, Andreas
Published: (2006)

Fast in-place accumulation
by: Dumas, Jean-Guillaume, et al.
Published: (2023)

Performance Comparison of Function Evaluation Methods
by: Liberti, Leo
Published: (2002)

Computational Explorations on Semifields
by: Dumas, Jean-Guillaume, et al.
Published: (2026)

Trinomials and Deterministic Complexity Limits for Real Solving
by: Boniface, Emma, et al.
Published: (2022)

A Faster Solution to Smale's 17th Problem I: Real Binomial Systems
by: Paouris, Grigoris, et al.
Published: (2019)

Discovering Polynomial and Quadratic Structure in Nonlinear Ordinary Differential Equations
by: Kramer, Boris, et al.
Published: (2025)

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
by: Tirpankar, Tanmay, et al.
Published: (2025)

Fast Symbolic Integer-Linear Spectra
by: Luntzel, Jonny, et al.
Published: (2024)

Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy
by: Verschelde, Jan, et al.
Published: (2024)

Quadratization of Autonomous Partial Differential Equations: Theory and Algorithms
by: Olivieri, Albani, et al.
Published: (2026)

Training Stiff Neural Ordinary Differential Equations with Explicit Exponential Integration Methods
by: Fronk, Colby, et al.
Published: (2024)

Certified algebraic curve projections by path tracking
by: Burr, Michael, et al.
Published: (2025)

Effective alpha theory certification using interval arithmetic: alpha theory over regions
by: Lee, Kisun
Published: (2024)

Certified homotopy tracking using the Krawczyk method
by: Duff, Timothy, et al.
Published: (2024)

Three Paths to Rational Curves with Rational Arc Length
by: Schröcker, Hans-Peter, et al.
Published: (2023)

PySymmetry: A Sage/Python Framework for the Symmetry Reduction of Linear G-Equivariant Systems
by: da Silva, Leon D., et al.
Published: (2025)

Optimal Communication Unbalanced Private Set Union
by: Dumas, Jean-Guillaume, et al.
Published: (2024)

Certified surface approximations using the interval Krawczyk test
by: Burr, Michael, et al.
Published: (2026)

Two-step Newton's method for deflation-one singular zeros of analytic systems
by: Lee, Kisun, et al.
Published: (2023)

A probabilistic algorithm to test local algebraic observability in polynomial time
by: Sedoglavic, Alexandre
Published: (2000)