pith. sign in

(Eds.), Leonid Storm Research

5 Pith papers cite this work. Polarity classification is still indexing.

5 Pith papers citing it

clear filters

representative citing papers

Accelerating MPGP-type Methods Through Preconditioning

math.NA · 2025-07-01 · unverdicted · novelty 6.0

Approximate one-time preconditioning in face for MPGP algorithms yields error bounds, a sharp condition-number estimate, and large observed speedups on quadratic programs with constraints.

Relation-Algebraic Verification of Disjoint-Set Forests

cs.LO · 2023-01-24 · accept · novelty 6.0

Relation algebras gain semantics for associative arrays that integrate with while-programs, enabling Isabelle/HOL proofs of correctness for disjoint-set forest implementations using union-by-rank and path compression, splitting or halving.

citing papers explorer

Showing 1 of 1 citing paper after filters.