virtualization of mathematical concepts