Deep Data Dives Discover Natural Laws | November 2009 | Communications of the ACM - discu.eu

Hacker News

CS researchers find way to derive laws of nature from stacks of data http://cacm.acm.org/magazines/2009/11/48443-deep-data-dives-discover-natural-laws/fulltext 12 comments 26/10/2009

Linking pages

Using program induction for verification – The Foretellix Blog https://blog.foretellix.com/2017/10/14/using-program-induction-for-verification/ 0 comments

Related searches:

Search whole site: site:cacm.acm.org

Search title: Deep Data Dives Discover Natural Laws | November 2009 | Communications of the ACM

See how to search.

Submit link to: