Formalization of the Gateaux derivative of functional and application in the principle of virtual work

[1]  Fabio Botelho,et al.  Basic Concepts on the Calculus of Variations , 2014 .

[2]  John Harrison,et al.  The HOL Light Theory of Euclidean Space , 2012, Journal of Automated Reasoning.

[3]  Guillaume Melquiond,et al.  Formalization of real analysis: a survey of proof assistants and libraries † , 2015, Mathematical Structures in Computer Science.

[4]  R. Robinett,et al.  Introduction to Classical Mechanics, 2nd ed. , 2000 .

[5]  Sanjai Rayadurgam,et al.  Selected Extended Papers of NFM 2016: Preface , 2017, Journal of Automated Reasoning.

[6]  C. Poole,et al.  Classical Mechanics, 3rd ed. , 2002 .

[7]  Osman Hasan,et al.  Formal analysis of steady state errors in feedback control systems using HOL-light , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[8]  Balbir S. Dhillon,et al.  Safety and reliability assessment techniques in robotics , 1997, Robotica.