most recent 30 from http://mathoverflow.net 2013-06-18T23:27:43Z http://mathoverflow.net/feeds/question/58738 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/58738/knowledge-base-about-topology mathemage 2011-03-17T10:59:40Z 2011-03-18T03:45:25Z

<p>We are studying topology. There are a lot of definitions and theorems. I wonder if there somewhere knowledge base about topology and reasoning system exists. So I expect some tool that systematizes all things in topology and can answer me some simple questions about properties of topological object, give me list of theorems for some topics ans so on.</p> <p>My science interest is about IT and mathematical modeling. And i chose topology as extra course just for curiosity. </p> <p>Nobody in my group knows about such tool. I mean some software tool as i know tables and diagrams for example in Engelking, General Topology.</p> <p>Thanks a lot and sorry for English (it's not my native).</p>

http://mathoverflow.net/questions/58738/knowledge-base-about-topology/58809#58809 Dave R 2011-03-18T03:45:25Z 2011-03-18T03:45:25Z

<p>I was working on a project like this about five years ago, but I abandoned it. I entered the tables from <em>Counterexamples in Topology</em> that list the topological spaces and their properties, and I created a list of logical dependencies among the properties. I also wrote Python code to search for spaces having specified properties, and to test whether certain combinations of properties are logically consistent (using the Davis-Putnam algorithm).</p> <p>Your post inspired me to dust this work off and share it, even though it's not fully baked yet. I have uploaded the data files to <a href="https://github.com/Radcliffe/Hausdorff" rel="nofollow">GitHub</a>, and I will post my Python code as soon as I have cleaned it up. Contact me if you would like to participate in this project.</p>