Tensor Rank as a Predictor of Dynamical Tractability — A* search for optimal decomposition of coupled systems
-
Updated
Sep 4, 2026 - Python
#
tensor-rank
Here are 4 public repositories matching this topic...
A research repo into differentiable algorithm search for 3x3 matmul
algebraic-geometry numerical-optimization symbolic-computation matmul algorithm-discovery tensor-rank
-
Updated
Aug 28, 2026 - Python
Autonomous mathematical research by Qiushi Engine: a structural tensor-rank lower bound of 21 for 3x3 matrix multiplication over F2, with complete Lean formalization, bilingual reports, and an open research trajectory.
reproducible-research matrix-multiplication finite-fields computer-assisted-proofs ai-for-science tensor-rank
-
Updated
Sep 17, 2026 - Lean
Exact tensor and bilinear rank over finite fields: lower bounds, exhaustive search, SAT with DRAT-checkable refutations, symmetry reduction, and operator sparsification proved minimal against PLinOpt, with a local web console. C++20 on Givaro.
research cpp computer-algebra optimization matrix-multiplication finite-fields sat-solver strassen cpp20 sparsification tensor-rank bilinear-complexity givaro
-
Updated
Sep 4, 2026 - C++
Add this topic to your repo
To associate your repository with the tensor-rank topic, visit your repo's landing page and select "manage topics."