Cvetan Dunchev

Latest

• Formalizing physics: automation, presentation and foundation issues