JuliaCon 2017 has ended
Back To Schedule
Wednesday, June 21 • 11:40am - 11:52am
TheoSea: Theory Marching to Light

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
TheoSea (for THEOry SEArch) is a Julia meta-program that discovers compact theories from data if they exist. It writes candidate theories in Julia and then validates: tossing the bad theories and keeping the good theories. Compactness is measured by a metric, such as the number of space-time derivatives. A theory can consist of more than one well-formed formula over a mathematical language. The underlying algorithm is optimal in terms of compactness, although it may be combinatorially explosive for non-compact theories. TheoSea is now working on re-discovering the source-free Maxwell equations and the wave equation of light. There are many applications.


Mark Stalzer

Principal Computational Scientist, California Institute of Technology

Wednesday June 21, 2017 11:40am - 11:52am PDT
West Pauley Pauley Ballroom, Berkeley, CA