Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
381	Closed Geodesics and the Free Loop Space Hans-Bert Rademacher (Universit¨ at Leipzig) Workshop on Symplectic Dynamics and Hamiltonian Systems, Add to Reading List Source URL: www.math.uni-leipzig.de Language: English - Date: 2014-05-22 10:51:20 Geometry Riemannian geometry Differential geometry Connection Theoretical physics Curvature Bernhard Riemann Levi-Civita connection Geodesic Torsion tensor Finsler manifold Fundamental theorem of Riemannian geometry
382	to appear in TCS – www.wischik.com/lu/research/explicit-fusions.html Explicit Fusions Lucian Wischik1 and Philippa Gardner2 1 2 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2004-02-23 13:34:35 Theoretical computer science Mathematical logic Logic Formal methods Logic in computer science Process calculi -calculus Automated theorem proving Process calculus Lambda calculus Bisimulation Limit of a function
383	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.6 (D30) Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-13 07:23:59 Logic Philosophy Academia Auguste Rodin Rodin Axiom Theorem ETH Zurich Mathematical proof Mathematics
384	625 Documenta Math. Pseudodifferential Analysis on Continuous Family Groupoids Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-01-17 12:28:09 Mathematical analysis Mathematics Algebra Functional analysis Operator theory Differential geometry Differential operators Category theory Groupoid Lie algebroid AtiyahSinger index theorem Vector bundle
385	Abstract Interpretation, Reloaded Jan Midtgaard Winter School, Day 3 http://janmidtgaard.dk/aiws15/ Saint Petersburg, Russia, 2015 Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-04 08:44:50 Mathematics Order theory Algebra Abstract algebra Abstract interpretation Galois connection Fixed-point theorem Fixed point FO Complete lattice Lattice Monotonic function
386	Chapter 2 Untyped Lambda Calculus We assume the existence of a denumerable set VAR of (object) variables x0 , x1 , x2 , . . ., and use x, y, z to range over these variables. Given two variables x1 and x2 , we write x1 = Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-10 13:51:51 Theoretical computer science Logic Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Lambda calculus Term Relationships among probability distributions Centripetal CatmullRom spline
387	QuickChecking Static Analysis Properties Jan Midtgaard and Anders Møller Abstract Interpretation Winter School From forthcoming ICST’15 paper Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-06 02:29:00 Mathematics Mathematical analysis Order theory Structure Lattice theory Complete lattice Lattice Abstract interpretation Monotonic function Fixed point QuickCheck KnasterTarski theorem
388	Molecular structure: Separating electronic and nuclear motion Notes on Quantum Mechanics http://quantum.bu.edu/notes/QuantumMechanics/MolecularStructure.pdf Last updated Tuesday, November 22, :03:05-05:00 Copyrigh Add to Reading List Source URL: quantum.bu.edu Language: English - Date: 2005-11-22 13:07:05 Quantum chemistry Chemistry Quantum mechanics Physics BornOppenheimer approximation Molecular Hamiltonian Diabatic Schrdinger equation Wave function Adiabatic theorem
389	econstor A Service of zbw Add to Reading List Source URL: www.econstor.eu Language: English - Date: 2015-08-03 20:06:46 Economy Income distribution Social inequality Distribution of wealth Index numbers Welfare economics Economic inequality Redistribution Income inequality metrics Gini coefficient Poverty Median voter theorem
390	THEOREMS ON LIMITS AND CONTINUITY MATH 152, SECTION 55 (VIPUL NAIK) Difficulty level: Moderate to hard. There are a couple of proofs here that are hard to understand; however, you are not responsible for the proofs of th Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Mathematical analysis Mathematics Analysis Functions and mappings Calculus General topology Limit of a function Continuous function Bernhard Riemann Net Limit Squeeze theorem

UPDATE