The Algebraic Thinking Encyclopedia/Extensions