Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
401	815 Documenta Math. An Optimal Extension Theorem for 1-Forms Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2014-07-26 07:00:23 Algebra Geometry Abstract algebra Algebraic geometry Divisor Ample line bundle Projective variety Canonical singularity Spectrum of a C*-algebra Logarithmic pair
402	User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:13 Automated theorem proving Software Theoretical computer science Proof assistants Functional languages Type theory Matita Formal methods Calculus of constructions Mathematical proof Automated reasoning Theorem
403	351 Documenta Math. In -Local Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-01-17 12:27:00 Business Homotopy theory Landweber exact functor theorem Ring theory BP Cohomology Ring Spectrum Economy
404	Risk and Financing of Heavy-Tailed Losses Michael R. Powers Finance Department, Tsinghua SEM May 21, 2014 Add to Reading List Source URL: www.ccfz.ch Language: English - Date: 2014-05-24 07:54:40 Mathematical analysis Statistics Probability Actuarial science Probability distributions Probability theory Heavy-tailed distribution Risk Variance Power law Value at risk Central limit theorem
405	Clifford cohomology on hermitian manifolds J. Seoane-Bascoy1 (joint work with L. M. Hervella1 and A. M. Naveira2Clifford cohomology Add to Reading List Source URL: gigda.ugr.es Language: English - Date: 2011-10-21 04:10:12 Mathematical analysis Geometry Mathematics Complex manifolds Riemannian geometry Differential geometry Smooth manifolds Symbol Hermitian manifold Lie groups Almost complex manifold AtiyahSinger index theorem
406	MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-03-13 06:06:51 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Logic in computer science Formal methods Proof assistants Artificial intelligence Isabelle Automated reasoning IP Logic programming
407	PDF Document Add to Reading List Source URL: ssdbm2011.ssdbm.org Language: English - Date: 2011-09-01 19:29:47 Graph theory Mathematics Network theory Discrete mathematics Centrality Shortest path problem Betweenness centrality Graph Planar separator theorem
408	33 – 36 29 – 32 25 – 28 Add to Reading List Source URL: www.didax.com Language: English - Date: 2016-03-14 10:37:39 Geometry Mathematics Triangles Euclidean geometry Euclidean plane geometry Angle Triangle geometry Pythagorean theorem Congruence Triangle Special right triangle Similarity
409	Journal of Economic Theory 85, 258Article ID jeth, available online at http:www.idealibrary.com on Multidimensional Mechanism Design for Auctions with Externalities* Philippe Jehiel Add to Reading List Source URL: www.econ2.uni-bonn.de Language: English - Date: 2014-03-26 06:49:17 Auction theory Game theory Mechanism design Mathematics Auctions Marketing Vickrey auction Vector-valued function Auction Revenue equivalence Envelope theorem
410	Optimal growth for linear processes with affine control Vincent Calvez∗ Pierre Gabriel†‡ March 22, 2012 Add to Reading List Source URL: pgabriel.perso.math.cnrs.fr Language: English - Date: 2012-03-22 11:09:27 Algebra Mathematics Matrix theory PerronFrobenius theorem Eigenvalues and eigenvectors Constructible universe Dynamical system HamiltonJacobi equation Differential forms on a Riemann surface

UPDATE