C-theorem - PDFSEARCH.IO - Document Search Engine

C-theorem
Results: 386

#	Item
351	CUTE: A Concolic Unit Testing Engine for C Koushik Sen, Darko Marinov, Gul Agha Department of Computer Science Add to Reading List Source URL: srl.cs.berkeley.edu Language: English - Date: 2009-02-05 16:14:24 Automated theorem proving Concolic testing Test Data Generation Theoretical computer science Symbolic execution Pointer Algorithm Function Linear programming Mathematics Computing Software engineering
352	N AT I O N A L A C A D E M Y O F S C I E N C E S LARS VALERIAN AHLFORS Add to Reading List Source URL: www.nasonline.org Language: English - Date: 2011-11-14 12:24:31 Lars Ahlfors Rolf Nevanlinna Nevanlinna theory Riemann sphere Uniformization theorem Robert Osserman Conformal map Conformal geometry Unit disk Geometry Mathematics Riemann surfaces
353	48 MA THEMA TICS: J. F. NASH, JR. Add to Reading List Source URL: www.pnas.org Language: English - Date: 2005-04-22 14:29:01 Homotopy theory Homology theory Homological algebra Cohomology CW complex Homotopy group J. H. C. Whitehead Eilenberg–MacLane space Whitehead theorem Topology Abstract algebra Algebraic topology
354	The Greek Age of Mathematics c Ken W. Smith, 2012 Last modified on February 15, 2012 Add to Reading List Source URL: www.shsu.edu Language: English - Date: 2012-02-15 13:21:24 Euclidean plane geometry Triangle geometry Ancient Greek mathematicians Irrational numbers Pythagorean theorem Pythagorean triple Pythagoras Greek mathematics Triangle Geometry Mathematics Triangles
355	Introduction to “Communication in the Presence of Noise” by C. E. Shannon AARON D. WYNER, FELLOW, IEEE, AND SHLOMO SHAMAI (SHITZ), FELLOW, IEEE Add to Reading List Source URL: www.gmee.deit.univpm.it Language: English - Date: 2004-12-15 13:30:46 Science Claude Shannon Nyquist–Shannon sampling theorem Channel capacity Aaron D. Wyner Sampling Channel Shlomo Shamai Bandwidth Information theory Telecommunications engineering Information
356	A Simple Proof of the FWL (Frisch-Waugh-Lovell) Theorem* Michael C. Lovell Wesleyan University Add to Reading List Source URL: mlovell.web.wesleyan.edu Language: English - Date: 2007-03-01 11:27:36 Frisch–Waugh–Lovell theorem Linear regression Least squares Errors and residuals in statistics Durbin–Watson statistic Instrumental variable Seemingly unrelated regressions Statistics Regression analysis Econometrics
357	140 c-16 Add to Reading List Source URL: e-books.enigma.uran.ru Language: English - Date: 2009-11-20 18:26:57 Metrization theorem Topological property Compact space Separable space Countably compact space Locally compact space Continuous function Baire space Paracompact space Topology General topology Lindelöf space
358	c-18 Eberlein compacta Add to Reading List Source URL: e-books.enigma.uran.ru Language: English - Date: 2009-11-20 18:26:58 Compact space Separable space Topological property Moore space Countably compact space Discrete space Hausdorff space Product topology Countably generated space Topology General topology Metrization theorem
359	1 Joseph Muscat 2013 Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2013-10-01 03:49:25 Universal property Isomorphism theorem Kernel Equivalence relation Function Universal algebra Homomorphism Heyting algebra C*-algebra Mathematics Abstract algebra Category theory
360	C. F. GAUSS’S PROOFS OF THE FUNDAMENTAL THEOREM OF ALGEBRA Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2005-11-10 07:23:46 Integral calculus Trigonometry Carl Friedrich Gauss Vesta Fundamental theorem of algebra Complex number Polar coordinate system Trigonometric functions Multiple integral Mathematics Mathematical analysis Calculus

UPDATE