Edit Profile (opens in new tab) Carette, Jacques Co-Author Distance Author ID: carette.jacques Published as: Carette, Jacques Documents Indexed: 37 Publications since 2004, including 4 Additional arXiv Preprints 7 Contributions as Editor Co-Authors: 46 Co-Authors with 37 Joint Publications 826 Co-Co-Authors all top 5 Co-Authors 4 single-authored 12 Farmer, William M. 5 Sabry, Amr 4 Sorge, Volker 3 Anand, Christopher Kumar 3 O’Connor, Russell 3 Shan, Chung-chieh 3 Sharoda, Yasmine 2 Chen, Chao-Hong 2 Choudhury, Vikraman 2 Janicki, Ryszard 2 Jeffrey, David J. 2 Kahl, Wolfram 2 Kiselyov, Oleg 2 Kohlhase, Michael 2 Monagan, Michael B. 2 Narayanan, Praveen 2 Rabe, Florian 2 Sojka, Petr 2 Watt, Stephen Michael 2 Wenzel, Makarius 2 Zhou, Wenqin 1 Aspinall, David 1 Bigatti, Anna Maria 1 Campbell, John A. 1 Curtis, Andrew Thomas 1 Davenport, James Harold 1 de Wolff, Timo 1 Dixon, Lucas 1 Dos Reis, Gabriel 1 Hutslar, Christian 1 James, Roshan P. 1 Jeuring, Johan 1 Ji, Xiaoheng 1 Joswig, Michael 1 Kaliszyk, Cezary 1 Kerber, Manfred 1 Korobkine, Alexandre 1 Kucera, Michael 1 Lange, Christoph 1 Laskowski, Patrick 1 McCutchan, John 1 Romano, Wren 1 Sacerdoti Coen, Claudio 1 Sexton, Alan P. 1 Tobin-Hochstadt, Sam 1 Walia, Rajan 1 Wiedijk, Freek 1 Windsteiger, Wolfgang 1 Zinkov, Robert all top 5 Serials 5 Lecture Notes in Computer Science 3 Science of Computer Programming 1 The Mathematical Intelligencer 1 Journal of Automated Reasoning 1 Journal of Functional Programming 1 Fundamenta Informaticae 1 Electronic Notes in Theoretical Computer Science all top 5 Fields 41 Computer science (68-XX) 8 General and overarching topics; collections (00-XX) 5 Numerical analysis (65-XX) 2 Mathematical logic and foundations (03-XX) 2 Category theory; homological algebra (18-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 26 Publications have been cited 92 times in 71 Documents Cited by ▼ Year ▼ Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages. Zbl 1191.68158 Carette, Jacques; Kiselyov, Oleg; Shan, Chung-Chieh 16 2009 Understanding expression simplification. Zbl 1134.68596 Carette, Jacques 9 2004 Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code. Zbl 1215.68059 Carette, Jacques; Kiselyov, Oleg 7 2011 Realms: a structure for consolidating knowledge about mathematical theories. Zbl 1304.68169 Carette, Jacques; Farmer, William M.; Kohlhase, Michael 7 2014 Probabilistic inference by program transformation in Hakaru (system description). Zbl 1475.68072 Narayanan, Praveen; Carette, Jacques; Romano, Wren; Shan, Chung-chieh; Zinkov, Robert 7 2016 Gaussian elimination: a case study in efficient genericity with MetaOCaml. Zbl 1100.68130 Carette, Jacques 6 2006 High-level theories. Zbl 1166.68338 Carette, Jacques; Farmer, William M. 6 2008 MathScheme: project description. Zbl 1335.68226 Carette, Jacques; Farmer, William M.; O’Connor, Russell 4 2011 Theory presentation combinators. Zbl 1360.68802 Carette, Jacques; O’Connor, Russell 4 2012 A canonical form for piecewise defined functions. Zbl 1190.68086 Carette, Jacques 4 2007 A review of mathematical knowledge management. Zbl 1247.68266 Carette, Jacques; Farmer, William M. 3 2009 Partial evaluation of Maple. Zbl 1215.68277 Carette, Jacques; Kucera, Michael 2 2011 Computing with semirings and weak rig groupoids. Zbl 1335.68048 Carette, Jacques; Sabry, Amr 2 2016 Formalizing mathematical knowledge as a biform theory graph: a case study. Zbl 1367.68299 Carette, Jacques; Farmer, William M. 2 2017 Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015 2 2015 Leveraging the information contained in theory presentations. Zbl 1455.68255 Carette, Jacques; Farmer, William M.; Sharoda, Yasmine 2 2020 Control-flow semantics for assembly-level data-flow graphs. Zbl 1185.68223 Kahl, Wolfram; Anand, Christopher K.; Carette, Jacques 1 2006 Computing properties of numerical imperative programs by symbolic computation. Zbl 1137.68628 Carette, Jacques; Janicki, Ryszard 1 2007 CoG-PETS: code generation for parameter estimation in time series. Zbl 1344.65017 Anand, Christopher Kumar; Carette, Jacques; Curtis, Andrew Thomas; Miller, David 1 2005 Hierarchical representations with signatures for large expression management. Zbl 1156.68641 Zhou, Wenqin; Carette, J.; Jeffrey, D. J.; Monagan, M. B. 1 2006 A rational reconstruction of a system for experimental mathematics. Zbl 1202.68374 Carette, Jacques; Farmer, William M.; Sorge, Volker 1 2007 Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Zbl 1245.68013 1 2012 Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Zbl 1268.68008 1 2013 Symbolic domain decomposition. Zbl 1286.68515 Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 1 2010 Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge. Zbl 1493.68391 Carette, Jacques; Farmer, William M.; Kohlhase, Michael; Rabe, Florian 1 2021 HOL Light QE. Zbl 1511.68307 Carette, Jacques; Farmer, William M.; Laskowski, Patrick 1 2018 Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge. Zbl 1493.68391 Carette, Jacques; Farmer, William M.; Kohlhase, Michael; Rabe, Florian 1 2021 Leveraging the information contained in theory presentations. Zbl 1455.68255 Carette, Jacques; Farmer, William M.; Sharoda, Yasmine 2 2020 HOL Light QE. Zbl 1511.68307 Carette, Jacques; Farmer, William M.; Laskowski, Patrick 1 2018 Formalizing mathematical knowledge as a biform theory graph: a case study. Zbl 1367.68299 Carette, Jacques; Farmer, William M. 2 2017 Probabilistic inference by program transformation in Hakaru (system description). Zbl 1475.68072 Narayanan, Praveen; Carette, Jacques; Romano, Wren; Shan, Chung-chieh; Zinkov, Robert 7 2016 Computing with semirings and weak rig groupoids. Zbl 1335.68048 Carette, Jacques; Sabry, Amr 2 2016 Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015 2 2015 Realms: a structure for consolidating knowledge about mathematical theories. Zbl 1304.68169 Carette, Jacques; Farmer, William M.; Kohlhase, Michael 7 2014 Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Zbl 1268.68008 1 2013 Theory presentation combinators. Zbl 1360.68802 Carette, Jacques; O’Connor, Russell 4 2012 Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Zbl 1245.68013 1 2012 Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code. Zbl 1215.68059 Carette, Jacques; Kiselyov, Oleg 7 2011 MathScheme: project description. Zbl 1335.68226 Carette, Jacques; Farmer, William M.; O’Connor, Russell 4 2011 Partial evaluation of Maple. Zbl 1215.68277 Carette, Jacques; Kucera, Michael 2 2011 Symbolic domain decomposition. Zbl 1286.68515 Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 1 2010 Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages. Zbl 1191.68158 Carette, Jacques; Kiselyov, Oleg; Shan, Chung-Chieh 16 2009 A review of mathematical knowledge management. Zbl 1247.68266 Carette, Jacques; Farmer, William M. 3 2009 High-level theories. Zbl 1166.68338 Carette, Jacques; Farmer, William M. 6 2008 A canonical form for piecewise defined functions. Zbl 1190.68086 Carette, Jacques 4 2007 Computing properties of numerical imperative programs by symbolic computation. Zbl 1137.68628 Carette, Jacques; Janicki, Ryszard 1 2007 A rational reconstruction of a system for experimental mathematics. Zbl 1202.68374 Carette, Jacques; Farmer, William M.; Sorge, Volker 1 2007 Gaussian elimination: a case study in efficient genericity with MetaOCaml. Zbl 1100.68130 Carette, Jacques 6 2006 Control-flow semantics for assembly-level data-flow graphs. Zbl 1185.68223 Kahl, Wolfram; Anand, Christopher K.; Carette, Jacques 1 2006 Hierarchical representations with signatures for large expression management. Zbl 1156.68641 Zhou, Wenqin; Carette, J.; Jeffrey, D. J.; Monagan, M. B. 1 2006 CoG-PETS: code generation for parameter estimation in time series. Zbl 1344.65017 Anand, Christopher Kumar; Carette, Jacques; Curtis, Andrew Thomas; Miller, David 1 2005 Understanding expression simplification. Zbl 1134.68596 Carette, Jacques 9 2004 all cited Publications top 5 cited Publications all top 5 Cited by 152 Authors 9 Carette, Jacques 6 Farmer, William M. 5 England, Matthew 5 Kohlhase, Michael 5 Rabe, Florian 4 Davenport, James Harold 4 Kiselyov, Oleg 3 Iancu, Mihnea 3 Kameyama, Yukiyoshi 3 Müller, Dennis 3 Paulson, Lawrence Charles 3 Shan, Chung-chieh 2 Bridge, James P. 2 Florescu, Dorian 2 Huang, Zongyan 2 Kaarsgaard, Robin 2 Kirillovich, Aleksandr Vital’evich 2 Lipachëv, E. K. 2 Naumowicz, Adam 2 Nevzorova, Ol’ga Avenirovna 2 O’Connor, Russell 2 Staton, Sam 2 Wilson, David J. 1 Alhazov, Artiom 1 Asai, Kenichi 1 Avigad, Jeremy 1 Axelsen, Holger Bock 1 Axelsson, Emil 1 Bailey, David Harold 1 Bancerek, Grzegorz 1 Bartocci, Ezio 1 Belingheri, Omar 1 Blanchette, Jasmin Christian 1 Borgonovo, Emanuele 1 Borwein, Jonathan Michael 1 Botta, Nicola 1 Brachthäuser, Jonathan Immanuel 1 Bradford, Russell J. 1 Brady, Edwin C. 1 Brede, Nuria 1 Bsaïes, Khaled 1 Bura, Efstathia 1 Byliński, Czesław 1 Caravantes, Jorge 1 Chen, Chao-Hong 1 Chen, Mingshuai 1 Chen, Xiaoyu 1 Cheney, James 1 Choudhury, Vikraman 1 Cobb, Andrew 1 Cohen, Kelly 1 Culpepper, Ryan 1 Dash, Swaraj 1 de Vilhena, Paulo Emílio 1 Dehaye, Paul-Olivier 1 del Río Almajano, Tereso 1 Devriese, Dominique 1 Dunchev, Cvetan 1 Dutta, Saikat 1 Elizarov, A. M. 1 Freund, Rudolf 1 Gandhi, Jayna 1 Ghardallou, Wided 1 Glück, Robert 1 Gómez-Molleda, Maria de los Ángeles 1 Gonzalez-Vega, Laureano 1 Grabowski, Adam 1 Hamel, Emma 1 Henglein, Fritz 1 Horst, Christoph 1 Huang, Zixin 1 Inoue, Jun-Ichiro 1 Ivanov, Sergiu 1 Jansson, Patrik 1 Jeannerod, Claude-Pierre 1 Kahl, Wolfram 1 Kaiser, Alexander D. 1 Kaliszyk, Cezary 1 Kani, Nickvash 1 Karimi, Ahmad 1 Katoen, Joost-Pieter 1 Khan Afshar, Sanaz 1 Klein, Gerwin 1 Klinkenberg, Lutz 1 Konovalov, Olexandr 1 Koopman, Pieter 1 Korniłowicz, Artur 1 Kovács, Laura Ildikó 1 Kucera, Michael 1 Labed Jilani, Lamia 1 Lelièvre, Samuel 1 Louhichi, Asma 1 Lubbers, Mart 1 Madhavapeddy, Anil 1 Masuda, Masahiro 1 Mathiesen, Mikkel Kragh 1 Matuszewski, Roman 1 Mili, Ali 1 Misailovic, Sasa 1 Moosbrugger, Marcel ...and 52 more Authors all top 5 Cited in 17 Serials 6 Journal of Functional Programming 3 Journal of Symbolic Computation 2 Science of Computer Programming 2 Journal of Automated Reasoning 2 Lobachevskii Journal of Mathematics 2 Mathematics in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Computer Physics Communications 1 Journal of Engineering Mathematics 1 Journal of Computational and Applied Mathematics 1 Information and Computation 1 Annals of Operations Research 1 MSCS. Mathematical Structures in Computer Science 1 Higher-Order and Symbolic Computation 1 The Journal of Logic and Algebraic Programming 1 Computer Languages, Systems & Structures 1 Logical Methods in Computer Science all top 5 Cited in 16 Fields 66 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 5 Category theory; homological algebra (18-XX) 3 General and overarching topics; collections (00-XX) 3 Numerical analysis (65-XX) 2 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Group theory and generalizations (20-XX) 1 Probability theory and stochastic processes (60-XX) 1 Fluid mechanics (76-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Citations by Year