Things which are equal to the same thing are also equal to one another. If equals be added to equals, the wholes are equal. If equals be subtracted from equals, the remainders are equal.

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 ...