On Equisingularity of Families of Maps (Cn, 0) → (Cn+1, 0) Kevin Houston Abstract. A classical theorem of Brian¸con, Speder and Teissier states that a family of isolated hypersurface singularities is Whitney equisingu

Source URL: www.kevinhouston.net

• Singularity theory
• Differential topology
• Algebraic topology
• Manifold
• Whitney conditions
• Germ
• Algebraic geometry
• Sheaf
• Invariant
• Complex analysis

On Improving MUS Extraction Algorithms Joao Marques-Silva1,2 and Ines Lynce2 1 2

Source URL: www.mancoosi.org

• Automated theorem proving
• Logic in computer science
• Propositional calculus
• Unsatisfiable core
• Boolean algebra
• Resolution
• Exponential time hypothesis
• Algorithm
• Maximum satisfiability problem
• Boolean satisfiability problem
• DavisPutnam algorithm

THE HILBERT TRANSFORM OF A MEASURE ALEXEI POLTORATSKI1,2 , BARRY SIMON3,4 , AND MAXIM ZINCHENKO3 Abstract. Let e be a homogeneous subset of R in the sense of Carleson. Let µ be a finite positive measure on R and Hµ (x)

Source URL: www.math.tamu.edu

• Operator theory
• Measure theory
• Spectral theory
• Fourier analysis
• Support
• Harmonic analysis
• Central limit theorem
• Dyadic cubes

Algebra 2. Teorema di Lindemann-Weierstrass. Roma, gennaio 2010 In this note we present Baker’s proof of the Lindemann-Weierstrass Theorem. Let Q denote the algebraic closure of Q inside C.

Source URL: www.mat.uniroma2.it

• Transcendental numbers
• Number theory
• E
• Exponentials
• LindemannWeierstrass theorem
• Pi
• Constructible universe
• E-function
• SchneiderLang theorem
• Auxiliary function

Topology Vol. IS, ppPergamon Press, 1976. Printed in Great Brifam ON NOVIKOV’S HAYNESR.

Source URL: www.math.jhu.edu

• Homological algebra
• Algebraic topology
• Ext functor
• BrownPeterson cohomology
• Cohomology
• Steenrod algebra
• Adams spectral sequence
• Spectral sequence
• Ring
• Derived functor
• Landweber exact functor theorem
• Bbnlm pngym

The Intrinsic Hodge Theory of p-adic Hyperbolic Curves by Shinichi Mochizuki Contents: §1. Uniformization Theory as a Hodge Theory at Arithmetic Primes (A.) Uniformization as a Catalogue of Rational Points

Source URL: www.kurims.kyoto-u.ac.jp

• Algebraic geometry
• Homological algebra
• Algebraic number theory
• Number theory
• Galois theory
• Abelian variety
• Uniformization theorem
• P-adic Hodge theory
• Galois module
• Crystalline cohomology
• Motive
• P-adic number

arXiv:1401.2813v1 [math.DG] 13 JanThe classification of CMC foliations of R3 and S3 with countably many singularities William H. Meeks III∗

Source URL: arxiv.org

• Differential geometry of surfaces
• Curvature
• Differential geometry
• Foliations
• Riemannian geometry
• 3-manifold
• Sectional curvature
• Gaussian curvature
• Constant-mean-curvature surface
• Minimal surface
• Reeb sphere theorem
• Taut foliation

PYTHAGOREAN THEOREM Find the length of the side.

Source URL: math4children.com

DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk

Source URL: www.cs.man.ac.uk

• Automated theorem proving
• Reasoning
• Semantic Web
• Artificial intelligence
• School of Computer Science
• University of Manchester
• Knowledge representation and reasoning
• Description logic
• Vampire
• Semantic reasoner
• Automated reasoning
• Web Ontology Language
• Resolution

Introduction to Algorithms: 6.006 Massachusetts Institute of Technology Professors Erik Demaine, Piotr Indyk, and Manolis Kellis March 1st, 2011 Problem Set 3

Source URL: courses.csail.mit.edu

• Sorting algorithms
• Heap
• Binary heap
• D-ary heap
• Merge sort
• Master theorem
• Sort
• Shadow heap
• Soft heap