Cited By
View all- 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
- Komendantskaya EHeras J(2017)Proof Mining with Dependent TypesIntelligent Computer Mathematics10.1007/978-3-319-62075-6_21(303-318)Online publication date: 28-Jun-2017
- Poza MDomínguez CHeras JRubio J(2014)A Certified Reduction Strategy for Homological Image ProcessingACM Transactions on Computational Logic10.1145/263078915:3(1-23)Online publication date: 17-Jul-2014
- Show More Cited By