in conjunction with computational geometry, a computational synthetic geometry has been founded, having close connection, for example, with matroid theory. synthetic differential geometry is an application of topos theory to the foundations of differentiable manifold theory.