The Algebraic Thinking Encyclopedia