Formalizing physics: automation, presentation and foundation issues

Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan-Afshar, Cvetan Dunchev, Sofiéne Tahar
January 2015
PDF
Type
Conference paper
Publication
Conferences on Intelligent Computer Mathematics