Hello, first at all I want to congratulate you all for your work at sagemath. I think it's very important that there are free high-quality math- solutions available.
Secondly, I want to ask you, if it would make sense (I think it makes) to develop a computational logic module for sage math. I'm thinking of tools for logic -> CNF/DNF convertions -> boolean truth tables (mandatory) -> support for predicate logic -> support for term rewrite systems -> support for automatas (turing machines, finite automatas) -> support for grammar and regular expressions ... maybe I can convince (although this would take some time, because I'm still an undergraduate) my tutors to do a master project in this field. I've although another suggestion. The browser-approach is a super idea, but why do you have to be logged in to do your work. Wouldn't it be a cool idea, to make the resources available by one site (something like sagemath.org), so that you can use it like google, but for calculation stuff. I know, there's wolfram alpha, but I think such stuff has to be free. best regards, uli kastlunger -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
