Residuation–Galois Calculus for Exact Safety Preimages of Monotone Max–Plus Neural Networks

Pure Mathematics for Theoretical Computer Science • Published 2026