Я читал, названная книга Жидкие Понятия и Творческие Аналогии Дугласом Хофстэдтером, который говорил об этом виде алгебраических манипуляций, которые автоматически перепишут уравнения в других способах пытаться соединить уравнения с другими уравнениями большое количество (все же ограниченный) количество путей, данных правила. Это была попытка доказать все же бездоказательные теоремы/доказательства грубой силой.
http://en.wikipedia.org/wiki/Fluid_Concepts_and_Creative_Analogies
Программа Дугласа Хофстэдтера Numbo пытается сделать то, что вы хотите. Он не дает вам источник, только описывает, как он работает подробно.
Это кажется, что вы хотите, чтобы программа сделала то, что делают highschool студенты, когда они решают алгебраические проблемы переместиться от положения, где вы знаете что-то, изменяя его и объединение его с другими уравнениями, чтобы доказать что-то ранее неизвестное. Это берет сильный Искусственный интеллект, чтобы сделать это. Часть вашего мозга, который делает это, Нео Кора, которая делает науку, и это работает, принцип на данный момент не понят.
Если вы хотите что-то, что сделает то, что делают студенты колледжа, когда они управляют уравнениями в исчислении, необходимо будет построить довольно сильный искусственный интеллект.
http://en.wikipedia.org/wiki/Neocortex
Когда мы сможем сделать цело-мозговую эмуляцию человека нео кора, я опубликую ответ здесь.