Arrange by
View
All Documents
Some Documents
Books
Articles in Refereed Journals
Articles in Proceedings of Conferences
Articles in Collections
Workshops Articles
System Descriptions
Technical Reports
Slides
Abstracts
Dissertation
Misc
Formal Documents
Teaching Experience
Code Summary
Code Details
Please respect all copyrights when downloading.

Books

1Chad E. Brown. Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory. 2007. Available through Amazon

Articles in Refereed Journals

2Christoph Benzmüller, Chad E. Brown, Michael Kohlhase. Higher-order semantics and extensionality. Journal of Symbolic Logic 69:1027-1088, 2004. bib pdf
3Peter B. Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Frank Pfenning, Hongwei Xi. ETPS: A System to Help Students Write Formal Proofs. J. Autom. Reasoning 32:75-92, 2004.
4Peter B. Andrews, Chad E. Brown. TPS: A hybrid automatic-interactive system for developing proofs. J. Applied Logic 4:367-395, 2006.
5V. Anuradha, C. E. Brown, and R. Shivaji. Explosive non-negative solutions to two point boundary value problem, J. Nonlinear Analysis, TMA 26(3), 1996, pp. 613-630.

Articles in Proceedings of Conferences

6Feryal Fulya Horozal, Chad E. Brown. Formal Representation of Mathematics in a Dependently Typed Set Theory. Toward Mechanized Mathematical Assistants (MKM 2007) 265-279, 2007. pdf
7Chad E. Brown. Verifying and Invalidating Textbook Proofs using Scunak. Mathematical Knowledge Management, MKM 2006 110-123, 2006. ps pdf bib
8Chad E. Brown. Combining Type Theory and Untyped Set Theory. 2006. ps pdf bib
9Christoph Benzmüller, Chad E. Brown. A Structured Set of Higher-Order Problems. TPHOLs 66-81, 2005. bib pdf
10Chad E. Brown. Reasoning in Extensional Type Theory with Equality. CADE 23-37, 2005. bib ps pdf
11Chad E. Brown. Solving for Set Variables in Higher-Order Theorem Proving. CADE 408-422, 2002. ps
12Christoph Benzmüller, Chad E. Brown, Michael Kohlhase. Cut-Simulation in Impredicative Logics. IJCAR 220-234, 2006. bib pdf

Articles in Collections

13Christoph Benzmüller, Chad E. Brown, Michael Kohlhase. Cut Elimination with xi-Functionality. Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday, 2008. bib pdf
to appear
14Chad E. Brown. M-Set Models. Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday, 2008. bib pdf
to appear
15Christoph Benzmüller, Chad E. Brown. The Curious Inference of Boolos in Mizar and OMEGA. From Insight to Proof: Festschrift in Honour of Andrzej Trybulec Studies in Logic, Grammar and Rhetoric. Editors R. Matuszewski and A. Zalewska. University of Bialystok. 10(23), 299--386. 2007 bib pdf

Workshops Articles

16Chad E. Brown. Encoding Functional Relations in Scunak. LFMTP'2006, 2006. pdf bib

System Descriptions

17Peter B. Andrews, Matthew Bishop, Chad E. Brown. System Description: TPS: A Theorem Proving System for Type Theory. CADE 164-169, 2000. ps

Technical Reports

18Christoph Benzmüller, Chad E. Brown, Michael Kohlhase. Department of Mathematical Sciences, Carnegie Mellon University. 03-001. 2003.
19Peter B. Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Frank Pfenning, Hongwei Xi. ETPS: A System to Help Students Write Formal Proofs. Department of Mathematical Sciences, Carnegie Mellon University. 03-002. 2003.