Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
651	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-06-15 11:37:40 Model theory Automated theorem proving Resolution First-order logic IP Interpretation
652	The Conley-Zehnder Theorem Luka Zwaan a thesis submitted to the Department of Mathematics at Utrecht University in partial fulfillment of the requirements for the Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2016-06-27 08:56:00 Symplectic geometry Hamiltonian mechanics Symplectic topology Differential topology Dynamical systems Symplectomorphism Floer homology Symplectic manifold ConleyZehnder theorem Symplectic Cotangent bundle Manifold
653	891 Documenta Math. On Base Change Theorem and Coherence in Rigid Cohomology Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2003-12-22 16:28:52 Algebraic geometry Sheaf theory Cohomology theories Coherent sheaf Sheaf Crystalline cohomology Cohomology Proper morphism Isocrystal Vector bundle ech cohomology Frobenius endomorphism
654	A Proofs Theorem 1. For a positive semidefinite matrix L and x ∈ [0, 1]N , XY Y Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2012-11-11 23:59:53 Mathematical physics Integral calculus Riemannian geometry Operator theory Morphism of algebraic varieties BakerCampbellHausdorff formula
655	Boston University PhD Topics course in Contract Theory Dilip Mookherjee SOLUTIONS TO EC717 MIDTERM EXAM, FALL 2015 Add to Reading List Source URL: people.bu.edu Language: English - Date: 2015-11-19 10:21:51 Statistical theory Estimation theory HjekLe Cam convolution theorem Bearing pressure
656	The Complexity of Translation Membership for Macro Tree Transducers Kazuhiro Inaba Sebastian Maneth Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:43:25 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol Structure
657	Kirchberg’s Factorization Property for Discrete Quantum Groups Shuzhou Wang University of Georgia Add to Reading List Source URL: www.wiko-greifswald.de Language: English - Date: 2016-07-21 05:44:29 Operator theory Von Neumann algebra Matrix theory Linear algebra Representation theory of Lie groups Representation theory Spectral theory of ordinary differential equations Commutation theorem
658	DERIVING SAFETY CASES FROM AUTOMATICALLY CONSTRUCTED PROOFS Nurlida Basir, Ewen Denney† and Bernd Fischer * ECS, University of Southampton, Southampton, SO17 1BJ, UK (nb206r, b.fischer)@ecs.soton.ac.uk † Add to Reading List Source URL: ti.arc.nasa.gov Language: English Proof theory Mathematical proof Theorem Natural deduction Automated reasoning Formal methods Formal proof Automated theorem proving Argument KeY Sequent First-order logic
659	Microsoft PowerPoint - Lecture1.ppt [Compatibility Mode] Add to Reading List Source URL: www.prague-sum.com Language: English - Date: 2014-08-26 09:05:16 Non-Newtonian fluids Computational fluid dynamics Condensed matter physics Dissipative particle dynamics Soft matter Non-equilibrium thermodynamics Molecular dynamics Fluctuation-dissipation theorem NavierStokes equations Complex fluid Dynamics
660	Asset Demand and Ambiguity Aversion Chiaki Hara and Toshiki Honda Kyoto University and Hitotsubashi University Swiss-Kyoto Symposium November 21, 2013 Add to Reading List Source URL: www.ccfz.ch Language: English - Date: 2013-11-25 09:42:35 Decision theory Financial risk Actuarial science Mathematical finance Financial economics Ambiguity aversion Hyperbolic absolute risk aversion Mutual fund separation theorem Risk aversion Portfolio optimization Kyoto Hitotsubashi University

UPDATE