Unless I've missed something in your proposal, you intend to do forward chaining from miscellaneous facts. This naive approach suffers from many problems, including inadequacy as well as failure to scale. The only comparably bad, but different, approach is to reduce problems to satisfiability.
There are many more reasonable ideas in the MKM (mathematical knowlege manipulation) literature, geometric reasoning, theorem proving, etc. Instead of duplicating the worst naive stuff around, with the only contribution that now it is in python, you might read up on some of the literature. If you have already done so and are proposing to do something that at least recognizes the current state of the art, I have missed it in the scan of your description. In that case, (or in the other case too, I guess) good luck. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/e0018b4f-1681-442f-9742-473e4d941569%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
