News for hackers. Stuff that matters.

A comment on Graph Representations for Higher-Order Logic and Theorem Proving (2019). Parent comment

Re:Graph Representations for Higher-Order Logic and Theorem ... by thomasahle on Sunday September 06, 2020 @07:30AM (#24390656)
This is the differential equations paper I was thinking about https://medium.com/analytics-vidhya/solving-differential-equ...
[ Parent | on HN ]

There are no comments on this comment yet.