- A Generalization of Schur's Theorem
2017/12/11 by Jon Henry Sanders, Sanders, Jon Henry · 1 citation
Computer Science · Mathematics · #1-planar graph #Advanced Graph Theory Research #Advanced Topology and Set Theory #Combinatorics #Combinatorics (math.CO) #Compactness theorem #Countable set #Discrete mathematics #FOS: Mathematics #Fixed-point theorem #Fundamental theorem #Generalization #Graph #Iterated function #Law #Limits and Structures in Graph Theory #Line graph #Mathematics #Ramsey theory #Ramsey's theorem #Robertson–Seymour theorem #Statement (logic) #Van der Waerden's theorem #math.CO
- The Ricci Flow in Riemannian Geometry
2010/11/08 by Ben Andrews, Christopher Hopper · 1 citation
Mathematics · Physics and Astronomy · #Advanced Differential Geometry Research #Compactness theorem #Constant curvature #Cosmology and Gravitation Theories #Curvature #Curvature of Riemannian manifolds #Differentiable function #Fixed-point theorem #Flow (mathematics) #Fundamental theorem #Geometric Analysis and Curvature Flows #Geometry #Isotropy #Mathematical analysis #Mathematics #Mean curvature flow #Physics #Pure mathematics #Ricci curvature #Ricci flow #Ricci-flat manifold #Riemann curvature tensor #Riemannian geometry #Scalar curvature #Sectional curvature
- The perverse filtration and the Lefschetz hyperplane theorem, II
2010/06/14 by Mark Andrea A. de Cataldo, de Cataldo, Mark Andrea A. · 6 citations
Computer Science · Mathematics · #Advanced Combinatorial Mathematics #Algebraic Geometry (math.AG) #Brouwer fixed-point theorem #Cohomology #Combinatorics #Compactness theorem #Decomposition theorem #FOS: Mathematics #Filtration (mathematics) #Fixed-point theorem #Fundamental theorem #Homotopy and Cohomology in Algebraic Topology #Hyperplane #Intersection (aeronautics) #Intersection theorem #Lefschetz fixed-point theorem #Mathematics #Pure mathematics #Spectral sequence #Topological and Geometric Data Analysis #math.AG
- A Simple Proof of Perelman’s Collapsing Theorem for 3-manifolds
2010/03/31 by Jianguo Cao, Jian Ge · 1 citation
Mathematics · #Bounded function #Brouwer fixed-point theorem #Compactness theorem #Conic section #Conjecture #Differential geometry #Geometric Analysis and Curvature Flows #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #Isospectral #Mathematical proof #Simple (philosophy) #Singularity theory #math.DG #math.GT #msc:53C20 #msc:53C23
- The Kolmogorov–Riesz compactness theorem
2009/06/30 by Harald Hanche-Olsen, Helge Holden · 2 citations
Computer Science · Mathematics · #Advanced Banach Space Theory #Brouwer fixed-point theorem #Compact space #Compactness theorem #Computability, Logic, AI Algorithms #Danskin's theorem #Eberlein–Šmulian theorem #Lemma (botany) #Limits and Structures in Graph Theory #Metric (unit) #math.CA #math.FA #msc:46E30 #msc:46E35 #msc:46N20
- Computer-aided proofs of Arrow's and other impossibility theorems
2009/03/05 by Pingzhong Tang, Fangzhen Lin · 1 citation
Computer Science · Decision Sciences · Economics, Econometrics and Finance · Mathematics · #Arrow #Arrow's impossibility theorem #Auction Theory and Applications #Base (topology) #Calculus (dental) #Compactness theorem #Computer science #Discrete mathematics #Fixed-point theorem #Fundamental theorem #Game Theory and Voting Systems #Impossibility #Logic, Reasoning, and Knowledge #Mathematical economics #Mathematical proof #Mathematics #Programming language #Proofs of Fermat's little theorem #Social choice theory #Theoretical computer science
- The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic
2007/03/20 by Nobuyuki Sakamoto, Keita Yokoyama · 1 citation
Computer Science · Mathematics · #Advanced Topology and Set Theory #Arithmetic #Brouwer fixed-point theorem #Compactness theorem #Computability, Logic, AI Algorithms #Countable set #Discrete mathematics #Fixed-point theorem #Jordan curve theorem #Lemma (botany) #Mathematical and Theoretical Analysis #Mathematics #Order (exchange) #Pure mathematics
- The Diametric Theorem in Hamming Spaces—Optimal Anticodes
1998/05/01 by Rudolf Ahlswede, Levon H. Khachatrian · 1 citation
Computer Science · Engineering · Mathematics · #Algorithm #Alphabet #Brouwer fixed-point theorem #Cardinality (data modeling) #Coding theory and cryptography #Combinatorics #Compactness theorem #Discrete mathematics #Fixed-point theorem #Hamming code #Hamming distance #Hamming graph #Hamming space #Intersection (aeronautics) #Intersection theorem #Mathematics #Space (punctuation) #graph theory and CDMA systems
- Systematization of finite many-valued logics through the method of tableaux
1987/06/01 by Walter Carnielli · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Rough Sets and Fuzzy Logic #Generalization #Gödel's completeness theorem #Completeness (order theory) #Consistency (knowledge bases) #Mathematics #Compactness theorem #Calculus (dental) #Algebra over a field #Compact space #Model theory #Discrete mathematics #Pure mathematics #Fundamental theorem #Fixed-point theorem #Mathematical analysis