a mathematics textbook on constructible numbers, and more generally on using abstract algebra to model the sets of points that can be created through certain types of geometric construction, and using Galois theory to prove limits on the constructions that can be performed.

In mathematical logic and computer science, the calculus of constructions (CoC) is a type theory created by Thierry Coquand.

a Finnish shipbuilding company based in Rauma, Finland.