The time rescaling theorem is commonly used to assess model fit by transforming a point process into a homogeneous Poisson process. However, this approach requires that the process be nonterminating ...

Noether’s theorem, which she formulated in 1915, says that symmetries in the universe give rise to mathematical conservation laws. This statement is a crucial underpinning of physical laws ...

Abstract: This paper introduces small-gain sufficient conditions for 2-contraction of feedback interconnected systems, on the basis of individual gains of suitable subsystems arising from a modular ...

General information ("What is Fermat's Last Theorem/Lean?" / "Why are you doing this?" etc) is here. The route we will be taking was planned out essentially entirely by Richard Taylor in discussions ...

This library contains a formal proof of the Four Color Theorem in Coq, along with the theories needed to support stating and then proving the Theorem. This includes an axiomatization of the setoid of ...

Calcea Johnson and Ne'Kiya Jackson believe they can prove the Pythagorean Theorem using trigonometry — and are being encouraged to submit their work for peer review Jason Hahn is a former Human ...