Chad Edward Brown

Available identifiers

zbMath Open brown.chad-edwardMaRDI QIDQ438560

List of research outcomes

Publication	Date of Publication	Type
Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.	2023-02-03	Paper
Lash 1.0 (system description)	2022-12-07	Paper
Prolog Technology Reinforcement Learning Prover	2022-11-09	Paper
AIM loops and the AIM conjecture	2020-03-10	Paper
GRUNGE: a grand unified ATP challenge	2020-03-10	Paper
A tale of two set theories	2020-01-22	Paper
Cantor-Bernstein implies Excluded Middle	2019-04-19	Paper
Internal Guidance for Satallax	2016-09-05	Paper
Extracting Higher-Order Goals from the Mizar Mathematical Library	2016-08-30	Paper
Reconsidering pairs and functions as sets	2016-05-26	Paper
Reducing higher-order theorem proving to a sequence of SAT problems	2015-06-23	Paper
GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY	2014-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q2871865	2014-01-10	Paper
Satallax: An Automatic Higher-Order Prover	2012-09-05	Paper
Analytic tableaux for higher-order logic with choice	2012-07-31	Paper
Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems	2011-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q3086775	2011-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q3086777	2011-03-30	Paper
Analytic Tableaux for Higher-Order Logic with Choice	2010-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q3586992	2010-09-01	Paper
Analytic Tableaux for Simple Type Theory and its First-Order Fragment	2010-07-27	Paper
Terminating Tableaux for the Basic Fragment of Simple Type Theory	2009-12-01	Paper
Extended First-Order Logic	2009-10-20	Paper
Progress in the Development of Automated Theorem Proving for Higher-Order Logic	2009-07-28	Paper
Cut-Simulation and Impredicativity	2009-04-29	Paper
Combining Type Theory and Untyped Set Theory	2009-03-12	Paper
Cut-Simulation in Impredicative Logics	2009-03-12	Paper
Formal Representation of Mathematics in a Dependently Typed Set Theory	2007-11-28	Paper
Verifying and Invalidating Textbook Proofs Using Scunak	2007-09-05	Paper
TPS: A hybrid automatic-interactive system for developing proofs	2007-02-20	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper
Higher-order semantics and extensionality	2005-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q4809075	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q2723416	2001-07-05	Paper
Explosive nonnegative solutions to two point boundary value problems	1996-02-12	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Chad Edward Brown