Edit Profile Brown, Chad Edward Compute Distance To: Compute Author ID: brown.chad-edward Published as: Brown, C.; Brown, Chad; Brown, Chad E.; Brown, Chad Edward External Links: MGP Documents Indexed: 34 Publications since 1996, including 2 Books all top 5 Co-Authors 11 single-authored 7 Benzmüller, Christoph Ewald 4 Kohlhase, Michael 3 Smolka, Gert 2 Andrews, Peter B. 2 Backes, Julian 2 Pąk, Karol 2 Sutcliffe, Geoff 2 Urban, Josef 1 Anuradha, V. 1 Bishop, Matthew 1 Färber, Michael 1 Gauthier, Thibault 1 Horozal, Feryal Fulya 1 Kaliszyk, Cezary 1 Rizkallah, Christine 1 Shivaji, Ratnasingham 1 Siekmann, Jörg H. 1 Statman, Richard 1 Theiss, Frank all top 5 Serials 3 Journal of Automated Reasoning 2 The Journal of Symbolic Logic 2 Studies in Logic (London) 2 Logical Methods in Computer Science 1 Journal of Applied Logic 1 Formalized Mathematics 1 Nonlinear Analysis. Theory, Methods & Applications all top 5 Fields 22 Computer science (68-XX) 20 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Ordinary differential equations (34-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 26 Publications have been cited 111 times in 66 Documents Cited by ▼ Year ▼ Satallax: an automatic higher-order prover. Zbl 1358.68250Brown, Chad E. 19 2012 Higher-order semantics and extensionality. Zbl 1071.03024Benzmüller, Christoph; Brown, Chad E.; Kohlhase, Michael 19 2004 Explosive nonnegative solutions to two point boundary value problems. Zbl 0846.34015Anuradha, V.; Brown, Chad; Shivaji, R. 13 1996 TPS: A hybrid automatic-interactive system for developing proofs. Zbl 1107.68091Andrews, Peter B.; Brown, Chad E. 9 2006 Cut-simulation and impredicativity. Zbl 1160.03004Benzmüller, Christoph E.; Brown, Chad E.; Kohlhase, Michael 6 2009 Automated reasoning in higher-order logic. Set comprehension and extensionality in Church’s type theory. Zbl 1206.03014Brown, Chad E. 6 2007 Analytic tableaux for higher-order logic with choice. Zbl 1291.03015Backes, Julian; Brown, Chad E. 5 2010 Combining type theory and untyped set theory. Zbl 1222.03012Brown, Chad E. 5 2006 System description: TPS: A theorem proving system for type theory. Zbl 0963.68530Andrews, Peter B.; Bishop, Matthew; Brown, Chad E. 5 2000 Analytic tableaux for simple type theory and its first-order fragment. Zbl 1198.03022Brown, Chad E.; Smolka, Gert 4 2010 Reducing higher-order theorem proving to a sequence of SAT problems. Zbl 1314.68276Brown, Chad E. 2 2013 Analytic tableaux for higher-order logic with choice. Zbl 1258.03019Backes, Julian; Brown, Chad Edward 2 2011 Terminating tableaux for the basic fragment of simple type theory. Zbl 1260.03013Brown, Chad E.; Smolka, Gert 2 2009 Solving for set variables in higher-order theorem proving. Zbl 1072.68566Brown, Chad E. 2 2002 GRUNGE: a grand unified ATP challenge. Zbl 07178973Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef 1 2019 Internal guidance for Satallax. Zbl 06623272Färber, Michael; Brown, Chad 1 2016 Extracting higher-order goals from the Mizar Mathematical Library. Zbl 1344.68203Brown, Chad E.; Urban, Josef 1 2016 Glivenko and Kuroda for simple type theory. Zbl 1337.03015Brown, Chad E.; Rizkallah, Christine 1 2014 Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation. Zbl 1253.68371Linton, S.; Hammond, K.; Konovalov, A.; Brown, C.; Trinder, P. W.; Loidl, H.-W.; Horn, P.; Roozemond, D. 1 2013 Reducing higher-order theorem proving to a sequence of SAT problems. Zbl 1314.68275Brown, Chad E. 1 2011 Extended first-order logic. Zbl 1252.03026Brown, Chad E.; Smolka, Gert 1 2009 Progress in the development of automated theorem proving for higher-order logic. Zbl 1250.68236Sutcliffe, Geoff; Benzmüller, Christoph; Brown, Chad E.; Theiss, Frank 1 2009 Formal representation of mathematics in a dependently typed set theory. Zbl 1202.68380Horozal, Feryal Fulya; Brown, Chad E. 1 2007 Verifying and invalidating textbook proofs using Scunak. Zbl 1188.68259Brown, Chad E. 1 2006 Reasoning in extensional type theory with equality. Zbl 1135.68551Brown, Chad E. 1 2005 A structured set of higher-order problems. Zbl 1152.68517Benzmüller, Christoph E.; Brown, Chad E. 1 2005 GRUNGE: a grand unified ATP challenge. Zbl 07178973Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef 1 2019 Internal guidance for Satallax. Zbl 06623272Färber, Michael; Brown, Chad 1 2016 Extracting higher-order goals from the Mizar Mathematical Library. Zbl 1344.68203Brown, Chad E.; Urban, Josef 1 2016 Glivenko and Kuroda for simple type theory. Zbl 1337.03015Brown, Chad E.; Rizkallah, Christine 1 2014 Reducing higher-order theorem proving to a sequence of SAT problems. Zbl 1314.68276Brown, Chad E. 2 2013 Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation. Zbl 1253.68371Linton, S.; Hammond, K.; Konovalov, A.; Brown, C.; Trinder, P. W.; Loidl, H.-W.; Horn, P.; Roozemond, D. 1 2013 Satallax: an automatic higher-order prover. Zbl 1358.68250Brown, Chad E. 19 2012 Analytic tableaux for higher-order logic with choice. Zbl 1258.03019Backes, Julian; Brown, Chad Edward 2 2011 Reducing higher-order theorem proving to a sequence of SAT problems. Zbl 1314.68275Brown, Chad E. 1 2011 Analytic tableaux for higher-order logic with choice. Zbl 1291.03015Backes, Julian; Brown, Chad E. 5 2010 Analytic tableaux for simple type theory and its first-order fragment. Zbl 1198.03022Brown, Chad E.; Smolka, Gert 4 2010 Cut-simulation and impredicativity. Zbl 1160.03004Benzmüller, Christoph E.; Brown, Chad E.; Kohlhase, Michael 6 2009 Terminating tableaux for the basic fragment of simple type theory. Zbl 1260.03013Brown, Chad E.; Smolka, Gert 2 2009 Extended first-order logic. Zbl 1252.03026Brown, Chad E.; Smolka, Gert 1 2009 Progress in the development of automated theorem proving for higher-order logic. Zbl 1250.68236Sutcliffe, Geoff; Benzmüller, Christoph; Brown, Chad E.; Theiss, Frank 1 2009 Automated reasoning in higher-order logic. Set comprehension and extensionality in Church’s type theory. Zbl 1206.03014Brown, Chad E. 6 2007 Formal representation of mathematics in a dependently typed set theory. Zbl 1202.68380Horozal, Feryal Fulya; Brown, Chad E. 1 2007 TPS: A hybrid automatic-interactive system for developing proofs. Zbl 1107.68091Andrews, Peter B.; Brown, Chad E. 9 2006 Combining type theory and untyped set theory. Zbl 1222.03012Brown, Chad E. 5 2006 Verifying and invalidating textbook proofs using Scunak. Zbl 1188.68259Brown, Chad E. 1 2006 Reasoning in extensional type theory with equality. Zbl 1135.68551Brown, Chad E. 1 2005 A structured set of higher-order problems. Zbl 1152.68517Benzmüller, Christoph E.; Brown, Chad E. 1 2005 Higher-order semantics and extensionality. Zbl 1071.03024Benzmüller, Christoph; Brown, Chad E.; Kohlhase, Michael 19 2004 Solving for set variables in higher-order theorem proving. Zbl 1072.68566Brown, Chad E. 2 2002 System description: TPS: A theorem proving system for type theory. Zbl 0963.68530Andrews, Peter B.; Bishop, Matthew; Brown, Chad E. 5 2000 Explosive nonnegative solutions to two point boundary value problems. Zbl 0846.34015Anuradha, V.; Brown, Chad; Shivaji, R. 13 1996 all cited Publications top 5 cited Publications all top 5 Cited by 89 Authors 17 Benzmüller, Christoph Ewald 8 Brown, Chad Edward 5 Rabe, Florian 5 Woltzenlogel Paleo, Bruno 5 Yang, Zuodong 4 Paulson, Lawrence Charles 4 Urban, Josef 3 Steen, Alexander 3 Wisniewski, Max 2 Blanchette, Jasmin Christian 2 Böhme, Sascha 2 Hasan, Osman 2 Horozal, Fulya 2 Kaliszyk, Cezary 2 Liu, Chunlian 2 Sultana, Nik 2 Tahar, Sofiène 2 Theiss, Frank 2 Zhang, Zhijun 1 Afrouzi, Ghasem Alizadeh 1 Ahmad, Waqar 1 Ahmed, Waqar 1 Andrews, Peter B. 1 Anuradha, V. 1 Backes, Julian 1 Berger, Ulrich 1 Carette, Jacques 1 Dixon, Lucas 1 Dowek, Gilles 1 Du, Yihong 1 Fan, Yonghong 1 Färber, Michael 1 Farmer, William M. 1 Fleuriot, Jacques D. 1 Fleury, Mathias 1 Fuenmayor, David 1 Gabbay, Murdoch James 1 Guerrieri, Giulio 1 Guo, Zongming 1 Hamdi, Mohammad Salah 1 Hetzl, Stefan 1 Hou, Tie 1 Iancu, Mihnea 1 Janičić, Predrag 1 Kanckos, Annika 1 Kaufmann, Matt 1 Kern, Kim 1 Kfoury, Assaf J. 1 Kirchner, Hélène 1 Kohlhase, Michael 1 Kovács, Zoltán 1 Kühlwein, Daniel 1 Lapets, Andrei 1 Leitsch, Alexander 1 Lipton, James B. 1 Lu, Qishao 1 Marinković, Vesna 1 Maya, C. 1 Minimair, Manfred 1 Moghaddam, M. Khaleghy 1 Moore, J Strother 1 Naibo, Alberto 1 Nieva, Susana 1 Nikolić, Mladen 1 Omodeo, Eugenio Giovanni 1 Pąk, Karol 1 Parent, Xavier 1 Scott, Dana Stewart 1 Shang, Junli 1 Shi, Junping 1 Shivaji, Ratnasingham 1 Simpson, Carlos Tschudi 1 Slaney, John K. 1 Smolka, Gert 1 Smolka, Steffen Juilf 1 Sojakova, Kristina 1 Steckermeier, Albert 1 Sutcliffe, Geoff 1 Tao, Shuangping 1 Tomescu, Alexandru Ioan 1 Twizell, E. H. 1 van der Torre, Leendert W. N. 1 Vyskočil, Jiří 1 Wang, Linlin 1 Wang, Shin-Hwa 1 Weber, Leon 1 Weller, Daniel S. 1 Yan, Shusen 1 Yuan, Junli all top 5 Cited in 22 Serials 11 Journal of Automated Reasoning 3 Applied Mathematics and Computation 3 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 3 Theoretical Computer Science 2 Studia Logica 2 MSCS. Mathematical Structures in Computer Science 2 Annals of Mathematics and Artificial Intelligence 2 Journal of Applied Logic 2 Logica Universalis 1 Artificial Intelligence 1 Computers & Mathematics with Applications 1 Journal of Mathematical Analysis and Applications 1 Letters in Mathematical Physics 1 Chaos, Solitons and Fractals 1 Journal of Differential Equations 1 Journal of Philosophical Logic 1 Annals of Pure and Applied Logic 1 Applied Mathematics Letters 1 Formal Aspects of Computing 1 Boundary Value Problems 1 Complex Variables and Elliptic Equations 1 Mathematics in Computer Science all top 5 Cited in 8 Fields 42 Computer science (68-XX) 27 Mathematical logic and foundations (03-XX) 8 Partial differential equations (35-XX) 6 Ordinary differential equations (34-XX) 1 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) 1 Geometry (51-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year