×

zbMATH — the first resource for mathematics

Brown, Chad Edward

Compute Distance To:
Author ID: brown.chad-edward Recent zbMATH articles by "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

Publications by Year

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.68250
Brown, Chad E.
19
2012
Higher-order semantics and extensionality. Zbl 1071.03024
Benzmüller, Christoph; Brown, Chad E.; Kohlhase, Michael
19
2004
Explosive nonnegative solutions to two point boundary value problems. Zbl 0846.34015
Anuradha, V.; Brown, Chad; Shivaji, R.
13
1996
TPS: A hybrid automatic-interactive system for developing proofs. Zbl 1107.68091
Andrews, Peter B.; Brown, Chad E.
9
2006
Cut-simulation and impredicativity. Zbl 1160.03004
Benzmü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.03014
Brown, Chad E.
6
2007
Analytic tableaux for higher-order logic with choice. Zbl 1291.03015
Backes, Julian; Brown, Chad E.
5
2010
Combining type theory and untyped set theory. Zbl 1222.03012
Brown, Chad E.
5
2006
System description: TPS: A theorem proving system for type theory. Zbl 0963.68530
Andrews, Peter B.; Bishop, Matthew; Brown, Chad E.
5
2000
Analytic tableaux for simple type theory and its first-order fragment. Zbl 1198.03022
Brown, Chad E.; Smolka, Gert
4
2010
Reducing higher-order theorem proving to a sequence of SAT problems. Zbl 1314.68276
Brown, Chad E.
2
2013
Analytic tableaux for higher-order logic with choice. Zbl 1258.03019
Backes, Julian; Brown, Chad Edward
2
2011
Terminating tableaux for the basic fragment of simple type theory. Zbl 1260.03013
Brown, Chad E.; Smolka, Gert
2
2009
Solving for set variables in higher-order theorem proving. Zbl 1072.68566
Brown, Chad E.
2
2002
GRUNGE: a grand unified ATP challenge. Zbl 07178973
Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef
1
2019
Internal guidance for Satallax. Zbl 06623272
Färber, Michael; Brown, Chad
1
2016
Extracting higher-order goals from the Mizar Mathematical Library. Zbl 1344.68203
Brown, Chad E.; Urban, Josef
1
2016
Glivenko and Kuroda for simple type theory. Zbl 1337.03015
Brown, Chad E.; Rizkallah, Christine
1
2014
Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation. Zbl 1253.68371
Linton, 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.68275
Brown, Chad E.
1
2011
Extended first-order logic. Zbl 1252.03026
Brown, Chad E.; Smolka, Gert
1
2009
Progress in the development of automated theorem proving for higher-order logic. Zbl 1250.68236
Sutcliffe, Geoff; Benzmüller, Christoph; Brown, Chad E.; Theiss, Frank
1
2009
Formal representation of mathematics in a dependently typed set theory. Zbl 1202.68380
Horozal, Feryal Fulya; Brown, Chad E.
1
2007
Verifying and invalidating textbook proofs using Scunak. Zbl 1188.68259
Brown, Chad E.
1
2006
Reasoning in extensional type theory with equality. Zbl 1135.68551
Brown, Chad E.
1
2005
A structured set of higher-order problems. Zbl 1152.68517
Benzmüller, Christoph E.; Brown, Chad E.
1
2005
GRUNGE: a grand unified ATP challenge. Zbl 07178973
Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef
1
2019
Internal guidance for Satallax. Zbl 06623272
Färber, Michael; Brown, Chad
1
2016
Extracting higher-order goals from the Mizar Mathematical Library. Zbl 1344.68203
Brown, Chad E.; Urban, Josef
1
2016
Glivenko and Kuroda for simple type theory. Zbl 1337.03015
Brown, Chad E.; Rizkallah, Christine
1
2014
Reducing higher-order theorem proving to a sequence of SAT problems. Zbl 1314.68276
Brown, Chad E.
2
2013
Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation. Zbl 1253.68371
Linton, 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.68250
Brown, Chad E.
19
2012
Analytic tableaux for higher-order logic with choice. Zbl 1258.03019
Backes, Julian; Brown, Chad Edward
2
2011
Reducing higher-order theorem proving to a sequence of SAT problems. Zbl 1314.68275
Brown, Chad E.
1
2011
Analytic tableaux for higher-order logic with choice. Zbl 1291.03015
Backes, Julian; Brown, Chad E.
5
2010
Analytic tableaux for simple type theory and its first-order fragment. Zbl 1198.03022
Brown, Chad E.; Smolka, Gert
4
2010
Cut-simulation and impredicativity. Zbl 1160.03004
Benzmüller, Christoph E.; Brown, Chad E.; Kohlhase, Michael
6
2009
Terminating tableaux for the basic fragment of simple type theory. Zbl 1260.03013
Brown, Chad E.; Smolka, Gert
2
2009
Extended first-order logic. Zbl 1252.03026
Brown, Chad E.; Smolka, Gert
1
2009
Progress in the development of automated theorem proving for higher-order logic. Zbl 1250.68236
Sutcliffe, 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.03014
Brown, Chad E.
6
2007
Formal representation of mathematics in a dependently typed set theory. Zbl 1202.68380
Horozal, Feryal Fulya; Brown, Chad E.
1
2007
TPS: A hybrid automatic-interactive system for developing proofs. Zbl 1107.68091
Andrews, Peter B.; Brown, Chad E.
9
2006
Combining type theory and untyped set theory. Zbl 1222.03012
Brown, Chad E.
5
2006
Verifying and invalidating textbook proofs using Scunak. Zbl 1188.68259
Brown, Chad E.
1
2006
Reasoning in extensional type theory with equality. Zbl 1135.68551
Brown, Chad E.
1
2005
A structured set of higher-order problems. Zbl 1152.68517
Benzmüller, Christoph E.; Brown, Chad E.
1
2005
Higher-order semantics and extensionality. Zbl 1071.03024
Benzmüller, Christoph; Brown, Chad E.; Kohlhase, Michael
19
2004
Solving for set variables in higher-order theorem proving. Zbl 1072.68566
Brown, Chad E.
2
2002
System description: TPS: A theorem proving system for type theory. Zbl 0963.68530
Andrews, Peter B.; Bishop, Matthew; Brown, Chad E.
5
2000
Explosive nonnegative solutions to two point boundary value problems. Zbl 0846.34015
Anuradha, V.; Brown, Chad; Shivaji, R.
13
1996
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

Citations by Year