This is a very interesting project. I look forward to following its development.
I did a presentation[1] on the implementation of the kibit[2] rule system a few weeks ago which you might find interesting since it's using core.logic as well. [1] http://jonase.github.io/kibit-demo/<http://jonase.github.io/kibit-demo/#1> [2] https://github.com/jonase/kibit Jonas On Wednesday, May 29, 2013 6:10:52 PM UTC+3, Maik Schünemann wrote: > > Hello, > I am glad to announce that my proposal got accepted for google summer of > code. > I am doing the algebraic expression project idea which could lay the > foundation for a clojure CAS System by providing a library to manipulate > expressions syntactically > and also solving equations and optimizing them for evaluation on top of > core.matrix. > > I have created a blog post in which I explained it in more detail and also > the design decisions I have to make in the beginning, such as how to > represent an expression, > a rule, how to deal with core.logic ... > http://kimavcrp.blogspot.de/201blog > post3/05/gsoc-project-algebraic-expressions-pre.html<http://kimavcrp.blogspot.de/2013/05/gsoc-project-algebraic-expressions-pre.html> > > Please comment if you have feedback or feature request or have a concrete > use case for what you would want to use it. The more feedback I get the > better I can make the > library. > > > -- -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
