Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

My science interest is about IT and mathematical modeling. And i chose topology as extra course just for curiosity.

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.

Thanks a lot and sorry for English (it's not my native).

share|improve this question

closed as off-topic by abx, Stefan Kohl, Ricardo Andrade, Andy Putman, Chris Godsil Feb 9 at 19:15

This question appears to be off-topic. The users who voted to close gave these specific reasons:

  • "This question does not appear to be about research level mathematics within the scope defined in the help center." – Ricardo Andrade, Andy Putman, Chris Godsil
  • "MathOverflow is for mathematicians to ask each other questions about their research. See Math.StackExchange to ask general questions in mathematics." – abx, Stefan Kohl
If this question can be reworded to fit the rules in the help center, please edit the question.

2  
This seems likely to get closed, but before it does, I'd like to point out that a decent textbook accomplishes all of these except being software. Is there any reason why you feel a textbook is not sufficient to learn topology? –  Logan Maingi Mar 17 '11 at 13:33
2  
Also a book: Counterexamples in Topology (Steen and Seebach) has summaries and charts in the introductory chapter. –  Gerald Edgar Mar 17 '11 at 13:51
    
I think that topospaces.subwiki.org/wiki/Main_Page is made with similar intentions, but I would say there's a lot of work to be done. However, you can find some relations between various properties. Of course, it is a wiki, not an expert system. –  Martin Sleziak Mar 17 '11 at 17:49

1 Answer 1

up vote 2 down vote accepted

I was working on a project like this about five years ago, but I abandoned it. I entered the tables from Counterexamples in Topology 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).

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 GitHub, 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.

share|improve this answer
    
I am watching it. Thanks. I am going to discuss it with our group on next Thursday (24.03.2011) –  mathemage Mar 18 '11 at 6:00

Not the answer you're looking for? Browse other questions tagged or ask your own question.