Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
941	Automated Discovery of Inductive Lemmas Moa Johansson NI VER Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Automated theorem proving Rippling Theorem IsaPlanner Lemma Algorithm Analysis
942	dialectica bs_bs_banner dialectica Vol. 69, N° ), pp. 435–472 DOI: .12120 Add to Reading List Source URL: philosophy.unc.edu Language: English - Date: 2015-12-29 10:29:07 Projective geometry Euclidean plane geometry Incidence geometry Triangles Euclidean geometry Perspective Geometry Collinearity Theorem Mathematical proof Incidence Girard Desargues
943	Abstracts Abstracts are listed in the order of presentation. Monday, 18 April Bin Packing: From Theory to Experiment and Back Again David S. Johnson Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2011-04-13 17:03:53 Logic in computer science Formal methods Philosophical logic Metalogic Formal verification Theoretical computer science First-order logic Modal logic Logic Mathematical logic P versus NP problem Automated theorem proving
944	Conformal Killing vector fields and virial theorems1 Patr´ıcia Santos CMUC, University of Coimbra IPC, ISEC - Engineering Institute of Coimbra Add to Reading List Source URL: gigda.ugr.es Language: English - Date: 2014-09-20 04:05:33 Dynamical systems Theoretical physics Classical mechanics Calculus of variations Mathematical physics Hamiltonian mechanics Virial theorem Lagrangian mechanics Lagrangian Hamiltonian system Lie algebroid Rigid body dynamics
945	1%(5:25.,13$3(56(5,(6 7+(32/,7,&$/(&2120<2)38%/,&,1&20(92/$7,/,7< :,7+$1$33/,&$7,21727+(5(6285&(&856( -DPHV$5RELQVRQ 5DJQDU7RUYLN Add to Reading List Source URL: thred.devecon.org Language: English* - Date: 2016-05-27 15:33:28 Mathematical finance Technical analysis Volatility Median voter theorem
946	Monodromy and the Tate conjecture-1 Monodromy and the Tate conjecture: Picard numbers and Mordell-Weil ranks in families A. Johan de Jong and Nicholas M. Katz Introduction We use results of Deligne on …-adic monodromy Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2000-05-20 15:40:45 Algebraic geometry Tate conjecture Projective variety Algebraic number field Ample line bundle Elliptic curve Cohomology Smooth scheme Monodromy Lefschetz hyperplane theorem Picard group Hodge conjecture
947	Electronic Journal of Differential Equations, Monogrpah 04, 2003. ISSN: URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) Homogeneous Boltzmann equation in quantum re Add to Reading List Source URL: ejde.math.unt.edu Language: English - Date: 2016-04-22 14:45:22 Statistical mechanics Quantum mechanics Thermodynamics Thermodynamic entropy Mathematical physics H-theorem Boltzmann equation Ludwig Boltzmann Entropy Bose gas BoseEinstein statistics FermiDirac statistics
948	Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:32 Category theory Functional programming Algebras Boolean algebra F-algebra Functor Algebraic structure Ordinal number F-coalgebra Adjoint functors Constructible universe Free algebra
949	671 Documenta Math. Cancellation Theorem Vladimir Voevodsky Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-06-21 15:52:41 Algebraic geometry Divisor Morphism of algebraic varieties Flat morphism Finite morphism Cohomology Triangulated category Motive Ring Coherent sheaf Sheaf Proper morphism
950	VOL. 17, 1931 MA THEMA TICS: H. WHITNEY Z ii Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2014-11-28 11:05:21 Topological graph theory Planar graphs Graph operations Graph Graph theory Dual graph Ear decomposition Planar separator theorem Line graph