- MathNotebook
- MathConcepts
- StudyMath
- Geometry
- Logic
- Bott periodicity
- CategoryTheory
- FieldWithOneElement
- MathDiscovery
- Math Connections
Epistemology
- m a t h 4 w i s d o m - g m a i l
- +370 607 27 665
- My work is in the Public Domain for all to share freely.
- 读物 书 影片 维基百科
Introduction E9F5FC
Questions FFFFC0
Software
See: Homotopy type theory, Category theory glossary
Investigation: Understand persistent homology and topological data analysis and apply them to problems that interest me.
- Understand these domains.
- Make a map of key concepts in these domains.
- Relate persistent homology to the kissing number.
- Do calculations with practical examples.
- Make a map of mathematics by studying sets of tags at Math Stack exchange and Math Overflow. Use it to predict (using duality) the location of new theorems and concepts.
- Study ways of identifying new concepts in chess.
- Make a map of deepest values.
Readings: Topological data analysis
- Wikipedia: Persistent homology
- Wikipedia: Topological data analysis
- Wikipedia: Spectral sequence
- Edelsbrunner, Harer: Persistent Homology — a Survey.
- Edelsbrunner, Morozov: Persistent Homology: Theory and Practice
Rimvydas Krasauskas
Rimvydas Krasauskas's interests
- New foundations for mathematics
- Having a real programming language to check proofs
Ideas
- What about a reverse approach... where we divide up the space into regions where there are points and where there are not. Consider the largest circles that you can create with no points in it. You can do this by considering the bisecting points on the segments between each pair of points - use these as the centers of your circles. So this will give you a break down into regions. Now do this again allowing a circle to contain one point. (This is perhaps the current case? - for we can use each point as the center of a circle.) Then continue by allowing it to contain 2 points. And so on.