Cited By
View all- Divasón JThiemann R(2022)A Formalization of the Smith Normal Form in Higher-Order LogicJournal of Automated Reasoning10.1007/s10817-022-09631-566:4(1065-1095)Online publication date: 1-Nov-2022
- Shi ZWu AYang XGuan YLi YSong X(2018)Formal analysis of the kinematic Jacobian in screw theoryFormal Aspects of Computing10.1007/s00165-018-0468-030:6(739-757)Online publication date: 1-Nov-2018
- Lambán LMartín-Mateos FRubio JRuiz-Reina J(2017)Using Abstract Stobjs in ACL2 to Compute Matrix Normal FormsInteractive Theorem Proving10.1007/978-3-319-66107-0_23(354-370)Online publication date: 26-Sep-2017