Theory: IntroductionΒΆ

This part contains details of the unerlying theory for the methods which are contained in Caelus.