Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
731	Rational Computations of the Topological K-Theory of Classifying Spaces of Discrete Groups Wolfgang L¨ uck∗ Fachbereich Mathematik Add to Reading List Source URL: 131.220.77.52 Language: English - Date: 2011-03-02 09:33:39 Algebraic topology Homotopy theory Cohomology theories Homological algebra Group cohomology Group theory Equivariant cohomology Classifying space Cohomology AtiyahSegal completion theorem Sylow theorems Kirwan map
732	Modular Bisimulation Theory for Computations and Values Appendix A 17 Add to Reading List Source URL: plancomps.dreamhosters.com Language: English - Date: 2014-11-22 16:20:54 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Stochastic processes Stopping time Primitive recursive functional
733	Error-correction on non-standard communication channels Edward A. Ratzer Christ’s College Cambridge Add to Reading List Source URL: www.inference.phy.cam.ac.uk Language: English - Date: 2003-12-06 17:10:54 Error detection and correction Coding theory Low-density parity-check code Forward error correction Convolutional code Turbo code EXIT chart Noisy-channel coding theorem Linear code Code Block code Binary symmetric channel
734	RAMIFICATION CORRESPONDENCE OF FINITE FLAT GROUP SCHEMES OVER EQUAL AND MIXED CHARACTERISTIC LOCAL FIELDS SHIN HATTORI Abstract. Let p > 2 be a rational prime, k be a perfect field of characteristic p and K be a finite t Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English - Date: 2011-01-01 23:09:08 Algebraic number theory Algebraic topology Complex analysis Algebraic geometry Galois module Galois theory Ramification Valuation Sheaf Linear temporal logic Isomorphism theorem
735	Theory Exploration for Interactive Theorem Proving Moa Johansson Chalmers University of Technology Abstract Theory exploration is an automated reasoning technique for discovering and proving interesting properties about Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-13 09:25:22 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Proof assistants Automated reasoning Isabelle Type theory Mathematical proof First-order logic Theorem IP
736	REDUCED FUSION SYSTEMS OVER 2-GROUPS OF SMALL ORDER KASPER K. S. ANDERSEN, BOB OLIVER, AND JOANA VENTURA Abstract. We prove, when S is a 2-group of order at most 29 , that each reduced fusion system over S is the fusion Add to Reading List Source URL: www.math.univ-paris13.fr Language: English - Date: 2016-06-17 01:47:32 Finite groups Focal subgroup theorem Sylow theorems P-group Index of a subgroup Abelian group XTR Simple group Center Quasidihedral group PSL Normal p-complement
737	479 Documenta Math. Kato Homology of Arithmetic Schemes and Higher Class Field Theory Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-12-22 16:28:39 Cohomology theories Algebraic geometry Algebraic number theory Homological algebra Conjectures Motivic cohomology Algebraic K-theory Cohomology tale cohomology Milnor K-theory Norm residue isomorphism theorem Brauer group
738	Journal of Artificial Intelligence Research–228 Submitted 03/09; publishedHypertableau Reasoning for Description Logics Boris Motik Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Automated theorem proving Logic programming Logic in computer science Method of analytic tableaux Admissible rule Modal logic Unification
739	PII: 0012-365X Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2005-05-30 15:06:00 Graph coloring Graph theory Pathwidth Graph minor Tree Graph Planar separator theorem
740	769 Documenta Math. Characterisation of the Berkovich Spectrum of the Banach Algebra of Bounded Continuous Functions Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2014-07-14 07:18:55 General topology Hausdorff space Banach space Open and closed maps Compact space Banach algebra Boolean algebra Filter Berkovich space Net Stoneech compactification HahnBanach theorem

UPDATE