[avz]

Сообщение от Paul Kellerman

о программах, которые позволяют получать новые, ранее неизвестные, формулы, уравнения и системы уравнений в символьном виде.

Научной новизной они никогда не будут являться.