• 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...
  • Chaste

  • Referenced in 54 articles [sw00122]
  • Chaste: incorporating a novel multi-scale spatial and...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Expokit

  • Referenced in 200 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GELDA

  • Referenced in 33 articles [sw00331]
  • GELDA is a Fortran77 sofware package for the...
  • ITPACK

  • Referenced in 47 articles [sw00459]
  • The ITPACK project: Past, present, and future The...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • MARCA

  • Referenced in 32 articles [sw00547]
  • MARCA: Markov chain analyzer, a software package for...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MEBDF

  • Referenced in 85 articles [sw00567]
  • An MEBDF package for the numerical solution of...
  • Octave

  • Referenced in 304 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • PARAMESH

  • Referenced in 113 articles [sw00677]
  • PARAMESH: A parallel adaptive mesh refinement community toolkit...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • SINGULAR

  • Referenced in 1508 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...