Layer 1-Informed Internet Topology Measurement Ramakrishnan Durairajan Joel Sommers Paul Barford

Source URL: pages.cs.wisc.edu

Mann iterates of directionally nonexpansive mappings in hyperbolic spaces Ulrich Kohlenbach 1

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

• Geometry
• Mathematics
• Metric geometry
• Space
• Metric
• Topology
• Inverse trigonometric functions
• Secondary measure
• Spectral theory of ordinary differential equations

First Joint Meeting Brazil Italy of Mathematics Special Session: Mathematical Logic Rio de Janeiro, August 29 - September 02, 2016 Title: A topology over open sets Authors: Leandro Aurichi (Universidade de S˜ao Paulo, B

Source URL: www.sbm.org.br

On Power-Law Relationships of the Internet Topology Michalis Faloutsos U.C. Riverside Dept. of Comp. Science

Source URL: www.cs.cmu.edu

Group-theoretic Algorithms for Matrix Multiplication Henry Cohn∗ Robert Kleinberg† Bal´azs Szegedy‡

Source URL: users.cms.caltech.edu

• Algebra
• Mathematics
• Abstract algebra
• Binary operations
• Permutation groups
• Group theory
• Algebraic topology
• Sheaf
• Matrix multiplication
• Wreath product
• Matrix
• Differential forms on a Riemann surface

A Robust Interference Model for Wireless Ad-Hoc Networks Pascal von Rickenbach Stefan Schmid Roger Wattenhofer Aaron Zollinger

Source URL: disco.ethz.ch

• Wireless sensor network
• Network topology
• Wireless networking
• Topology control
• Topology
• Wireless ad hoc network
• ANT
• Interference

Appendix F: Examples of existing semantic representations of mathematics 1. The central limit theorem as represented in Isabelle [12]: 2. The definition of a Möbius transformation in Coq [28]:

Source URL: www.wolframfoundation.org

• General topology
• Mathematics
• ACL2
• Lisp
• Compact space
• Automated theorem proving
• Software
• Mathematical logic
• Model theory

The Arithmetic and Topology of Differential Equations Don Zagier (Max Planck Institute for Mathematics) The talk will describe arithmetic properties of solutions of linear differential equations, especially Picard-Fuchs

Source URL: www.7ecm.de

Arithmetizing proofs in analysis Ulrich Kohlenbach Department of Mathematics University of Michigan at Ann Arbor MI 48109, USA

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

• Mathematics
• Algebra
• Linear algebra
• Abstract algebra
• Cauchy sequence
• Convergence
• Metric geometry
• Topology
• Sequence
• Norm
• Continuous function
• FO

Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces∗ Daniel K¨ornlein and Ulrich Kohlenbach† Department of Mathematics Technische Universit¨at Darmstadt Schlossgarten

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

• Mathematics
• Geometry
• Metric geometry
• Space
• Fixed-point theorems
• Banach fixed-point theorem
• Topology
• Lipschitz continuity
• Fixed-point iteration
• Contraction mapping