Loop theorem - PDFSEARCH.IO - Document Search Engine

Loop theorem
Results: 22

#	Item
1	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
2	ELSEVIER Stochastic Processes and their Applications184 stochastic processes Add to Reading List Source URL: www.math.csi.cuny.edu Language: English - Date: 2009-05-03 17:57:30 Stochastic processes Mathematical analysis Mathematics Central limit theorem Random walk Statistics Loop-erased random walk Big O notation
3	Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:53:13 Software engineering Formal methods Theoretical computer science Automated theorem proving Computing Loop invariant Mathematical proof Rippling Extended static checking Recurrence relation Automated reasoning Invariant
4	An Integrated Approach to High Integrity Software Verification Andrew Ireland1 , Bill J. Ellis1 , Andrew Cook1 , Roderick Chapman2 , Janet Barnes2 1 Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2006-05-16 11:38:59 Formal methods Automated theorem proving Theoretical computer science Logic in computer science SPARK Loop invariant Mathematical proof Automated reasoning Verification condition generator Formal verification Correctness Conjecture
5	The Need for Humans in the Loop: Meeting the Grand Challenge of Full Functional Verification Matt Kaufmann & J Strother Moore Department of Computer Science University of Texas at Austin Austin, TX 78701 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-22 17:23:36 Formal methods Technical communication Automated theorem proving Theoretical computer science Logic in computer science Formal verification ACL2 Functional verification User interface Proof assistant Usability Verification and validation
6	THEOREM OF THE DAY The Handshaking Lemma In any graph the sum of the vertex degrees is equal to twice the number of edges. The degree of a vertex is the number of edges incident with it (a self-loop joining a vertex to Add to Reading List Source URL: www.theoremoftheday.org Language: English - Date: 2014-06-30 10:40:03
7	Mixing Times for Random Walks on Geometric Random Graphs Stephen Boyd Arpita Ghosh Add to Reading List Source URL: www.siam.org Language: English - Date: 2005-07-06 08:19:10 Stochastic processes Markov processes Markov chain Random walk Random graph Degree distribution Matrices Central limit theorem Loop-erased random walk Statistics Mathematics Graph theory
8	Finding Loop Invariants for Programs over Arrays Using a Theorem Prover ? Laura Kov´acs1 and Andrei Voronkov2 2 1 Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2010-02-15 09:12:21 Control flow First-order logic FO IP Resolution Assignment Foreach loop Variable Loop counter Mathematics Logic Software engineering
9	Converting MiniZinc to FlatZinc Nicholas Nethercote Version 0.8 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2008-05-30 04:26:48 List comprehension SQL Foreach loop Type theory Localization theorem C Sharp syntax Computing Software engineering Notation
10	Invariant Generation in Vampire? Kryˇstof Hoder1 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-05-02 08:17:07 Mathematical logic Invariant Loop invariant Automated theorem proving Emmy Noether First-order logic Mathematics Software engineering Formal methods