Mathematical software

ParaSCIP
Referenced in 30 articles [sw06292]
become one of the most important techniques in Operations Research and Discrete Optimization. SCIP (Solving ... branchandboundprocedure in which the problem is recursively split into smaller subproblems, thereby creating...

ValEncIA-IVP
Referenced in 29 articles [sw04846]
uncertain initial conditions and uncertain parameters is important for many practical applications. If guaran- teed ... arith- metic, as well as simulation techniques employing split- ting and merging routines...

ValEncIA
Referenced in 19 articles [sw08735]
uncertain initial conditions and uncertain parameters is important for many practical applications. If guaranteed bounds ... model arithmetic, as well as simulation techniques employing splitting and merging routines...

MOCCT
Referenced in 10 articles [sw08475]
MOCCT: A numerical technique for astrophysical MHD. Magnetic fields are important components of many astrophysical ... This is a time-explicit, operator split, nonconservative technique that uses information propagated along Alfvén...

trullekrul
Referenced in 2 articles [sw17639]
restricting refinement to a single edge split per element not only simplifies the code ... Finally, we compare two coarsening techniques and demonstrate the importance of applying smoothing...

FLDBox
Referenced in 1 article [sw40308]
accuracy properties in modern software remains an important and challenging task. One of its difficulties ... numbers. This paper presents a new verification technique for numerical properties, named Runtime Abstract Interpretation ... behavior at runtime. RAI is a hybrid technique combining abstract interpretation and runtime verification that ... defined program points, forming a so-called split-merge section, for which it separately analyzes...

ParaSCIP