Krystyna Trybulec Kuperberg

Learn More
Let C be a system (finite or infinite) of centrally symmetric convex bodies in IR with disjoint interiors; we call such a C a packing . For a real number ε > 0 and for C ∈ C, we let C denote C enlarged by the factor 1+ ε from its center, that is, C = (1+ ε)(C − c) + c, where c stands for the center of symmetry C. Let us call the closure of the set C \C the(More)
Using the theory of plugs and the self-insertion construction due to the second author, we prove that a foliation of any codimension of any manifold can be modified in a real analytic or piecewise-linear fashion so that all minimal sets have codimension 1. In particular, the 3-sphere S has a real analytic dynamical system such that all limit sets are(More)
The collection of works for this special issue was inspired by the presentations given at the 2011 AMS Special Session on Formal Mathematics for Mathematicians: Developing Large Repositories of Advanced Mathematics. The issue features a collection of articles by practitioners of formalizing proofs who share a deep interest in making computerized mathematics(More)
It is shown that for every triple of integers (α, β, γ) such that α ≥ 1, β ≥ 1, and γ ≥ 2, there is a homogeneous, non-bihomogeneous continuum whose every point has a neighborhood homeomorphic the Cartesian product of Menger compacta μ ×μ × μ . In particular, there is a homogeneous, non-bihomogeneous, Peano continuum of covering dimension four.
If C is a Jordan curve on the plane and P, Q ∈ C, then the segment PQ is called a chord of the curve C. A point inside the curve is called equichordal if every two chords through this point have the same length. Fujiwara in 1916 and independently Blaschke, Rothe and Weitzenböck in 1917 asked whether there exists a curve with two distinct equichordal points(More)