Sophie Germain: or Was Gauss a feminist?