Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
571	Cheeger’s inequality revisited Daniel Grieser In this talk, I presented the ideas and results from the preprint ’The first eigenvalue of the Laplacian, isoperimetric constants, and the Max Flow Min Cut Theorem’, ar Add to Reading List Source URL: www.staff.uni-oldenburg.de Language: English - Date: 2014-03-19 05:34:42 Mathematical analysis Calculus Mathematics Operator theory Multivariable calculus Harmonic functions Differential operators Partial differential equations Cheeger constant Laplace operator Isoperimetric inequality Differential forms on a Riemann surface
572	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
573	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D15 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-05-18 04:39:28 Software Automated theorem proving Formal methods Rodin Eclipse Nullsoft Scriptable Install System Rodin tool
574	The Review of Economic Studies Ltd. Resale Markets and the Assignment of Property Rights Author(s): Philippe Jehiel and Benny Moldovanu Source: The Review of Economic Studies, Vol. 66, No. 4 (Oct., 1999), ppPu Add to Reading List Source URL: www.econ2.uni-bonn.de Language: English - Date: 2014-03-26 06:49:17 Economics Market failure Economy Law and economics Public choice theory Public economics Game theory Ronald Coase Externality Coase theorem Mechanism design Market
575	¨ PROSPECTS FOR A NAIVE THEORY OF CLASSES HARTRY FIELD, HARVEY LEDERMAN AND TORE FJETLAND ØGAARD 1. I NTRODUCTION1 Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-11-26 15:35:09 Mathematical logic Logic Mathematics Model theory Predicate logic Automated theorem proving Logic programming Substitution First-order logic Normal distribution Structure Axiom of extensionality
576	Fast Evaluation of Interlace Polynomials on Graphs of Bounded Treewidth Markus Bl¨aser and Christian Hoffmann Saarland University, Germany Abstract. We consider the multivariate interlace polynomial introduced by Courc Add to Reading List Source URL: www-cc.cs.uni-saarland.de Language: English - Date: 2012-05-16 12:04:39 Graph theory Matroid theory Polynomials Tutte polynomial Adjacency matrix Treewidth Tree decomposition Ear decomposition Graph coloring Planar separator theorem
577	Spectral Graph Theory and its Applications September 16, 2004 Lecture 5 Lecturer: Daniel A. Spielman Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2005-06-30 12:02:45 Mathematics Mathematical analysis Geometry Conformal mapping Projective geometry Riemann surfaces Planar graphs Complex analysis Differential geometry of surfaces Constructible universe Brouwer fixed-point theorem Stereographic projection
578	Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:53:13 Software engineering Formal methods Theoretical computer science Automated theorem proving Computing Loop invariant Mathematical proof Rippling Extended static checking Recurrence relation Automated reasoning Invariant
579	A Retraction Theorem for Distributed Synthesis Dietmar Berwanger1 , Anup Basil Mathew1,2 , and R. Ramanujam2 1 2 LSV, CNRS & Université Paris-Saclay, France Add to Reading List Source URL: www.lsv.fr Language: English - Date: 2016-04-22 17:31:27 Game theory Finite model theory Parity game Determinacy Retract Strategy
580	A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates James Brotherston ∗ Carsten Fuhs † Juan A. Navarro P´erez ‡ University College London Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-05-16 12:03:54 Logic Mathematics Abstraction Automated theorem proving Smooth functions Logic programming Logical truth Propositional calculus Substitution Well-formed formula Distribution Constructible universe

UPDATE