Formalizing physics: automation, presentation and foundation issues

Publication
Conferences on Intelligent Computer Mathematics