• Symbiotic 2

  • Referenced in 2 articles [sw25256]
  • Symbiotic 2: more precise slicing (competition contribution). Symbiotic 2 keeps the concept and the structure ... consequences. We also briefly recall basic principles of the tool, its strong and weak points ... results achieved by Symbiotic 2 in the competition...
  • Root Balanced Tree

  • Referenced in 2 articles [sw28657]
  • trees, search trees based on the design principle of partial rebuilding: perform update operations naively ... which also presents experimental results that show competitiveness of root-balanced with...
  • Karate Club

  • Referenced in 1 article [sw32339]
  • output generation. This paper discusses the design principles behind this framework with practical examples ... support evidence with regards to its competitive speed...
  • VideoFlow

  • Referenced in 1 article [sw35019]
  • predict sequences of future events can, in principle, learn to capture complex real-world phenomena ... based generative models offer a viable and competitive approach to generative modelling of video...
  • C-XSC

  • Referenced in 106 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • DEA

  • Referenced in 242 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • Gerris

  • Referenced in 254 articles [sw00341]
  • Gerris is a Free Software program for the...
  • Maple

  • Referenced in 5020 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

  • Referenced in 528 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • PROFIL/BIAS

  • Referenced in 125 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...
  • R

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

  • Referenced in 347 articles [sw00989]
  • An ANSI C code for sparse LU factorization...
  • AUTO

  • Referenced in 864 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • DYNAMO

  • Referenced in 250 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • FreeFem++

  • Referenced in 1010 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • SNOPT

  • Referenced in 503 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • OTTER

  • Referenced in 311 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • AMPL

  • Referenced in 581 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...