This document introduces, describes and exemplifies the technical features of some recently implemented automated reasoning tools in the dynamic mathematics software GeoGebra. The new tools are based on symbolic computation algorithms, allowing the automatic and rigorous proving and discovery of theorems on constructed geometric figures. Some…

A shift in generalization gradients away from S+ and towards stimuli on the opposite end of the stimulus dimension from S- is a well established phenomenon in the laboratory, occurring with humans and nonhumans and with a wide range of stimuli. The phenomenon of gradient shifts has also been observed to have an analogous relationship to a variety…