[IJRR'2026] DCReg: Decoupled Characterization for Efficient Degenerate LiDAR Registeration

[ICML 2023] Official implementation of "A randomized schur complement based graph augmentor"

Julia interface with MUMPS sparse parallel direct solver

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

Lean 4 / Mathlib formalisation of Hoffman trace logic for finite Markov chains. Trace tower, semantic order transitivity, transient hidden blocks. 0 sorry.

Cosmochrony fermionic-matter companion note

Lean 4 / Mathlib Schur complement nonsing_inv API and block inverse lemmas.

Dekompozicija nepravilne domene pri rješavanju Poissonove jednadžbe i iterativne metode za rješavanje linearnog sustava

Projective residue Schur — Cosmochrony fermionic-matter sub-programme

A4-Note — Cosmochrony fermionic-matter sub-programme

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.

Chiral orientation frontier — companion note (fermionic-matter sub-programme)