arbitrary-precision arbitrary-precision-arithmetic arbitrary-precision-floats arbitrary-precision-integers arithmetic artificial-intelligence c-plus-plus digital-signal-processing embedded-systems fixed-point-arithmetic floating-point-arithmetic half-precision integer-arithmetic interval-arithmetic octa-precision posit-arithmetic quad-precision quarter-precision rational-arithmetic

Earth and Environmental Sciences (40%) Economics (40%)

automatic-control control-systems cyber-physical-systems differential-equations dynamical-systems flowpipe formal-verification hybrid-systems interval-arithmetic julia numerical-analysis ode reachability-analysis rigorous-numerics set-propagation simulations verification

interval-arithmetic julia rigorous-numerics

interval-arithmetic linear-algebra numerics

bedtools genome interval-arithmetic

inequalities interval-arithmetic intervals machine-learning python uncertainty visualization