Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
951	Proving Autonomous Vehicle and Advanced Driver Assistance Systems Safety Add to Reading List Source URL: utc.ices.cmu.edu Language: English - Date: 2016-05-26 15:13:50 Formal systems Proof theory Logic in computer science Formal methods Theoretical computer science KeY Automated theorem proving Mathematical proof Formal verification Mathematical logic Modal logic Dynamic logic
952	Exercises for the Course on Perverse Sheaves Summer School on the Hitchin system Bonn, July 2010 Exercise 1 u Add to Reading List Source URL: m2.geometry.de Language: English - Date: 2010-07-27 14:15:15 Homological algebra Triangulated category T-structure Sheaf Decomposition theorem Morphism of algebraic varieties Cohomology
953	Fooling-sets and Rank in Nonzero Characteristic Dirk Oliver Theis University of Tartu Estonia Add to Reading List Source URL: www.math.uni-magdeburg.de Language: English - Date: 2013-08-30 09:23:22 Linear algebra Matrix theory Matrices Matrix Rank Polytopes Abstract polytope PerronFrobenius theorem
954	How Euler Did It by Ed Sandifer A theorem of Newton April 2008 Early in our algebra careers we learn the basic relationship between the coefficients of a monic quadratic polynomial and the roots of that polynomial. If th Add to Reading List Source URL: eulerarchive.maa.org Language: English - Date: 2013-11-04 12:20:24 Polynomials Elementary algebra Algebra Parabolas Quadratic function Exponentiation Basel problem Factorization CauchyEuler equation
955	Introduction to Algorithms Massachusetts Institute of Technology Professors Erik Demaine, Piotr Indyk, and Manolis Kellis March 9, Spring 2011 Add to Reading List Source URL: courses.csail.mit.edu Language: English - Date: 2011-03-14 16:00:21 Analysis of algorithms Binary trees Computational complexity theory Asymptotic analysis Sorting algorithms Best worst and average case Binary heap Heap Time complexity Hash table Binary search tree Master theorem
956	GENERALIZATION OF A THEOREM OF CLIFFORD ´ P. N. ANH Abstract. The multiplicative monoid of principal ideals partially ordered by reverse inclusion, called the divisibility theory, of a Bezout ring R with one minimal pri Add to Reading List Source URL: www.renyi.hu Language: English - Date: 2015-01-13 05:18:45
957	Approximate Polynomial Decomposition∗ Robert M. Corless†‡ Mark W. Giesbrecht‡ Add to Reading List Source URL: www.apmaths.uwo.ca Language: English - Date: 2000-03-21 10:51:19 Operator theory Complex analysis Digital signal processing Field theory Fundamental theorem of algebra Random permutation statistics
958	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 Mechanism design Game theory Auctions Vickrey auction Vector-valued function Auction Revenue equivalence Envelope theorem
959	8. Lemoine Point and Circles. Theorem 1 In a triangle ABC the distances from the Lemoine point L to the sides are in the ratio αa, αb, αc, Add to Reading List Source URL: www.irmo.ie Language: English - Date: 2011-11-09 08:12:59
960	A centrally symmetric version of the cyclic polytope Alexander Barvinok ∗ Department of Mathematics, Add to Reading List Source URL: www.math.lsa.umich.edu Language: English - Date: 2007-01-05 09:26:24 Geometry Mathematics Space Polyhedral combinatorics Polytopes Cyclic polytope Upper bound theorem Simplex Face 4-polytope Ehrhart polynomial