My homepage | My math page | My math news | Donate for the research
I work in the following areas of mathematics:
I discovered Algebraic General Topology, a new field of math which will replace old General Topology. Mathematical Synthesis is how I call Algebraic General Topology applied to study of Mathematical Analysis.
Among other things, it hides epsilon-delta notion behind a smart algebra.
Generalization in ZF (an article + Isabelle computer proof assistants sources).
The rest of my mathematical materials.
My homepage | My math page | My math news | Donate for the research