support for Unix-domain sockets, using java.nio.channels.ServerSocketChannel;
theory Multivariate_Analysisimports Ordered_Euclidean_Space Determinants Cross3 Lipschitz Starlikebegintext \<open>Entry point excluding integration and complex analysis.\<close>end