Edit Profile (opens in new tab) Ballarin, Clemens Co-Author Distance Author ID: ballarin.clemens Published as: Ballarin, Clemens Documents Indexed: 15 Publications since 1995 Co-Authors: 7 Co-Authors with 10 Joint Publications 222 Co-Co-Authors all top 5 Co-Authors 5 single-authored 4 Aransay, Jesús 4 Rubio García, Julio Jesús 2 Armando, Alessandro 2 Paulson, Lawrence Charles 1 Calmet, Jacques 1 Homann, Karsten 1 Kauers, Manuel Serials 3 Journal of Automated Reasoning 1 SIGSAM Bulletin 1 Journal of Symbolic Computation 1 Formal Aspects of Computing 1 Fundamenta Informaticae all top 5 Fields 15 Computer science (68-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Information and communication theory, circuits (94-XX) 1 Mathematical logic and foundations (03-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 14 Publications have been cited 142 times in 102 Documents Cited by ▼ Year ▼ Locales: a module system for mathematical theories. Zbl 1315.68218Ballarin, Clemens 35 2014 Interpretation of locales in Isabelle: theories and proof contexts. Zbl 1188.68258Ballarin, Clemens 26 2006 Theorems and algorithms: An interface between Isabelle and Maple. Zbl 0922.68080Ballarin, Clemens; Homann, Karsten; Calmet, Jacques 19 1995 Locales and locale expressions in Isabelle/Isar. Zbl 1100.68615Ballarin, Clemens 18 2004 A mechanized proof of the basic perturbation lemma. Zbl 1140.68059Aransay, Jesús; Ballarin, Clemens; Rubio, Julio 14 2008 Tutorial to locales and locale interpretation. Zbl 1215.68208Ballarin, Clemens 6 2010 Generating certified code from formal proofs: a case study in homological algebra. Zbl 1214.68330Aransay, Jesús; Ballarin, Clemens; Rubio, Julio 6 2010 Exploring the structure of an algebra text with locales. Zbl 1468.68277Ballarin, Clemens 5 2020 A pragmatic approach to extending provers by computer algebra – with applications to coding theory. Zbl 0951.68196Ballarin, Clemens; Paulson, Lawrence C. 4 1999 Solving parametric linear systems: an experiment with constraint algebraic programming. Zbl 1341.68310Ballarin, Clemens; Kauers, Manuel 2 2004 Maple’s evaluation process as constraint contextual rewriting. Zbl 1356.68268Armando, Alessandro; Ballarin, Clemens 2 2001 Extracting computer algebra programs from statements. Zbl 1143.68641Aransay, Jesús; Ballarin, Clemens; Rubio, Julio 2 2005 Four approaches to automated reasoning with differential algebraic structures. Zbl 1109.68575Aransay, Jesús; Ballarin, Clemens; Rubio, Julio 2 2004 A reconstruction and extension of Maple’s assume facility via constraint contextual rewriting. Zbl 1126.68098Armando, Alessandro; Ballarin, Clemens 1 2005 Exploring the structure of an algebra text with locales. Zbl 1468.68277Ballarin, Clemens 5 2020 Locales: a module system for mathematical theories. Zbl 1315.68218Ballarin, Clemens 35 2014 Tutorial to locales and locale interpretation. Zbl 1215.68208Ballarin, Clemens 6 2010 Generating certified code from formal proofs: a case study in homological algebra. Zbl 1214.68330Aransay, Jesús; Ballarin, Clemens; Rubio, Julio 6 2010 A mechanized proof of the basic perturbation lemma. Zbl 1140.68059Aransay, Jesús; Ballarin, Clemens; Rubio, Julio 14 2008 Interpretation of locales in Isabelle: theories and proof contexts. Zbl 1188.68258Ballarin, Clemens 26 2006 Extracting computer algebra programs from statements. Zbl 1143.68641Aransay, Jesús; Ballarin, Clemens; Rubio, Julio 2 2005 A reconstruction and extension of Maple’s assume facility via constraint contextual rewriting. Zbl 1126.68098Armando, Alessandro; Ballarin, Clemens 1 2005 Locales and locale expressions in Isabelle/Isar. Zbl 1100.68615Ballarin, Clemens 18 2004 Solving parametric linear systems: an experiment with constraint algebraic programming. Zbl 1341.68310Ballarin, Clemens; Kauers, Manuel 2 2004 Four approaches to automated reasoning with differential algebraic structures. Zbl 1109.68575Aransay, Jesús; Ballarin, Clemens; Rubio, Julio 2 2004 Maple’s evaluation process as constraint contextual rewriting. Zbl 1356.68268Armando, Alessandro; Ballarin, Clemens 2 2001 A pragmatic approach to extending provers by computer algebra – with applications to coding theory. Zbl 0951.68196Ballarin, Clemens; Paulson, Lawrence C. 4 1999 Theorems and algorithms: An interface between Isabelle and Maple. Zbl 0922.68080Ballarin, Clemens; Homann, Karsten; Calmet, Jacques 19 1995 all cited Publications top 5 cited Publications all top 5 Cited by 158 Authors 8 Lochbihler, Andreas 8 Rubio García, Julio Jesús 6 Blanchette, Jasmin Christian 6 Nipkow, Tobias 6 Paulson, Lawrence Charles 5 Ballarin, Clemens 5 Wenzel, Makarius 4 Heras, Jónathan 4 Popescu, Andrei 4 Yamada, Akihisa 3 Aransay, Jesús 3 Armando, Alessandro 3 Divasón, Jose 3 Domínguez, César 3 Lammich, Peter 3 Marić, Filip 3 Martín-Mateos, Francisco-Jesús 3 Thiemann, René 3 Traytel, Dmitry 3 Waldmann, Uwe 2 Affeldt, Reynald 2 Avigad, Jeremy 2 Bordg, Anthony 2 Calmet, Jacques 2 Caprotti, Olga 2 Dubut, Jérémy 2 Eberl, Manuel 2 Fleuriot, Jacques D. 2 Fleury, Mathias 2 Garrigue, Jacques 2 Gottliebsen, Hanne 2 Joosten, Sebastiaan J. C. 2 Khan Afshar, Sanaz 2 Kunčar, Ondřej 2 Martin, Ursula 2 Parrow, Joachim 2 Pascual, Vico 2 Poza, María 2 Robillard, Simon 2 Ruiz-Reina, José-Luis 2 Seddiki, Ons 2 Tahar, Sofiène 2 Tourret, Sophie 2 Weidenbach, Christoph 1 Aissat, Romain 1 Alkassar, Eyad 1 Åman Pohjola, Johannes 1 Aravantinos, Vincent 1 Autexier, Serge 1 Avelar, Andréia Borges 1 Ayala-Rincón, Mauricio 1 Back, Ralph-Johan 1 Barendregt, Hendrik Pieter 1 Barthe, Gilles 1 Basin, David A. 1 Bengtson, Jesper 1 Berghofer, Stefan 1 Bottesch, Ralph Christian 1 Boutry, Pierre 1 Breitner, Joachim 1 Brunner, Julian 1 Bulwahn, Lukas 1 Bundy, Alan 1 Capkun, Srdjan 1 Carette, Jacques 1 Coglio, Alessandro 1 Cohen, Arjeh Marcel 1 de Lima, Thaynara Arielly 1 Delahaye, David 1 Dénès, Maxime 1 Dixon, Lucas 1 Dos Reis, Gabriel 1 Dunchev, Cvetan 1 Echenim, Mnacho 1 Edmonds, Chelsea 1 Eriksson, Johannes 1 Felty, Amy P. 1 Franke, Andreas 1 Galdino, André Luiz 1 Gammie, Peter 1 Gidey, Habtom Kashay 1 Giunchiglia, Fausto 1 Grov, Gudmund 1 Guiol, Hervé 1 Gunther, Emmanuel 1 Guttmann, Walter 1 Haftmann, Florian 1 Hardy, Ruth 1 Hasan, Osman 1 Haslbeck, Max W. 1 He, Yijun 1 Hillebrand, Mark A. 1 Hölzl, Johannes 1 Homann, Karsten 1 Hutter, Dieter 1 Janičić, Predrag 1 Kelsey, Tom 1 Klein, Gerwin 1 Kohlhase, Michael 1 Krauss, Alexander ...and 58 more Authors all top 5 Cited in 18 Serials 31 Journal of Automated Reasoning 8 Journal of Symbolic Computation 4 Formal Aspects of Computing 4 Mathematics in Computer Science 2 Theoretical Computer Science 2 Journal of Functional Programming 2 Annals of Mathematics and Artificial Intelligence 1 Artificial Intelligence 1 Mathematics of Computation 1 Mathematics and Computers in Simulation 1 Science of Computer Programming 1 International Journal of Computer Mathematics 1 Applicable Algebra in Engineering, Communication and Computing 1 Experimental Mathematics 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 24 Fields 100 Computer science (68-XX) 18 Mathematical logic and foundations (03-XX) 7 Algebraic topology (55-XX) 5 Combinatorics (05-XX) 5 Commutative algebra (13-XX) 5 Information and communication theory, circuits (94-XX) 3 Number theory (11-XX) 2 General and overarching topics; collections (00-XX) 2 Field theory and polynomials (12-XX) 2 Group theory and generalizations (20-XX) 2 Convex and discrete geometry (52-XX) 2 Probability theory and stochastic processes (60-XX) 2 Quantum theory (81-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Systems theory; control (93-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Category theory; homological algebra (18-XX) 1 Ordinary differential equations (34-XX) 1 Optics, electromagnetic theory (78-XX) 1 Biology and other natural sciences (92-XX) Citations by Year