Edit Profile (opens in new tab) Aransay Azofra, Jesús María Co-Author Distance Author ID: aransay-azofra.jesus-maria Published as: Aransay Azofra, Jesús María; Aransay-Azofra, Jesús Documents Indexed: 2 Publications since 2010 Co-Authors: 2 Co-Authors with 2 Joint Publications 7 Co-Co-Authors Co-Authors 0 single-authored 1 Domínguez Pérez, César 1 Domínguez, César Serials 1 La Gaceta de la Real Sociedad Matemática Española Fields 2 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Algebraic topology (55-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Computer-aided proof. Zbl 1374.68486 Aransay Azofra, Jesús María; Domínguez Pérez, César 1 2012 Computer-aided proof. Zbl 1374.68486 Aransay Azofra, Jesús María; Domínguez Pérez, César 1 2012 Cited by 1 Author 1 Roanes-Lozano, Eugenio Cited in 1 Serial 1 Mathematics in Computer Science Cited in 2 Fields 1 Computer science (68-XX) 1 Mathematics education (97-XX) Citations by Year