Operator - PDFSEARCH.IO - Document Search Engine

Operator
Results: 18047

#	Item
921	Spectral Graph Theory Lecture 7 Cheeger’s Inequality Daniel A. Spielman Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2012-08-24 09:50:05 Operator theory Complex analysis Partial differential equations Automated theorem proving Logic programming Substitution Differential forms on a Riemann surface
922	Model Finding for Recursive Functions in SMT Andrew Reynolds1 , Jasmin Christian Blanchette2,3 , Simon Cruanes2 , and Cesare Tinelli1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-28 12:04:25 Model theory Interpretation First-order logic Symbol Structure operator Principia Mathematica
923	Linear unary operators in process algebra Linear unary operators in process algebra Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-08-09 06:42:47 Operator theory Algebra of Communicating Processes Process calculi Abstract algebra Modal logic Von Neumann algebra Algebra Unary operation
924	Laplacians and Heat Kernels: Theory and Applications (15w5110) Denis Grebenkov (Ecole Polytechnique), Peter Jones (Yale University), Naoki Saito (University of California, Davis– Add to Reading List Source URL: www.birs.ca Language: English - Date: 2015-05-21 21:40:11 Spectral theory Partial differential equations Differential operators Multivariable calculus Fourier analysis Laplace operator Dirichlet eigenvalue Heat kernel Eigenfunction Spectral geometry Eigenvalues and eigenvectors Hearing the shape of a drum
925	687 Documenta Math. Interface and mixed boundary value problems on n-dimensional polyhedral domains Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-10-11 05:43:24 Sobolev spaces Operator theory Partial differential equations Complex analysis Linear algebra Lipschitz domain Hermitian manifold Hilbert space Sobolev spaces for planar domains Differential forms on a Riemann surface
926	Tour Operator or Organization Name Contact Name Address City Add to Reading List Source URL: www.msichicago.org Language: English - Date: 2016-08-10 11:47:26 Email Choir Orchestra
927	9th AIMS CONFERENCE – ABSTRACTS 142 Special Session 32: Existence and Multiplicity Results in Elliptic Variational Problems Add to Reading List Source URL: www.aimsciences.org Language: English - Date: 2012-06-23 07:34:41 Partial differential equations Dirichlet problem Elliptic operator Calculus of variations P-Laplacian Elliptic curve Laplace operator Variational inequality Elliptic boundary value problem Obstacle problem
928	Wavelets and Linear Algebra Wavelets and Linear Algebra http://wala.vru.ac.ir Vali-e-Asr University of Rafsanjan Add to Reading List Source URL: wala.vru.ac.ir Language: English - Date: 2016-08-20 18:40:22 Operator theory Operator Matrix Quaternion algebra Quaternion Lie groups Linear algebra Linear temporal logic Spectral theory of ordinary differential equations
929	CHAPTER VI M-ideals in spaces of bounded operators VI.1 Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2000-06-19 16:09:34 Operator theory Compact operator on Hilbert space Spectral theory of ordinary differential equations
930	465 Documenta Math. Anticyclotomic Main Conjectures To John Coates Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2006-11-21 15:14:28 Operator theory Symbol Constructible universe Operator Table of stars with Bayer designations Differential forms on a Riemann surface

UPDATE