Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
461	• Paper at Concur 2002 wischik.com/lu/research/ A simple, distributed implementation of the pi-calculus, using explicit fusions Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-07-22 03:56:39 Mathematics Logic Theoretical computer science Automated theorem proving Logic programming Abstraction Process calculi -calculus Substitution Inverse trigonometric functions Lambert W function
462	On Induction Principles C. Verhoef Programming Research Group University of Amsterdam KruislaanSJ Amsterdam Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-08-09 06:28:59 Mathematics Theoretical computer science Mathematical analysis Operator theory Computability theory Automated theorem proving Logic programming Type theory Unification operator Spectral theory of ordinary differential equations
463	Weighted Congestion Games With Separable Preferences Add to Reading List Source URL: faculty.biu.ac.il Language: English - Date: 2009-04-01 03:26:35 Game theory Mathematics Congestion game Nash equilibrium Best response Strategy Science and technology Economics Separable space Potential game Folk theorem
464	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:53:10 Automated theorem proving Theoretical computer science Logic Mathematics Mathematical proofs Proof assistants Formal methods Formal verification KeY Isabelle Rippling Automated reasoning
465	DRAFT – TO APPEAR AT ICFPFully Abstract Compilation via Universal Embedding ∗ Max S. New William J. Bowman Add to Reading List Source URL: www.williamjbowman.com Language: English - Date: 2016-08-20 09:03:03 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Theoretical computer science Mathematical logic Differential topology Generalised Whitehead product Orbifold
466	Selecting Heavily Covered Points by Pseudo-circles, Spheres and Rectangles Shakhar Smorodinsky Add to Reading List Source URL: www.math.tau.ac.il Language: English - Date: 2007-08-27 22:45:06 Mathematics Geometry Space Curves Jordan curve theorem Euclidean plane geometry Projective geometry Incidence geometry Minkowski plane Elliptic curve
467	Abstracting Abstract Machines David Van Horn ∗ Matthew Might Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-07-26 15:43:30 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Model theory Philosophy Symbol
468	FAULT-TOLERANT LOGICAL GATES IN QUANTUM ERROR-CORRECTING CODES Fernando Pastawski with Beni Yoshida arXiv:soon PRA) QEC 2014, Zurich Add to Reading List Source URL: www.qec14.ethz.ch Language: English - Date: 2014-12-22 06:49:52 Theoretical computer science Quantum information science Quantum computing Quantum mechanics Quantum error correction Stabilizer code Quantum gate Quantum teleportation Controlled NOT gate GottesmanKnill theorem Toric code
469	SPATIAL OVERLAY WITH INEXACT NUMERICAL DATA David Pullar Surveying Engineering Department National Center for Geographical Information and Analysis University of Maine, Orono, Maine, U.S. A. Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 21:47:52 Graph theory Mathematics Discrete mathematics 3D computer graphics Vertex Graph Planar separator theorem Line graph
470	Inference, Models and Simulation for Complex Systems Lecture 6 Prof. Aaron Clauset 1 Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2011-09-16 15:35:30 Statistics Mathematical analysis Probability Stochastic processes Probability distributions Random walk Normal distribution Markov chain Variance Autocorrelation Data transformation Central limit theorem

UPDATE