在本文中,我们承诺研究如何使用代数,其工具和方法来公式化应用程序中使用的数学。 我们特别注意物理应用中使用的数学。 我们建议由亨利·西金斯·伦纳德(Henry Siggins Leonard)首次提出的方法非常适合这种检查。