"Arb" is “a C library for #arbitrary-precision ball arithmetic”. #interval-arithmetic on complex numbers. #math
on 02024-01-14#paper #toread “Improving interval analysis in #finite-element calculations by means of #affine-arithmetic” #interval-arithmetic from 2010, on “structural safety engineering” simulations
on 02017-05-19#pdf #paper #toread “Sampling Procedural Shaders Using #Affine-Arithmetic” #interval-arithmetic #graphics “an average value of the shader together with accurate error bounds over a finite area” from 1998!!
on 02017-05-19list of #interval-arithmetic researchers
on 02017-05-19#pdf #paper on #interval-arithmetic and #finite-element analysis #toread from 2016
on 02017-05-19overview of the #interval-arithmetic field up to 2004 or so
on 02017-05-19#paper “Fast #Ray-Tracing of Arbitrary Implicit Surfaces with Interval and #Affine-Arithmetic” #interval-arithmetic #graphics #toread with reduced affine arithmetic and #GPGPU goodness from 2008.
on 02017-05-19#pdf #paper “Ray Casting Implicit Fractal Surfaces with Reduced #Affine-Arithmetic” #graphics #ray-tracing #interval-arithmetic #toread This looks fricking awesome. From 2010.
on 02017-05-19“Improving interval analysis in #finite-element calculations by means of #affine-arithmetic” #paper #interval-arithmetic #toread
on 02017-05-19cc-by #paper on #finite-element analysis with #interval-arithmetic (I think; #toread)
on 02017-05-19#interval-arithmetic #math #algorithms in ℤ/Nℤ #toread by #ryg
on 02016-09-29#interval-arithmetic #ebooks, including on nonlinear #constraint solving over continuous domains.
on 02016-01-05Oh holy shit a van Emden #paper (in #pdf) on #constraint satisfaction using #interval-arithmetic! #AWESOME! 12 pp, 2010.
on 02015-11-18#pdf #paper on #constraint reasoning with #interval-arithmetic by Eero Hyvonen. I think this is from about 1989 or 1990, since 1989 is the latest date of any citation. I think it does mention the approach of recursively subdividing intervals to progressively approach a solution, although I can’t quite understand the notation, and it mentions how it helps with cyclic constraint nets like x+t=y; y+t=z; x=1; z>11.
on 02015-11-18