Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
561	De-anonymization of Heterogeneous Random Graphs in Quasilinear Time (extended abstract) Karl Bringmann1 , Tobias Friedrich2 , and Anton Krohmer2 1 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:46:27 Mathematics Graph theory Computational complexity theory Combinatorial optimization Matching Degree Connectivity Draft:Sub-linear time algorithm Planar separator theorem
562	Discussion Paper NoLicensing Innovations: The Case of the Inside Patent Holder Cuihong Fan* Byoung Heon Jun Add to Reading List Source URL: www.sfbtr15.de Language: English - Date: 2015-06-22 05:02:51** Mathematical analysis Mathematics Geometry Calculus of variations Envelope theorem Inverse trigonometric functions Envelope Mechanism design
563	Holonomy and singular foliations Marco Zambon (Univ. Autónoma Madrid-ICMAT) joint work with Iakovos Androulidakis (University of Athens) August 2012 Add to Reading List Source URL: www3.ubu.es Language: English - Date: 2012-09-07 15:13:40 Differential topology Topology Differential geometry Mathematics Foliations Homotopy theory Reeb stability theorem Category theory Lie algebras Holonomy Lie groupoid Groupoid
564	19 Documenta Math. Hecke Operators on Quasimaps into Horospherical Varieties Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-04-24 04:40:52 Algebra Abstract algebra Group theory Lie algebras Representation theory of Lie groups Weight Holomorph Spectral theory Plancherel theorem for spherical functions
565	Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-03-02 06:43:58 Mathematical logic Logic Theoretical computer science Type theory Automated theorem proving Logic programming Data types Unification Recursive data type Substitution Corecursion First-order logic
566	A short note on piecewise constant and piecewise linear interpolation Etienne Emmrich∗ Version September 28, 2015 Abstract Add to Reading List Source URL: www.math.tu-berlin.de Language: English - Date: 2015-09-29 02:53:11 Mathematical analysis Mathematics Operator theory Complex analysis Partial differential equations Conformal field theory Lie algebras Beltrami equation Fundamental theorem of algebra
567	Spectral Graph Theory Lecture 18 The Conjugate Gradient and Diameter Daniel A. Spielman Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2015-08-17 14:43:26 Algebra Mathematics Linear algebra Conjugate gradient method Eigenvalues and eigenvectors Matrix Projection Laplacian matrix Norm Vector space PerronFrobenius theorem Diagonalizable matrix
568	Composition Operators on Spaces of Analytic Functions A. G. Siskakis 2nd SOT, Samos, July Add to Reading List Source URL: sot2012.pns.aegean.gr Language: English - Date: 2013-07-18 06:35:45 Mathematical analysis Operator theory Hardy space Hilbert space Littlewood subordination theorem Poisson kernel Beltrami equation Conformal welding
569	Parallel Breadth First Search on GPU Clusters using MPI and GPUDirect Speaker: Harish Kumar Dasari, Scientific Computing and Imaging Institute, University of Utah Advisor: Dr. Martin Berzins, SCI, University of Utah Add to Reading List Source URL: mug.mvapich.cse.ohio-state.edu Language: English - Date: 2015-11-20 13:17:45 Mathematics Graph theory Discrete mathematics Search algorithms Graph traversal Breadth-first search Vertex Connectivity Shortest path problem Graph coloring Planar separator theorem
570	Brauer–Manin obstruction and integral points : a survey Jean-Louis Colliot-Th´el`ene (CNRS et Universit´e Paris-Sud, Paris-Saclay) Indo-French conference Chennai, January 2016 Add to Reading List Source URL: www.math.u-psud.fr Language: English - Date: 2016-01-19 12:59:02 Algebra Mathematics Abstract algebra Field theory Quadratic forms Algebraic number theory Equation solving Equations Algebraic number field Fundamental theorem of algebra Z-transform

UPDATE