«Je pense, donc je suis» «Cogito ergo sum» «Я мыслю, следовательно, я есмь»
Р. Декарт, 1637

В Горном институте — филиале Пермского федерального исследовательского центра УрО РАН разрабатывается специализированная программа Frozen Wall для расчетов искусственного замораживания грунтов на соляных и калийных месторождениях.

Подробнее об этом на сайте газты "Наука Урала"