Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
681	Towards Efficient Conversions by use of Partial Evaluation Morten Welinder DIKU, Department of Computer Science University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Formal methods Functional languages Automated theorem proving Computability theory Theoretical computer science Partial evaluation Theorem Functional programming Compiler Standard ML Succ Evaluation
682	Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-07-04 16:21:32 Automated theorem proving Logic programming Integral calculus Free variables and bound variables Mathematical notation Predicate logic Substitution Term Integration by substitution Principia Mathematica
683	Cutting Planes and the Parameter Cutwidth Stefan Dantchev1 and Barnaby Martin2 1 Department of Computer Science, University of Durham, Science Labs, South Road, Durham DH1 3LE, U.K. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:55:56 Automated theorem proving Resolution Linear programming IP Inequality
684	Exercise 7: Lost in complexity Task 1: Why is everything so hard?!? In this exercise, we always consider connected, simple, weighted graphs G = (V, E, W ), restrict message size to O(log n) bits, and assess worst-case ro Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2014-12-02 10:37:59 Combinatorial optimization Binary arithmetic Binary logarithm Calculus Logarithms Cut AanderaaKarpRosenberg conjecture Planar separator theorem
685	Course: Optimization Faculty: Add to Reading List Source URL: idea.uab.es Language: English - Date: 2016-07-27 03:30:26 Mathematical economics Mathematical optimization Operations research Theorem Mathematics Maximum theorem HahnBanach theorem Duality Compact space Mathematical proof
686	43 Documenta Math. ¨ nigsberg, Euler, Mei-Ko Kwan, Ko Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2012-07-25 10:24:40 Graph theory NP-complete problems Eulerian path Route inspection problem Cycle Degree Leonhard Euler Matching Seven Bridges of Knigsberg 2-factor theorem
687	Lecture 5 Spectral Graph Theory The other eigenvectors of the Laplacian Daniel A. Spielman Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2012-08-24 09:50:05 Algebraic graph theory Matrix theory Linear algebra Matrices Graph theory Eigenvalues and eigenvectors Laplacian matrix PerronFrobenius theorem Spectral graph theory Line graph Graph Regular graph
688	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2010-08-07 06:03:33 Automated theorem proving Model theory Formal methods Constraint programming Resolution Skolem normal form Lambda calculus Satisfiability Boolean satisfiability problem Conjunctive normal form
689	S ÉMINAIRE DE PROBABILITÉS (S TRASBOURG ) JAY S. ROSEN Second order limit laws for the local times of stable processes Séminaire de probabilités (Strasbourg), tome), p. Add to Reading List Source URL: www.math.csi.cuny.edu Language: English - Date: 2009-05-03 17:55:26 Stochastic processes Lemmas Local time Stochastic calculus Peetre theorem Heat equation
690	The Maslov index via semi-Riemannian submersions Erasmo Caponio and Miguel Angel Javaloyes Politecnico di Bari / Instituto de Matem´ atica e Estat´ıstica, Universidade de S˜ ao Add to Reading List Source URL: xtsunxet.usc.es Language: English - Date: 2007-03-09 06:08:54 Differential topology Bernhard Riemann Riemannian geometry Geodesic Morse theory Vector field AtiyahSinger index theorem Lagrangian Grassmannian Stallings theorem about ends of groups

UPDATE