Buchumschlag

Flip Graphs with Symmetry and New Matrix Multiplication Schemes

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Moosbauer, Jakob, Poole, Michael
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Symbolic Computation
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Exploiting the Structure in Tensor Decompositions for Matrix Multiplication
von: Kauers, Manuel, et al.
Veröffentlicht: (2026)

Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
von: Wood, Isaac
Veröffentlicht: (2025)

Fast Matrix Multiplication in Small Formats: Discovering New Schemes with an Open-Source Flip Graph Framework
von: Perminov, A. I.
Veröffentlicht: (2026)

Exploring the Meta Flip Graph for Matrix Multiplication
von: Kauers, Manuel, et al.
Veröffentlicht: (2025)

Flip Graphs for Polynomial Multiplication
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)

Meta Flip Graph meets Serendipitous Product: new Fast Matrix Multiplication results
von: Perminov, A. I.
Veröffentlicht: (2026)

Adaptive Flip Graph Algorithm for Matrix Multiplication
von: Arai, Yamato, et al.
Veröffentlicht: (2023)

Fast Matrix Multiplication via Ternary Meta Flip Graphs
von: Perminov, A. I.
Veröffentlicht: (2025)

Parallel Heuristic Exploration for Additive Complexity Reduction in Fast Matrix Multiplication
von: Perminov, A. I.
Veröffentlicht: (2025)

An Abstraction-Preserving Block Matrix Implementation in Maple
von: Jeffrey, David J., et al.
Veröffentlicht: (2024)

Exact Matching in Matrix Multiplication Time
von: Sato, Ryotaro, et al.
Veröffentlicht: (2025)

Faster Algorithms for Structured Matrix Multiplication via Flip Graph Search
von: Khoruzhii, Kirill, et al.
Veröffentlicht: (2025)

An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
von: Qin, Simin, et al.
Veröffentlicht: (2024)

Bridging Syntax and Semantics of Lean Expressions in E-Graphs
von: Rossel, Marcus, et al.
Veröffentlicht: (2024)

Simulating Petri nets with Boolean Matrix Logic Programming
von: Ai, Lun, et al.
Veröffentlicht: (2024)

NoSQL Graph Databases: an overview
von: Santos, Veronica, et al.
Veröffentlicht: (2024)

A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials
von: Yang, Jing, et al.
Veröffentlicht: (2024)

Generalizing the Invertible Matrix Theorem with Linear Relations using Graphical Linear Algebra
von: de Freitas, Iago Leal, et al.
Veröffentlicht: (2025)

A Knowledge Graph Informing Soil Carbon Modeling
von: Shirvani-Mahdavi, Nasim, et al.
Veröffentlicht: (2025)

Primality Testing via Circulant Matrix Eigenvalue Structure: A Novel Approach Using Cyclotomic Field Theory
von: Dinu, Marius-Constantin
Veröffentlicht: (2025)

Simultaneous Rational Number Codes: Decoding Beyond Half the Minimum Distance with Multiplicities and Bad Primes
von: Abbondati, Matteo, et al.
Veröffentlicht: (2025)

Simultaneous Rational Function Codes: Improved Analysis Beyond Half the Minimum Distance with Multiplicities and Poles
von: Abbondati, Matteo, et al.
Veröffentlicht: (2025)

Introducing Quantification into a Hierarchical Graph Rewriting Language
von: Mishina, Haruto, et al.
Veröffentlicht: (2024)

Post-Training Neural Network Pruning using Graph Curvature
von: Tan, Shuhang, et al.
Veröffentlicht: (2026)

Automatic Generation of Polynomial Symmetry Breaking Constraints
von: Erascu, Madalina, et al.
Veröffentlicht: (2026)

MiGumi: Making Tightly Coupled Integral Joints Millable
von: Ganeshan, Aditya, et al.
Veröffentlicht: (2025)

Boolean Matrix Logic Programming on the GPU
von: Ai, Lun
Veröffentlicht: (2024)

Faster multivariate integration in D-modules
von: Brochet, Hadrien, et al.
Veröffentlicht: (2025)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
von: Böhmer, Christian G., et al.
Veröffentlicht: (2025)

Consequences of the Moosbauer-Poole Algorithms
von: Kauers, Manuel, et al.
Veröffentlicht: (2025)

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
von: Finkelstein, Edward
Veröffentlicht: (2025)

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
von: Stübbe, Jonas, et al.
Veröffentlicht: (2025)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)

More is Less: Adding Polynomials for Faster Explanations in NLSAT
von: Promies, Valentin, et al.
Veröffentlicht: (2025)

Generalized ODE reduction algorithm for bounded degree transformation
von: Huang, Shaoxuan
Veröffentlicht: (2025)

Generalized ODE reduction algorithm with bounded degree transformation
von: Huang, Shaoxuan
Veröffentlicht: (2025)

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
von: Nalbach, Jasper, et al.
Veröffentlicht: (2025)

An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
von: Sakata, Kosuke, et al.
Veröffentlicht: (2025)

Symmetric Division of Linear Ordinary Differential Operators
von: Du, Lixin, et al.
Veröffentlicht: (2025)

The regular multivariate quadratic problem
von: Joux, Antoine, et al.
Veröffentlicht: (2025)