tag:blogger.com,1999:blog-2744072865491516720.post1261314150810318910..comments2017-01-24T09:54:52.788-05:00Comments on Higher Logics: Algebra.NET: A Simple Algebra eDSL for .NETSandro Magihttps://plus.google.com/104695796131521685857noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-2744072865491516720.post-67993194238400236632015-08-27T19:03:06.230-04:002015-08-27T19:03:06.230-04:00I do this in my spare time, although my job someti...I do this in my spare time, although my job sometimes overlaps, which helps my sanity. I've had to solve some optimization problems, like bin packing for minimizing shipping costs, and Steiner trees for minimum cost layout of air ducts. Many of the best approximations are LP problems which can be expressed as a series of inequalities.<br /><br />This sort of overlaps that, since equalities are the natural place to start. I was initially motivated to write a small algebraic library to do symbolic and automatic differentiation to port <a href="http://julesjacobs.github.io/2014/10/23/newton-the-ultimate-2.html" rel="nofollow">Jules Jacob's Newton optimization blog posts</a> to C#. I just need to define the simplification identities, and then I can tackle differentiation.Sandro Magihttp://www.blogger.com/profile/05446177882449578817noreply@blogger.comtag:blogger.com,1999:blog-2744072865491516720.post-57957428678109159692015-08-27T14:58:05.728-04:002015-08-27T14:58:05.728-04:00I am jealous of how productive you are! ;-) I wis...I am jealous of how productive you are! ;-) I wish I had your energy to pursue these things. Do you do this in your spare time, or as part of your job? And, may I ask, what is the nature of your need for an optimization library? And are you planning to work on a benchmark facility to compare all of them? I have been truly crazy about eking performance out of my applications in the past 2 years.John Zabroskihttp://www.blogger.com/profile/17294832205855394228noreply@blogger.com