Isabelle/Isar swMATH ID: 2006 Software Authors: Wenzel, Markus; et al. Description: Building formal method tools in the Isabelle/Isar framework ——— siehe Isar sid: 4599 Homepage: http://isabelle.in.tum.de/Isar/ Related Software: Isabelle/HOL; Isabelle; Isar; Coq; HOL; Mizar; Archive Formal Proofs; Sledgehammer; HOL Light; PVS; Proof General; ML; Isabelle/jEdit; z3; kepler98; Agda; Locales; Nominal Isabelle; ACL2; PIDE Cited in: 110 Documents all top 5 Cited by 149 Authors 11 Wenzel, Makarius 8 Nipkow, Tobias 6 Wiedijk, Freek 5 Ballarin, Clemens 5 Pąk, Karol 4 Berghofer, Stefan 4 Kaliszyk, Cezary 4 Maletzky, Alexander 4 Paulson, Lawrence Charles 4 Wolff, Burkhart 3 Fleuriot, Jacques D. 3 Hölzl, Johannes 3 Kahl, Wolfram 3 Marić, Filip 3 Narboux, Julien 3 Schlichtkrull, Anders 2 Arthan, Rob D. 2 Avigad, Jeremy 2 Berghammer, Rudolf 2 Bisping, Benjamin 2 Blanchette, Jasmin Christian 2 Haftmann, Florian 2 Höfner, Peter 2 Hupel, Lars 2 Immler, Fabian 2 Janičić, Predrag 2 Kunčar, Ondřej 2 Lüth, Christoph 2 Marmsoler, Diego 2 Montanari, Luisa 2 Palmer, Jake E. 2 Parsert, Julian 2 Plump, Detlef 2 Popescu, Andrei 2 Schmoetten, Richard 2 Söldner, Robert 1 Aboul-Hosn, Kamal 1 Aransay, Jesús 1 Armstrong, Alasdair 1 Aspinall, David 1 Barras, Bruno 1 Bauer, Gertrud 1 Bengtson, Jesper 1 Bezem, Marc 1 Billingsley, William 1 Blakqori, Genc 1 Bøgsted Poulsen, Danny 1 Bortin, Maksym 1 Boutry, Pierre 1 Braibant, Thomas 1 Braun, Gabriel 1 Brinkop, Hauke 1 Brucker, Achim D. 1 Butterfield, Andrew 1 Ciolli, Gianni 1 De Lon, Adrian 1 del Carmen González Huesca, Lourdes 1 Diaz, Javier 1 Esparza, Javier 1 Ferreira, João Filipe 1 Fleury, Mathias 1 Furusawa, Hitoshi 1 Gast, Holger 1 Gentili, Graziano 1 Geuvers, Jan Herman 1 Gidey, Habtom Kashay 1 Giorgino, Mathieu 1 Grov, Gudmund 1 Guttmann, Walter 1 Hales, Thomas Callister 1 He, Jifeng 1 Heras, Jónathan 1 Herbelin, Hugo 1 Hernández-Orozco, Santiago 1 Hernández-Quiroz, Francisco 1 Huffman, Brian J. 1 Jeltsch, Wolfgang 1 Jensen, Alexander Birch 1 Johnsen, Einar Broch 1 Ketland, Jeffrey 1 Koepke, Peter 1 Kohlhase, Michael 1 Kozen, Dexter C. 1 Krauss, Alexander 1 Křetínský, Jan 1 Kulczynski, Mitja 1 Kuncak, Viktor 1 Larsen, John Bruntse 1 Leino, K. Rustan M. 1 Li, Liming 1 Li, Qin 1 Lin, Yuhui 1 Lochbihler, Andreas 1 Lorenzen, Anton 1 Lotz, Kevin 1 Maggesi, Marco 1 Martín-Mateos, Francisco-Jesús 1 Matichuk, Daniel 1 McKinna, James 1 Mehta, Farhad ...and 49 more Authors all top 5 Cited in 19 Serials 19 Journal of Automated Reasoning 3 Information and Computation 3 Logical Methods in Computer Science 2 Synthese 2 Formal Aspects of Computing 1 Journal of Symbolic Computation 1 AI Communications 1 Applicable Algebra in Engineering, Communication and Computing 1 Formal Methods in System Design 1 Journal of Applied Non-Classical Logics 1 Nordic Journal of Computing 1 Informatica (Vilnius) 1 Journal of Applied Logic 1 Parallel Processing Letters 1 Lecture Notes in Computer Science 1 The Review of Symbolic Logic 1 Journal of Formalized Reasoning 1 Frontiers of Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 18 Fields 108 Computer science (68-XX) 29 Mathematical logic and foundations (03-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 3 Combinatorics (05-XX) 3 Commutative algebra (13-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) 2 Geometry (51-XX) 2 Relativity and gravitational theory (83-XX) 1 Number theory (11-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Functions of a complex variable (30-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Ordinary differential equations (34-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year