Beke’s research areas are algebraic topology; category theory, model theory, logic; computational geometry, theorem proving in euclidean geometry Enrique Gonzalez Velasco Recently published a new book ...