Related papers: SPM Bulletin 36
A surprising number of new results in "core" SPM in the last quarter of 2007, and some other beautiful fundamental results are announced.
Several recent SIGGRAPH papers on surface simplification are described.
This volume contains the proceedings of the Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022). The meeting took place on the 2nd of April as a satellite of European Joint Conferences on Theory & Practice of…
This volume contains the proceedings of the Fourth Workshop on Mathematically Structured Functional Programming (MSFP 2012), taking place on 25 March, 2012 in Tallinn, Estonia, as a satellite event of the European Joint Conferences on…
These lecture notes for the IAS/Park City Graduate Summer School in Geometric Combinatorics (July 2004) provide an overview of poset topology. These notes include introductory material, as well as recent developments and open problems. Some…
This volume contains a selection of papers presented at LFMTP 2019, the 14th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on June 22, 2019, in Vancouver, Canada. The workshop was…
This review was given at the 65th birthday meeting of D.W. Sciama, The Renaissance of General Relativity and Cosmology, to be published by Cambridge University Press. It presents progress in the understanding of non-standard relativistic…
This paper surveys the theory of multiple packings and coverings. The study of multiple arrangements started in the 60s of the last century, and it was restricted mostly to lattice arrangements on the plane or of general arrangements of…
Motivated by a recent result of Sakai, we define a new selection operator for covers of topological spaces, inducing new selection hypotheses. We initiate a systematic study of the new hypotheses. Some intriguing problems remain open.
The article is dedicated to the memory of O.N. Vvedenskii. Vvedenskii's results are presented as well as selected new results of arithmetic algebraic geometry. Elements of ontology of Vvedenskii's research also given.
This volume contains the papers presented at the Tenth International Workshop on Developments in Computational Models (DCM) held in Vienna, Austria on 13th July 2014, as part of the Vienna Summer of Logic. Several new models of computation…
This is the text of my habilitation thesis defended at the \'Ecole Normale Sup\'erieure. The topological string presents an arena in which many features of string theory proper, such as the interplay between worldsheet and target space…
This is the opening article of the abstract book of conference "Set-Theoretic Topology and Topological Algebra" in honor of professor Alexander Arhangelskii on the occasion of his 80th birthday held in 2018 at Moscow State University.
Contents: 1. Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces, I; 2. Frechet-Urysohn fans in free topological groups; 3. Packing index of subsets in Polish groups; 4.…
We survey the 19th century development of the signature of a quadratic form, and the applications in the 20th and 21st century to the topology of manifolds and dynamical systems. Version 2 is an expanded and corrected version of Version 1,…
Provability logic concerns the study of modality $\Box$ as provability in formal systems such as Peano arithmetic. Natural, albeit quite surprising, topological interpretation of provability logic has been found in the 1970's by Harold…
This article analyzes the interplay between symplectic geometry in dimension four and the invariants for smooth four-manifolds constructed using holomorphic triangles introduced in math.SG/0110169. Specifically, we establish a non-vanishing…
This paper is an extension of the author's lecture "Unique Determination of Polyhedral Domains and $p$-Moduli of Path Families" given at the International Conference "Metric Geometry of Surfaces and Polyhedra" dedicated to the 100th…
One of the aims of this paper is to better explain the philosophy behind the computations in [E.Bifet, C.De Concini,C.Procesi Cohomology of Regular Embeddings ] and to place them in a wider conceptual setting. Another aim of the paper is to…
Modular forms appear in many facets of mathematics, and have played important roles in geometry, mathematical physics, number theory, representation theory, topology, and other areas. Around 1994, motivated by technical issues in homotopy…