1 code implementation • 11 Aug 2020 • Brian Groenke, Luke Madaus, Claire Monteleoni
Downscaling is a landmark task in climate science and meteorology in which the goal is to use coarse scale, spatio-temporal data to infer values at finer scales.
no code implementations • 12 Oct 2018 • Brian Groenke
Newer theorem provers, such as E, use superposition calculus in place of more traditional resolution and tableau based methods.