Proof mining - PDFSEARCH.IO - Document Search Engine

Proof mining
Results: 36

#	Item
1	Proof of Bitcoin Node A Mechanism for a Bitcoin Full Node Incentives & Bitcoin Mining Rewards Program Ahmed Zsales, Daniel Ames, Georgem, Chaositech, WoodenBush, Coins101 OctoberAbstract Add to Reading List Source URL: spreadcoin.info Language: English - Date: 2015-10-11 11:00:09
2	Mining the Archive of Formal Proofs? Jasmin Christian Blanchette1,2 , Maximilian Haslbeck3 , Daniel Matichuk4,5 , and Tobias Nipkow3 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-09 06:37:36 Automated theorem proving Mathematics Mathematical proofs Logic Logical consequence Statements Theorem Creativity Lemma Proof assistant Mathematical logic
3	Applied Foundations: Proof Mining in Mathematics Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:06 Logic Proof theory Mathematical logic Mathematics Proof mining Mathematical proof Consistency Constructive proof Formal proof Intuitionistic logic Approximation Type theory
4	PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS ULRICH KOHLENBACH AND PAULO OLIVA Abstract. We call proof mining the process of logically analyzing proofs in mathematics with the aim of obtaining new i Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:21:17 Mathematical logic Quantification Logic Semantics Peano axioms Symbol Constructible universe Universal quantification Interpretation Uniform boundedness principle Witness Combinatory logic
5	Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2016-05-30 12:23:35 Formal sciences Metalogic Proof theory Philosophers of mathematics Mathematical logic Proof mining Logic Foundations of mathematics Workshop on Logic Language Information and Computation Mathematics Type theory Model theory
6	Applications of Proof Interpretations Philipp Gerhardy PhD Dissertation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2006-09-13 09:52:38 Logic Mathematics Abstraction Model theory Mathematical logic Proof theory Constructivism Jacques Herbrand Proof mining Term algebra First-order logic Fixed-point theorem
7	Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C, Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:33:41 Mathematical analysis Mathematics Operator theory Computability theory Approximation theory Fourier analysis Modulus of continuity Primitive recursive function Linear temporal logic Differential forms on a Riemann surface
8	Fachbereich Mathematik Proof mining and combinatorics Program extraction for Ramsey’s theorem for pairs Vom Fachbereich Mathematik Add to Reading List Source URL: tuprints.ulb.tu-darmstadt.de Language: English - Date: 2012-05-15 05:15:29 Mathematics Topology Mathematical analysis Computability theory General topology Proof theory Mathematical logic Reverse mathematics BolzanoWeierstrass theorem HeineBorel theorem Intermediate value theorem Primitive recursive function
9	Formal proof mining, a structure-oriented approach Matthias Puech∗ October 9, 2009 Large corpora of formal proofs have been developed over the years, that sit in Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2011-05-20 08:53:24