Formulize

Formulize or Eureka II is a program that looks and feels like a spreadsheet, but has the ability to search the data and find mathematical patterns underlying it.

Features:
-Discover mathematical relationships between columns of your data
-Find dynamic relationships in time-series data, in the form of differential equations
-Reveal other hidden patterns and invariants in your data
-Highlight anomalities and suggest where new data is needed
-Produce reports that summarize these findings