Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
531	Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-11-07 08:18:44 Theoretical computer science Automated theorem proving Mathematical logic Software Superposition calculus E theorem prover Vampire Term indexing Resolution Handbook of Automated Reasoning Automated reasoning Unification
532	“THE HOMOTOPY TYPE OF THE COBORDISM CATEGORY” PROPOSAL FOR A SEMINAR PROGRAM WINTERSEMESTERThe main aim of the seminar will be to understand the main theorem in [GMTW07] and its proof. Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2007-11-15 04:50:26 Topology Abstract algebra Algebra Algebraic topology Surgery theory Homotopy theory Differential topology Sheaf theory Sheaf Cobordism Differentiable manifold H-cobordism
533	arXiv:1201.0118v1 [math.SP] 30 DecSpectral Analysis of Certain Spherically Homogeneous Graphs Jonathan Breuer∗ and Matthias Keller† Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-01-03 21:01:04 Graph theory Graph End Graph operations Two-graph Planar separator theorem
534	Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic Mathematics Abstraction Mathematical logic Logical truth Propositional calculus Formal languages Automated theorem proving Substitution Constructible universe Well-formed formula Boolean satisfiability problem
535	287 Documenta Math. Free Curves on Varieties Frank Gounelas Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2016-04-06 05:03:14 Algebra Abstract algebra Geometry Algebraic geometry Ample line bundle Projective variety Proper morphism Divisor Curve Birational geometry RiemannRoch theorem Algebraic variety
536	Course: Probability and Statistics Faculty: Add to Reading List Source URL: idea.uab.es Language: English - Date: 2016-07-20 05:15:31 Statistics Mathematical analysis Probability Statistical theory Estimation theory Probability distributions Probability theory Statistical inference Mathematical statistics Normal distribution Central limit theorem Random variable
537	Econometrica, Vol. 72, No. 5 (September, 2004), 1583–1599 THE THEORY OF GLOBAL GAMES ON TEST: EXPERIMENTAL ANALYSIS OF COORDINATION GAMES WITH PUBLIC AND PRIVATE INFORMATION BY FRANK HEINEMANN, ROSEMARIE NAGEL, AND PE Add to Reading List Source URL: www.macroeconomics.tu-berlin.de Language: English - Date: 2008-11-06 16:20:57 Game theory Mathematics Science and technology Human behavior Risk dominance Nash equilibrium Best response Coordination game Strategy Outcome Solution concept Folk theorem
538	p2p_queueing_perfeval_final.dvi Add to Reading List Source URL: fi.ort.edu.uy Language: English Mathematical analysis Statistics Probability Normal distribution Central limit theorem Leech Markov chain M/M/1 queue
539	Learning and Exploration in Automated Theorem Proving Moa Johansson Chalmers University of Technology Abstract This note describes a new project with the purpose of combining the advantages of statistical machine learnin Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:56 Mathematics Theoretical computer science Automated theorem proving Logic Logic in computer science Mathematical proofs Artificial intelligence Reasoning ACL2 Automated reasoning Proof assistant Isabelle

UPDATE