Mathematics Commons^™

Constructive Mathematics In St. Petersburg, Russia: A (Somewhat Subjective) View From Within, Vladik Kreinovich

Departmental Technical Reports (CS)

In the 1970 and 1980s, logic and constructive mathematics were an important part of my life; it's what I defended in my Master's thesis, it was an important part of my PhD dissertation. I was privileged to work with the giants. I visited them in their homes. They were who I went to for advice. And this is my story.

Fast Algorithm For Finding Lattice Subspaces In Rn And Its Implementation, Andrew Martin Pownuk

Open Access Theses & Dissertations

There are known necessary and sufficient conditions for a subspace of Rm to be lattice-ordered. Let Y = {y1,…,ym} and yi are rows of the matrix X. A subspace ⟨X⟩, of linear space generated by the set X of n linearly independent positive vectors is lattice-ordered if and only the set X admits a fundamental set of indices I, which means that the subset YI ⊆ Y of vectors indexed by I is linearly independent, and every vector from Y\YI is a nonnegative linear combination of vectors form YI.

In economics it is possible to prove that the minimum-cost insured …

Homeomorphisms Between Pairs Of Genus Two Handlebodies And Separating Circles In Their Boundaries, Daniel Orlando Vazquez

Open Access Theses & Dissertations

A known result in low-dimensional topology is that every incompressible surface properly embedded in a genus two handlebody is boundary compressible. This result produces a pair consisting of a genus two handlebody and a separating curve in its boundary.

We study particular examples of genus two handlebodies and essential simple closed curves which separate their boundaries. The aim of this paper is to give our own construction of separating curves on the boundary of genus two handlebodies and compare them with previously studied pairs. These constructions involve taking 2n arcs on either side of a waist disk of a genus …