C-theorem - PDFSEARCH.IO - Document Search Engine

C-theorem
Results: 386

#	Item
21	Algorithms and Data Structures Winter TermExercises for Units 25 & 26 1. Suppose you are given a directed graph G = (V, E), two vertices s and t, a capacity function c : E → R+ , and another function f : E → Add to Reading List Source URL: www-tcs.cs.uni-sb.de Language: English - Date: 2016-03-17 15:32:23 Graph theory Mathematics Network flow Graph connectivity Combinatorial optimization Maximum flow problem Cut Flow network Max-flow min-cut theorem Minimum-cost flow problem
22	815 Documenta Math. An Optimal Extension Theorem for 1-Forms Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2014-07-26 07:00:23 Algebra Geometry Abstract algebra Algebraic geometry Divisor Ample line bundle Projective variety Canonical singularity Spectrum of a C*-algebra Logarithmic pair
23	A On the Power of Substitution in the Calculus of Structures Novak Novakovi´c, Inria Lutz Straßburger, Inria There are two contributions in this paper. First, we give a direct proof of the known fact that Frege system Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-04-07 12:31:04 Logic Mathematical logic Propositional calculus Proof theory Automated theorem proving Logical truth Boolean algebra Frege system Substitution Natural deduction Hilbert system Sequent
24	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
25	Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Theoretical computer science Logic programming Computer programming Programming paradigms Automated theorem proving Type theory Prolog Unification Substitution Interpreter Term
26	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL
27	BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 80, Number 6, November 1974 THE HOPF RING FOR COMPLEX COBORDISM1 BY DOUGLAS C. RAVENEL AND W. STEPHEN WILSON Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-03-30 15:19:14 Algebra Abstract algebra Algebraic topology Mathematics Complex cobordism BrownPeterson cohomology Cobordism Cohomology Formal group Ring Steenrod algebra Landweber exact functor theorem
28	AMOEBAS OF GENUS AT MOST ONE THORSTEN THEOBALD AND TIMO DE WOLFF Abstract. The amoeba of a Laurent polynomial f ∈ C[z1±1 , . . . , zn±1 ] is the image of its zero set V(f ) under the log-absolute-value map. Understan Add to Reading List Source URL: www.math.uni-frankfurt.de Language: English - Date: 2013-05-18 09:37:46 Mathematics Algebra Mathematical analysis Algebraic geometry Amoeba Polynomials Field theory Complex analysis Operator theory Julia set Fundamental theorem of algebra
29	Econ. Theory 7, Econom/c Theory Add to Reading List Source URL: www.econ2.uni-bonn.de Language: English - Date: 2014-03-26 06:49:17 Game theory Core Mathematics Folk theorem Nash equilibrium Cooperative game theory
30	Concluding Conference on Nonlinear Equations Conference Program Friday, April 8 9:00-10:00am Camillo De Lellis, Universität Zürich Title: “A Nash-Kuiper theorem for $C^{1,1/5}$ isometric immersions of disks” Add to Reading List Source URL: cmsa.fas.harvard.edu Language: English - Date: 2016-04-04 16:32:58 Physics Mathematics Theoretical physics Partial differential equations Complex manifolds String theory Guggenheim Fellows General relativity Differential geometry of surfaces Asymptotically flat spacetime Shing-Tung Yau Calabi conjecture

UPDATE