[IJRR'2026] DCReg: Decoupled Characterization for Efficient Degenerate LiDAR Registeration
[ICML 2023] Official implementation of "A randomized schur complement based graph augmentor"
Form symmetric block matrices and condense them (eliminating blocks) at compile time using Schur complements. The goal is to manipulate KKT/augmented/saddle-point systems symbolically to obtain equivalent systems (typically: unsymmetric, symmetrized, and normal equations) that can be tackled by various numerical solvers
Julia interface with MUMPS sparse parallel direct solver
Lean 4 / Mathlib formalisation of Hoffman trace logic for finite Markov chains. Trace tower, semantic order transitivity, transient hidden blocks. 0 sorry.
Dekompozicija nepravilne domene pri rješavanju Poissonove jednadžbe i iterativne metode za rješavanje linearnog sustava
Python PPP engine: Batch Least Squares and Schur Complement solvers for estimating receiver coordinates, clocks, tropospheric delays, and carrier-phase ambiguities from GNSS observations.
Several MATLAB implementations of domain decomposition algorithms.
Lean 4 / Mathlib Schur complement nonsing_inv API and block inverse lemmas.
Add a description, image, and links to the schur-complement topic page so that developers can more easily learn about it.
To associate your repository with the schur-complement topic, visit your repo's landing page and select "manage topics."