Edit Profile (opens in new tab) Rabe, Florian Co-Author Distance Author ID: rabe.florian Published as: Rabe, Florian Homepage: https://kwarc.info/people/frabe/ External Links: MGP · ORCID · Wikidata · dblp Documents Indexed: 69 Publications since 2006 4 Contributions as Editor Software Indexed: 7 Packages Co-Authors: 55 Co-Authors with 59 Joint Publications 1,065 Co-Co-Authors all top 5 Co-Authors 13 single-authored 31 Kohlhase, Michael 10 Horozal, Fulya 10 Müller, Dennis 5 Codescu, Mihai 5 Mossakowski, Till 4 Iancu, Mihnea 4 Kaliszyk, Cezary 4 Sacerdoti Coen, Claudio 4 Wiesing, Tom 3 Farmer, William M. 3 Rothgang, Colin 3 Sojakova, Kristina 2 Awodey, Steve 2 Benzmüller, Christoph Ewald 2 Berčič, Katja 2 Carette, Jacques 2 Pfeiffer, Markus 2 Sutcliffe, Geoff 2 Thiéry, Nicolas Marc 2 Urban, Josef 2 Wenzel, Makarius 1 Amann, Kai 1 Condoluci, Andrea 1 Davenport, James Harold 1 De Feo, Luca 1 Dehaye, Paul-Olivier 1 England, Matthew 1 Gauthier, Thibault 1 Geuvers, Jan Herman 1 Giceva, Jana 1 Iacob, Alin 1 Jakubauskas, Aivaras 1 Jucovschi, Constantin 1 Kerber, Manfred 1 Konovalov, Olexandr 1 Korniłowicz, Artur 1 Lange, Christoph 1 Lelièvre, Samuel 1 Mance, Felix 1 Marcus, Richard 1 Müller, Christine 1 Owre, Sam 1 Passmore, Grant Olney 1 Pudlák, Pavel 1 Roux, Navid 1 Schaefer, Jan Frederik 1 Sharoda, Yasmine 1 Shen, Weina 1 Sorge, Volker 1 Teschke, Olaf 1 Vasil’ev, Victor V. 1 Watt, Stephen Michael 1 Weber, Franziska 1 Youssef, Abdou S. 1 Zholudev, Vyacheslav all top 5 Serials 4 Lecture Notes in Computer Science 3 ACM Transactions on Computational Logic 2 Theoretical Computer Science 2 Journal of Automated Reasoning 2 Mathematical Structures in Computer Science 1 The Mathematical Intelligencer 1 Information and Computation 1 Journal of Logic and Computation 1 Journal of Applied Logic 1 Mathematics in Computer Science 1 Logica Universalis 1 Logical Methods in Computer Science 1 Journal of Formalized Reasoning Fields 67 Computer science (68-XX) 19 Mathematical logic and foundations (03-XX) 6 General and overarching topics; collections (00-XX) 3 Category theory; homological algebra (18-XX) 1 History and biography (01-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 58 Publications have been cited 295 times in 125 Documents Cited by ▼ Year ▼ A scalable module system. Zbl 1358.68283 Rabe, Florian; Kohlhase, Michael 42 2013 The Mizar Mathematical Library in OMDoc: translation and applications. Zbl 1260.68375 Iancu, Mihnea; Kohlhase, Michael; Rabe, Florian; Urban, Josef 19 2013 Project abstract: logic atlas and integrator (LATIN). Zbl 1278.68285 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian 18 2011 The MMT API: a generic MKM system. Zbl 1390.68626 Rabe, Florian 18 2013 How to identify, translate and combine logics? Zbl 1444.03121 Rabe, Florian 14 2017 Formalising foundations of mathematics. Zbl 1242.03031 Iancu, Mihnea; Rabe, Florian 13 2011 Representing model theory in a type-theoretical logical framework. Zbl 1236.03027 Horozal, Fulya; Rabe, Florian 9 2011 THF0 – the core of the TPTP language for higher-order logic. Zbl 1165.68447 Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff 9 2008 A logical framework combining model and proof theory. Zbl 1326.03082 Rabe, Florian 8 2013 Towards logical frameworks in the heterogeneous tool set Hets. Zbl 1278.68286 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina 8 2012 Extending MKM formats at the statement level. Zbl 1278.68293 Horozal, Fulya; Kohlhase, Michael; Rabe, Florian 7 2012 Notations for living mathematical documents. Zbl 1166.00304 Kohlhase, Michael; Müller, Christine; Rabe, Florian 7 2008 Towards MKM in the large: modular representation and scalable software architecture. Zbl 1278.68297 Kohlhase, Michael; Rabe, Florian; Zholudev, Vyacheslav 7 2010 Flexary operators for formalized mathematics. Zbl 1304.68171 Horozal, Fulya; Rabe, Florian; Kohlhase, Michael 7 2014 A foundational view on integration problems. Zbl 1278.68289 Rabe, Florian; Kohlhase, Michael; Sacerdoti Coen, Claudio 6 2011 A survey of languages for formalizing mathematics. Zbl 1455.68257 Kaliszyk, Cezary; Rabe, Florian 6 2020 Towards knowledge management for HOL Light. Zbl 1304.68158 Kaliszyk, Cezary; Rabe, Florian 6 2014 Integrating web services into active mathematical documents. Zbl 1247.68314 Giceva, Jana; Lange, Christoph; Rabe, Florian 5 2009 QED reloaded: towards a pluralistic formal library of mathematical knowledge. Zbl 1451.68343 Kohlhase, Michael; Rabe, Florian 5 2016 A modular type reconstruction algorithm. Zbl 1407.68440 Rabe, Florian 5 2018 Classification of alignments between concepts of formal mathematical systems. Zbl 1367.68309 Müller, Dennis; Gauthier, Thibault; Kaliszyk, Cezary; Kohlhase, Michael; Rabe, Florian 5 2017 Theories as types. Zbl 1511.68340 Müller, Dennis; Rabe, Florian; Kohlhase, Michael 4 2018 A query language for formal mathematical libraries. Zbl 1359.68272 Rabe, Florian 4 2012 Generic literals. Zbl 1417.68216 Rabe, Florian 4 2015 Representing structural language features in formal meta-languages. Zbl 1455.68268 Müller, Dennis; Rabe, Florian; Rothgang, Colin; Kohlhase, Michael 4 2020 First-order logic with dependent types. Zbl 1222.03016 Rabe, Florian 3 2006 Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1237.03007 Awodey, Steve; Rabe, Florian 3 2011 Relational data across mathematical libraries. Zbl 1428.68352 Condoluci, Andrea; Kohlhase, Michael; Müller, Dennis; Rabe, Florian; Sacerdoti Coen, Claudio; Wenzel, Makarius 3 2019 The Coq library as a theory graph. Zbl 1428.68344 Müller, Dennis; Rabe, Florian; Sacerdoti Coen, Claudio 3 2019 Interoperability in the OpenDreamKit project: the math-in-the-middle approach. Zbl 1344.68268 Dehaye, Paul-Olivier; Iancu, Mihnea; Kohlhase, Michael; Konovalov, Alexander; Lelièvre, Samuel; Müller, Dennis; Pfeiffer, Markus; Rabe, Florian; Thiéry, Nicolas M.; Wiesing, Tom 3 2016 Logical relations for a logical framework. Zbl 1353.68252 Rabe, Florian; Sojakova, Kristina 3 2013 The future of logic: foundation-independence. Zbl 1436.03179 Rabe, Florian 3 2016 Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1246.03022 Awodey, Steve; Rabe, Florian 2 2009 A universal machine for biform theory graphs. Zbl 1278.68267 Kohlhase, Michael; Mance, Felix; Rabe, Florian 2 2013 Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Zbl 1218.68014 2 2011 Making PVS accessible to generic services by interpretation in a universal format. Zbl 1484.68311 Kohlhase, Michael; Müller, Dennis; Owre, Sam; Rabe, Florian 2 2017 Experiences from exporting major proof assistant libraries. Zbl 1543.68405 Kohlhase, Michael; Rabe, Florian 2 2021 Virtual theories – a uniform interface to mathematical knowledge bases. Zbl 1497.68550 Wiesing, Tom; Kohlhase, Michael; Rabe, Florian 2 2017 How to calculate with nondeterministic functions. Zbl 1434.68078 Bird, Richard; Rabe, Florian 2 2019 Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015 2 2015 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 Automatically finding theory morphisms for knowledge management. Zbl 1417.68211 Müller, Dennis; Kohlhase, Michael; Rabe, Florian 1 2018 Representing model theory in a type-theoretical logical framework. Zbl 1291.03068 Horozal, Fulya; Rabe, Florian 1 2009 A proof theoretic interpretation of model theoretic hiding. Zbl 1278.68202 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian 1 2012 Solving the $100 modal logic challenge. Zbl 1161.03302 Rabe, Florian; Pudlák, Petr; Sutcliffe, Geoff; Shen, Weina 1 2009 Combining source, content, presentation, narration, and relational representation. Zbl 1278.68292 Horozal, Fulya; Iacob, Alin; Jucovschi, Constantin; Kohlhase, Michael; Rabe, Florian 1 2011 Semantics of OpenMath and MathML3. Zbl 1271.68221 Kohlhase, Michael; Rabe, Florian 1 2012 Compiling logics. Zbl 1394.68071 Codescu, Mihai; Horozal, Fulya; Jakubauskas, Aivaras; Mossakowski, Till; Rabe, Florian 1 2013 Diagram combinators in MMT. Zbl 1428.68353 Rabe, Florian; Sharoda, Yasmine 1 2019 Canonical selection of colimits. Zbl 1496.68203 Mossakowski, Till; Rabe, Florian; Codescu, Mihai 1 2017 Formal logic definitions for interchange languages. Zbl 1417.68206 Horozal, Fulya; Rabe, Florian 1 2015 Towards a unified mathematical data infrastructure: database and interface generation. Zbl 1428.68356 Berčič, Katja; Kohlhase, Michael; Rabe, Florian 1 2019 Making Isabelle content accessible in knowledge representation formats. Zbl 07756106 Kohlhase, Michael; Rabe, Florian; Wenzel, Makarius 1 2020 Towards a heterogeneous query language for mathematical knowledge. Zbl 1455.68264 Berčič, Katja; Kohlhase, Michael; Rabe, Florian 1 2020 TGView3D: a system for 3-dimensional visualization of theory graphs. Zbl 1455.68267 Marcus, Richard; Kohlhase, Michael; Rabe, Florian 1 2020 Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Zbl 1364.68010 1 2017 Morphism axioms. Zbl 1373.03132 Rabe, Florian 1 2017 Lax theory morphisms. Zbl 1367.03061 Rabe, Florian 1 2015 Experiences from exporting major proof assistant libraries. Zbl 1543.68405 Kohlhase, Michael; Rabe, Florian 2 2021 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 A survey of languages for formalizing mathematics. Zbl 1455.68257 Kaliszyk, Cezary; Rabe, Florian 6 2020 Representing structural language features in formal meta-languages. Zbl 1455.68268 Müller, Dennis; Rabe, Florian; Rothgang, Colin; Kohlhase, Michael 4 2020 Making Isabelle content accessible in knowledge representation formats. Zbl 07756106 Kohlhase, Michael; Rabe, Florian; Wenzel, Makarius 1 2020 Towards a heterogeneous query language for mathematical knowledge. Zbl 1455.68264 Berčič, Katja; Kohlhase, Michael; Rabe, Florian 1 2020 TGView3D: a system for 3-dimensional visualization of theory graphs. Zbl 1455.68267 Marcus, Richard; Kohlhase, Michael; Rabe, Florian 1 2020 Relational data across mathematical libraries. Zbl 1428.68352 Condoluci, Andrea; Kohlhase, Michael; Müller, Dennis; Rabe, Florian; Sacerdoti Coen, Claudio; Wenzel, Makarius 3 2019 The Coq library as a theory graph. Zbl 1428.68344 Müller, Dennis; Rabe, Florian; Sacerdoti Coen, Claudio 3 2019 How to calculate with nondeterministic functions. Zbl 1434.68078 Bird, Richard; Rabe, Florian 2 2019 Diagram combinators in MMT. Zbl 1428.68353 Rabe, Florian; Sharoda, Yasmine 1 2019 Towards a unified mathematical data infrastructure: database and interface generation. Zbl 1428.68356 Berčič, Katja; Kohlhase, Michael; Rabe, Florian 1 2019 A modular type reconstruction algorithm. Zbl 1407.68440 Rabe, Florian 5 2018 Theories as types. Zbl 1511.68340 Müller, Dennis; Rabe, Florian; Kohlhase, Michael 4 2018 Automatically finding theory morphisms for knowledge management. Zbl 1417.68211 Müller, Dennis; Kohlhase, Michael; Rabe, Florian 1 2018 How to identify, translate and combine logics? Zbl 1444.03121 Rabe, Florian 14 2017 Classification of alignments between concepts of formal mathematical systems. Zbl 1367.68309 Müller, Dennis; Gauthier, Thibault; Kaliszyk, Cezary; Kohlhase, Michael; Rabe, Florian 5 2017 Making PVS accessible to generic services by interpretation in a universal format. Zbl 1484.68311 Kohlhase, Michael; Müller, Dennis; Owre, Sam; Rabe, Florian 2 2017 Virtual theories – a uniform interface to mathematical knowledge bases. Zbl 1497.68550 Wiesing, Tom; Kohlhase, Michael; Rabe, Florian 2 2017 Canonical selection of colimits. Zbl 1496.68203 Mossakowski, Till; Rabe, Florian; Codescu, Mihai 1 2017 Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Zbl 1364.68010 1 2017 Morphism axioms. Zbl 1373.03132 Rabe, Florian 1 2017 QED reloaded: towards a pluralistic formal library of mathematical knowledge. Zbl 1451.68343 Kohlhase, Michael; Rabe, Florian 5 2016 Interoperability in the OpenDreamKit project: the math-in-the-middle approach. Zbl 1344.68268 Dehaye, Paul-Olivier; Iancu, Mihnea; Kohlhase, Michael; Konovalov, Alexander; Lelièvre, Samuel; Müller, Dennis; Pfeiffer, Markus; Rabe, Florian; Thiéry, Nicolas M.; Wiesing, Tom 3 2016 The future of logic: foundation-independence. Zbl 1436.03179 Rabe, Florian 3 2016 Generic literals. Zbl 1417.68216 Rabe, Florian 4 2015 Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015 2 2015 Formal logic definitions for interchange languages. Zbl 1417.68206 Horozal, Fulya; Rabe, Florian 1 2015 Lax theory morphisms. Zbl 1367.03061 Rabe, Florian 1 2015 Flexary operators for formalized mathematics. Zbl 1304.68171 Horozal, Fulya; Rabe, Florian; Kohlhase, Michael 7 2014 Towards knowledge management for HOL Light. Zbl 1304.68158 Kaliszyk, Cezary; Rabe, Florian 6 2014 A scalable module system. Zbl 1358.68283 Rabe, Florian; Kohlhase, Michael 42 2013 The Mizar Mathematical Library in OMDoc: translation and applications. Zbl 1260.68375 Iancu, Mihnea; Kohlhase, Michael; Rabe, Florian; Urban, Josef 19 2013 The MMT API: a generic MKM system. Zbl 1390.68626 Rabe, Florian 18 2013 A logical framework combining model and proof theory. Zbl 1326.03082 Rabe, Florian 8 2013 Logical relations for a logical framework. Zbl 1353.68252 Rabe, Florian; Sojakova, Kristina 3 2013 A universal machine for biform theory graphs. Zbl 1278.68267 Kohlhase, Michael; Mance, Felix; Rabe, Florian 2 2013 Compiling logics. Zbl 1394.68071 Codescu, Mihai; Horozal, Fulya; Jakubauskas, Aivaras; Mossakowski, Till; Rabe, Florian 1 2013 Towards logical frameworks in the heterogeneous tool set Hets. Zbl 1278.68286 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina 8 2012 Extending MKM formats at the statement level. Zbl 1278.68293 Horozal, Fulya; Kohlhase, Michael; Rabe, Florian 7 2012 A query language for formal mathematical libraries. Zbl 1359.68272 Rabe, Florian 4 2012 A proof theoretic interpretation of model theoretic hiding. Zbl 1278.68202 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian 1 2012 Semantics of OpenMath and MathML3. Zbl 1271.68221 Kohlhase, Michael; Rabe, Florian 1 2012 Project abstract: logic atlas and integrator (LATIN). Zbl 1278.68285 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian 18 2011 Formalising foundations of mathematics. Zbl 1242.03031 Iancu, Mihnea; Rabe, Florian 13 2011 Representing model theory in a type-theoretical logical framework. Zbl 1236.03027 Horozal, Fulya; Rabe, Florian 9 2011 A foundational view on integration problems. Zbl 1278.68289 Rabe, Florian; Kohlhase, Michael; Sacerdoti Coen, Claudio 6 2011 Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1237.03007 Awodey, Steve; Rabe, Florian 3 2011 Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Zbl 1218.68014 2 2011 Combining source, content, presentation, narration, and relational representation. Zbl 1278.68292 Horozal, Fulya; Iacob, Alin; Jucovschi, Constantin; Kohlhase, Michael; Rabe, Florian 1 2011 Towards MKM in the large: modular representation and scalable software architecture. Zbl 1278.68297 Kohlhase, Michael; Rabe, Florian; Zholudev, Vyacheslav 7 2010 Integrating web services into active mathematical documents. Zbl 1247.68314 Giceva, Jana; Lange, Christoph; Rabe, Florian 5 2009 Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1246.03022 Awodey, Steve; Rabe, Florian 2 2009 Representing model theory in a type-theoretical logical framework. Zbl 1291.03068 Horozal, Fulya; Rabe, Florian 1 2009 Solving the $100 modal logic challenge. Zbl 1161.03302 Rabe, Florian; Pudlák, Petr; Sutcliffe, Geoff; Shen, Weina 1 2009 THF0 – the core of the TPTP language for higher-order logic. Zbl 1165.68447 Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff 9 2008 Notations for living mathematical documents. Zbl 1166.00304 Kohlhase, Michael; Müller, Christine; Rabe, Florian 7 2008 First-order logic with dependent types. Zbl 1222.03016 Rabe, Florian 3 2006 all cited Publications top 5 cited Publications all top 5 Cited by 172 Authors 37 Rabe, Florian 32 Kohlhase, Michael 10 Kaliszyk, Cezary 8 Horozal, Fulya 8 Müller, Dennis 7 Pąk, Karol 6 Benzmüller, Christoph Ewald 6 Iancu, Mihnea 6 Korniłowicz, Artur 5 Mossakowski, Till 5 Sacerdoti Coen, Claudio 4 Brown, Chad Edward 4 Carette, Jacques 4 Codescu, Mihai 4 Farmer, William M. 4 Gauthier, Thibault 4 Kohlhase, Andrea 4 Naumowicz, Adam 4 Sutcliffe, Geoff 4 Urban, Josef 3 Foster, Simon 3 Grabowski, Adam 3 Guidi, Ferruccio 3 Kirillovich, Aleksandr Vital’evich 3 Lipachëv, E. K. 3 Nevzorova, Ol’ga Avenirovna 3 Wiesing, Tom 2 Awodey, Steve 2 Bancerek, Grzegorz 2 Bauer, Andrej 2 Berčič, Katja 2 Byliński, Czesław 2 Cauderlier, Raphaël 2 Dundua, Besik 2 Elizarov, A. M. 2 Jucovschi, Constantin 2 Kutsia, Temur 2 Lange, Christoph 2 Matuszewski, Roman 2 Miller, Dale Allen 2 Paulson, Lawrence Charles 2 Rothgang, Colin 2 Schütz, Marcel 2 Sojakova, Kristina 2 Sperber, Wolfram 2 Theiss, Frank 2 Wenzel, Makarius 2 Zeyda, Frank 1 Adams, Robin 1 Al Wardani, Farah 1 Alessi, Fabio 1 Auer, Sören 1 Barbosa, Luís Soares 1 Baumeister, Hubert 1 Behr, Nicolas 1 Belo, João Filipe 1 Berges, Marc 1 Bettaz, Mohamed 1 Betzendahl, Jonas 1 Burel, Guillaume 1 Bury, Guillaume 1 Carter, Nathan C. 1 Cave, Andrew 1 Chaudhuri, Kaustuv 1 Chiang, Tsung-Ju 1 Chihani, Zakaria 1 Chugh, Abhishek 1 Ciaffaglione, Alberto 1 De Lon, Adrian 1 Dehaye, Paul-Olivier 1 Delahaye, David 1 Di Gianantonio, Pietro 1 Diaconescu, Răzvan 1 Dubois, Catherine 1 Dunne, Ciarán 1 Fietzke, Arnaud 1 Freitas, Leo 1 Fürsich, Michael 1 Furushima, Hideharu 1 Futatsugi, Kokichi 1 Gambino, Nicola 1 Giceva, Jana 1 Ginev, Deyan 1 Gligorić, Miloš V. 1 Halmagrand, Pierre 1 Harmer, Russ 1 Haselwarter, Philipp G. 1 Hazratpour, Sina 1 Henriques, Pedro Rangel 1 Hermant, Olivier 1 Holub, Štěpán 1 Honsell, Furio 1 Huber, Simon 1 Iacob, Alin 1 Jucovshi, Constantin 1 Kaposi, Ambrus 1 Koepke, Peter 1 Konovalov, Olexandr 1 Koprucki, Thomas 1 Kutz, Oliver ...and 72 more Authors all top 5 Cited in 22 Serials 12 Journal of Automated Reasoning 4 Mathematical Structures in Computer Science 3 Theoretical Computer Science 3 Mathematics in Computer Science 2 Journal of Symbolic Computation 2 Information and Computation 2 Lobachevskii Journal of Mathematics 1 The Mathematical Intelligencer 1 Formal Aspects of Computing 1 AI Communications 1 Selecta Mathematica. New Series 1 Annals of Mathematics and Artificial Intelligence 1 Séminaire Lotharingien de Combinatoire 1 Doklady Mathematics 1 Soft Computing 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic 1 Mathematical Biosciences and Engineering 1 Logica Universalis 1 Logical Methods in Computer Science 1 Journal of Formalized Reasoning 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 10 Fields 116 Computer science (68-XX) 36 Mathematical logic and foundations (03-XX) 5 General and overarching topics; collections (00-XX) 3 Category theory; homological algebra (18-XX) 2 History and biography (01-XX) 2 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Algebraic topology (55-XX) 1 Operations research, mathematical programming (90-XX) 1 Mathematics education (97-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.