英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんは、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告を発表した。