Local Limit Theorems for the Giant Component of Random Hypergraphs? Michael Behrisch1?? , Amin Coja-Oghlan2? ? ? , and Mihyun Kang3† 1 Institute of Transportation Systems, German Aerospace Center, Rutherfordstrasse 2,

Source URL: www.math.tugraz.at

Geom Dedicata:33–57 DOIs10711ORIGINAL PAPER Fixed point and rigidity theorems for harmonic maps into NPC spaces

Source URL: www.math.brown.edu

QUASISTATIONARY THEOREMS FOR DIFFUSIONS IN A BOUNDED OPEN SET L.A. BREYER Abstract. Let X be the minimal diffusion associated with a uniformly elliptic differential operator L on a bounded subdomain of Rd , with C 2 boun

Source URL: www.lbreyer.com

Lower Bound Theorems and a Generalized Lower Bound Conjecture for balanced simplicial complexes ∗ Steven Klee

Source URL: www.math.washington.edu

On the computational content of the Krasnoselski and Ishikawa fixed point theorems Ulrich Kohlenbach BRICS⋆ Department of Computer Science, University of Aarhus,

Source URL: www.mathematik.tu-darmstadt.de

• Fixed-point theorems
• Metric geometry
• Topology
• Banach space
• Banach fixed-point theorem
• Contraction mapping
• Compact space
• Schauder fixed point theorem
• Metric space
• Lipschitz continuity
• Browder fixed point theorem
• ArzelAscoli theorem

Second-Order Functions and Theorems in ACL2 Alessandro Coglio Kestrel Institute http://www.kestrel.edu/~coglio SOFT (‘Second-Order Functions and Theorems’) is a tool to mimic second-order functions and theorems in t

Source URL: www.kestrel.edu

Online Ranking with Top-1 Feedback We provide missing proofs of theorems and extensions that were excluded from the main body of the paper due to space constraints.

Source URL: jmlr.org

Appendix H: Developments relevant for building a semantic collection of mathematical theorems The Sloan Foundation funded eCF project was an exploratory project devoted to collecting and semantically representing mathema

Source URL: www.wolframfoundation.org

• Software
• Application software
• Mathematical software
• Mathematics
• Mathematical notation
• Theorem
• Applied mathematics
• Areas of mathematics
• Mathematician
• Wolfram Mathematica
• Symbolic computation
• Mathematical proof

First Joint Meeting Brazil Italy of Mathematics Special Session: Mathematical Logic Rio de Janeiro, August 29 - September 02, 2016 Title: Using forcing to prove theorems: an example around Schanuel’s conjecture Authors

Source URL: www.sbm.org.br

NON-ABELIAN LEFSCHETZ HYPERPLANE THEOREMS DANIEL LITT Abstract. Let X be a smooth variety over the complex numbers, and let D ⊂ X be an ample divisor. For which spaces Y is the restriction map

Source URL: math.columbia.edu