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.
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.
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 [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/547817AE.2070908%40durchholz.org.
For more options, visit https://groups.google.com/d/optout.
