Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
371	ERGODIC THEORY, FRACTAL TOPS AND COLOUR STEALING MICHAEL BARNSLEY Abstract. A new structure that may be associated with IFS and superIFS is described. In computer graphics applications this structure can be rendered usin Add to Reading List Source URL: maths-people.anu.edu.au Language: English - Date: 2003-12-09 18:52:24 Fractals Mathematical analysis Mathematics Dynamical systems Analysis Iterated function system Chaos theory Fractal Attractor Iterated function Fractal compression Collage theorem
372	Algorithms and Data Structures Winter TermExercises for Units 1 and 2 1. This sequence of exercises is supposed to illustrate that certain restrictions that we put on our RAM model are really necessary. If they Add to Reading List Source URL: www-tcs.cs.uni-sb.de Language: English - Date: 2016-02-29 02:27:50 Mathematics Logarithms Multiplicative functions Analysis of algorithms Asymptotic analysis Big O notation Mathematical notation Prime number Greatest common divisor Prime number theorem Average order of an arithmetic function
373	Microsoft PowerPoint - perspCompatibility Mode] Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2012-12-18 03:41:56 Logic Mathematical logic Mathematics Propositional calculus Automated theorem proving Boolean algebra Syntax Boolean satisfiability problem Clause Valuation Propositional variable Unit propagation
374	COCOMPACTLY CUBULATED GRAPH MANIFOLDS MARK F. HAGEN∗ AND PIOTR PRZYTYCKI† Abstract. Let M be a graph manifold. We show that π1 M is the fundamental group of a compact nonpositively curved cube complex if and only if Add to Reading List Source URL: www.wescac.net Language: English - Date: 2014-06-23 02:55:05 Mathematics Topology Algebra Geometric group theory Algebraic topology Homotopy theory Differential topology Orbifold BassSerre theory Fundamental group CW complex Stallings theorem about ends of groups
375	TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-05-06 07:44:21 Software engineering Theoretical computer science Automated theorem proving Mathematics Logic in computer science Functional languages Formal methods Reasoning Satisfiability modulo theories Rippling Automated reasoning IP
376	arXiv:math/0104255v3 [math.GT] 20 MarCyclic actions and elliptic genera Anand Dessai Abstract Let M be a Spin-manifold with S 1 -action and let σ ∈ S 1 be of finite order. Add to Reading List Source URL: homeweb1.unifr.ch Language: English - Date: 2008-11-24 09:05:13 Mathematics Topology Abstract algebra Mathematical physics Genus of a multiplicative sequence Spin structure Modular form AtiyahSinger index theorem Orbifold
377	Reading Classics: Euler 1 Notes by Steven Miller2 March 7, Ohio Add to Reading List Source URL: web.williams.edu Language: English - Date: 2004-03-07 11:37:09 Mathematics Mathematical analysis Integer sequences Analytic number theory Divisor function Perfect number Riemann zeta function Prime number Fundamental theorem of algebra Eisenstein series Dirichlet beta function
378	A syntactic approach to unification in transitive reflexive modal logics Rosalie Iemhoff∗ June 10, 2016 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:39:23 Logic Mathematical logic Abstraction Non-classical logic Modal logic Automated theorem proving Logic programming Model theory Admissible rule Substitution Unification Intermediate logic
379	Microsoft Word - 05mi Maths AH Web FC.doc Add to Reading List Source URL: www.sqa.org.uk Language: English - Date: 2005-09-05 10:28:16 Special functions Mathematical analysis Mathematics Trigonometry Analytic functions Sine Natural logarithm Trigonometric functions Product rule Implicit function theorem Chebyshev polynomials
380	Index Theory and Spin Geometry Fabian Lenhardt and Lennart Meier March 20, 2010 Many of the familiar (and not-so-familiar) invariants in the algebraic topology of manifolds may be phrased as an index of an elliptic dier Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2010-04-01 06:08:20 Mathematics Topology Mathematical analysis Differential operators Differential geometry Elliptic partial differential equations Knights Bachelor Michael Atiyah AtiyahSinger index theorem Spin structure Genus of a multiplicative sequence Fredholm operator

UPDATE