On Thursday, November 27, 2014 10:35:34 PM UTC-8, Joachim Durchholz wrote: > > Awesome. > > The papers I've read have been almost exclusively from the theorem > proving > > world. > > I think you should be mostly fine working off these. >
I disagree, unless you are able to find much better papers than I have seen. > Essentially it's all tree matching of some kind. Things will start to > diverge as soon as domain specifics start to matter; it would be nice to > have a not too domain-specific basic building block and add the various > strategies on top of that. > I think the "various strategies" are very important, and not just add-ons. There is a pattern matching program in Peter Norvig's book on Artificial Intelligence Programming ; this book will also teach you Lisp. I highly recommend it. In fact, I would go further than that, and say that I would expect you to re-invent much of what he writes out, or alternatively, have a severely deficient program. And so you might as well read it... > > Don't worry about not being too fluent with Lisp. > You'd need full Lisp mastery to identify what parts of the code can and > should be transferred 1:1, what parts need to be adapted to Python, and > what parts simply won't work or become unmaintainable. > Actually partial knowledge of Lisp might be worse than too little > knowledge :-) > -- 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 sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. 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/cf2c33c5-a4a2-461e-80a7-80fc69c2cc15%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.