Warshall: A theorem on Boolean matrices

What changed

Gave the Boolean matrix recurrence to compute transitive closure.

Scientific scope

The record is Warshall's sole-author 1962 paper on Boolean matrices and transitive closure. It remains distinct from Floyd's weighted shortest-path note and from later graph-algorithm optimizations.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is Warshall's sole-author 1962 paper on Boolean matrices and transitive closure. It remains distinct from Floyd's weighted shortest-path note and from later graph-algorithm optimizations.

Contributors

• Stephen Warshall · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.

• ACM DOI for A theorem on Boolean matrices

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction