Hi Uli On Sat, Mar 6, 2010 at 5:33 AM, kuli <strangequ...@gmx.at> wrote:
<SNIP> > 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 See the logic module SAGE_ROOT/devel/sage-main/sage/logic/ For an incomplete Quine-McCluskey implementation, see ticket #5910: http://trac.sagemath.org/sage_trac/ticket/5910 > -> support for term rewrite systems > -> support for automatas (turing machines, finite automatas) > -> support for grammar and regular expressions I think such features are yet to be implemented. I would very much love to help out. Can you lay out a plan for such a task at implementing these features? Can you give me papers and references that list relevant algorithms? Would you be willing to help out with the implementation of these and perform code review? -- Regards Minh Van Nguyen -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
