Edit Profile (opens in new tab) Heras, Jónathan Compute Distance To: Compute Author ID: heras.jonathan Published as: Heras, Jónathan; Heras, J. Documents Indexed: 20 Publications since 2008 Co-Authors: 20 Co-Authors with 20 Joint Publications 278 Co-Co-Authors all top 5 Co-Authors 0 single-authored 10 Rubio García, Julio Jesús 8 Pascual, Vico 5 Komendantskaya, Ekaterina 4 Poza, María 2 Dénès, Maxime 2 Mata, Gadea 2 Mörtberg, Anders 2 Romero, Ana 2 Sergeraert, Francis 2 Siles, Vincent 1 Bigatti, Anna Maria 1 Coquand, Thierry 1 Domínguez, César 1 Johansson, Moa 1 Maclean, Ewen 1 Martín-Mateos, Francisco-Jesús 1 Morales, Miguel A. 1 Rideau, Laurence 1 Sáenz de Cabezón Irigaray, Eduardo 1 Schmidt, Martin Serials 2 La Gaceta de la Real Sociedad Matemática Española 2 ACM Transactions on Computational Logic 1 Journal of Symbolic Computation 1 Applicable Algebra in Engineering, Communication and Computing 1 Mathematics in Computer Science all top 5 Fields 19 Computer science (68-XX) 9 Algebraic topology (55-XX) 4 Biology and other natural sciences (92-XX) 2 Mathematical logic and foundations (03-XX) 1 Commutative algebra (13-XX) 1 Manifolds and cell complexes (57-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 12 Publications have been cited 40 times in 31 Documents Cited by ▼ Year ▼ Proof-pattern recognition and lemma discovery in ACL2. Zbl 1407.68436Heras, Jónathan; Komendantskaya, Ekaterina; Johansson, Moa; Maclean, Ewen 7 2013 Recycling proof patterns in Coq: case studies. Zbl 1302.68243Heras, Jónathan; Komendantskaya, Ekaterina 7 2014 fKenzo: a user interface for computations in algebraic topology. Zbl 1211.55002Heras, J.; Pascual, V.; Rubio, J.; Sergeraert, F. 5 2011 Mediated access to symbolic computation systems. Zbl 1166.68376Heras, Jónathan; Pascual, Vico; Rubio, Julio 4 2008 Exploiting parallelism in coalgebraic logic programming. Zbl 1337.68054Komendantskaya, Ekaterina; Schmidt, Martin; Heras, Jónathan 3 2014 Proving with ACL2 the correctness of simplicial sets in the Kenzo system. Zbl 1326.68261Heras, Jónathan; Pascual, Vico; Rubio, Julio 3 2011 Computing persistent homology within Coq/SSReflect. Zbl 1353.68251Heras, Jónathan; Coquand, Thierry; Mörtberg, Anders; Siles, Vincent 2 2013 ML4PG in computer algebra verification. Zbl 1390.68780Heras, Jónathan; Komendantskaya, Ekaterina 2 2013 Using open mathematical documents to interface computer algebra and proof assistant systems. Zbl 1247.68271Heras, Jónathan; Pascual, Vico; Rubio, Julio 2 2009 Towards a certified computation of homology groups for digital images. Zbl 1357.68280Heras, Jónathan; Dénès, Maxime; Mata, Gadea; Mörtberg, Anders; Poza, María; Siles, Vincent 2 2012 Incidence simplicial matrices formalized in Coq/SSReflect. Zbl 1335.68229Heras, Jónathan; Poza, María; Dénès, Maxime; Rideau, Laurence 2 2011 Modelling algebraic structures and morphisms in ACL2. Zbl 1325.68214Heras, Jónathan; Martín-Mateos, Francisco Jesús; Pascual, Vico 1 2015 Modelling algebraic structures and morphisms in ACL2. Zbl 1325.68214Heras, Jónathan; Martín-Mateos, Francisco Jesús; Pascual, Vico 1 2015 Recycling proof patterns in Coq: case studies. Zbl 1302.68243Heras, Jónathan; Komendantskaya, Ekaterina 7 2014 Exploiting parallelism in coalgebraic logic programming. Zbl 1337.68054Komendantskaya, Ekaterina; Schmidt, Martin; Heras, Jónathan 3 2014 Proof-pattern recognition and lemma discovery in ACL2. Zbl 1407.68436Heras, Jónathan; Komendantskaya, Ekaterina; Johansson, Moa; Maclean, Ewen 7 2013 Computing persistent homology within Coq/SSReflect. Zbl 1353.68251Heras, Jónathan; Coquand, Thierry; Mörtberg, Anders; Siles, Vincent 2 2013 ML4PG in computer algebra verification. Zbl 1390.68780Heras, Jónathan; Komendantskaya, Ekaterina 2 2013 Towards a certified computation of homology groups for digital images. Zbl 1357.68280Heras, Jónathan; Dénès, Maxime; Mata, Gadea; Mörtberg, Anders; Poza, María; Siles, Vincent 2 2012 fKenzo: a user interface for computations in algebraic topology. Zbl 1211.55002Heras, J.; Pascual, V.; Rubio, J.; Sergeraert, F. 5 2011 Proving with ACL2 the correctness of simplicial sets in the Kenzo system. Zbl 1326.68261Heras, Jónathan; Pascual, Vico; Rubio, Julio 3 2011 Incidence simplicial matrices formalized in Coq/SSReflect. Zbl 1335.68229Heras, Jónathan; Poza, María; Dénès, Maxime; Rideau, Laurence 2 2011 Using open mathematical documents to interface computer algebra and proof assistant systems. Zbl 1247.68271Heras, Jónathan; Pascual, Vico; Rubio, Julio 2 2009 Mediated access to symbolic computation systems. Zbl 1166.68376Heras, Jónathan; Pascual, Vico; Rubio, Julio 4 2008 all cited Publications top 5 cited Publications all top 5 Cited by 54 Authors 9 Heras, Jónathan 9 Rubio García, Julio Jesús 5 Pascual, Vico 4 Kaliszyk, Cezary 4 Komendantskaya, Ekaterina 4 Martín-Mateos, Francisco-Jesús 3 Ruiz-Reina, José-Luis 2 Aransay, Jesús 2 Divasón, Jose 2 Gauthier, Thibault 2 Lambán, Laureano 2 Power, John 2 Poza, María 2 Sergeraert, Francis 2 Urban, Josef 1 Avelar, Andréia Borges 1 Ayala-Rincón, Mauricio 1 Blanchette, Jasmin Christian 1 Bundy, Alan 1 Chojecki, Przemyslaw 1 Claessen, Koen 1 de Lima, Thaynara Arielly 1 Demba, Moussa 1 Dénès, Maxime 1 Domínguez, César 1 Filakovský, Marek 1 Franek, Peter 1 Galdino, André Luiz 1 Gligorić, Miloš V. 1 Gransden, Thomas 1 Greenaway, David 1 Grov, Gudmund 1 Gu, Tao 1 Johansson, Moa 1 Krčál, Marek 1 Kühlwein, Daniel 1 Kumar, Ramana 1 Li, Junyi Jessy 1 Lin, Yuhui 1 Maclean, Ewen 1 Matoušek, Jiří 1 Nie, Pengyu 1 Norrish, Michael 1 Palmskog, Karl 1 Raman, Rajeev 1 Rideau, Laurence 1 Romero, Ana 1 Rosen, Dan 1 Smallbone, Nicholas 1 Wagner, Uli 1 Walkinshaw, Neil 1 Wang, Qingxiang 1 Zanasi, Fabio 1 Zhechev, Stephan all top 5 Cited in 14 Serials 3 Journal of Automated Reasoning 2 Journal of Symbolic Computation 1 Information Processing Letters 1 Mathematics of Computation 1 Formal Aspects of Computing 1 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Functional Programming 1 Annals of Mathematics and Artificial Intelligence 1 Foundations of Computational Mathematics 1 ACM Transactions on Computational Logic 1 Mathematics in Computer Science 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming 1 Journal of Applied and Computational Topology all top 5 Cited in 11 Fields 31 Computer science (68-XX) 11 Algebraic topology (55-XX) 3 Mathematical logic and foundations (03-XX) 2 Category theory; homological algebra (18-XX) 2 Numerical analysis (65-XX) 2 Biology and other natural sciences (92-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) Citations by Year