Да, вы абсолютно правы. В голове хранится аналог таблицы умножения - типа таблицы сложения на один, а чаще на два десятка. Он может быть в виде примеров и в виде состава числа (например, сколько не хватает до десятка). А еще там же хранятся алгоритмы, они разные, но у каждого есть привычные. Например, складывая 197 и 191 кто-то будет производить прямое вычисление, а кто-то сложит 200 и 200 и вычтет 3 и 9. Когда мы решаем пример, все это всплывает почти бессознательно))