• Green

  • Referenced in 2 articles [sw29920]
  • quality of service/solution (QoS) for improvements in performance and reduction in energy consumption. Programmers sometimes ... guarantees. We propose a system called Green that provides a simple and flexible framework that ... systematic manner while providing statistical QoS guarantees. Green enables programmers to approximate expensive functions ... search engine, indicate that Green can produce significant improvements in performance and energy consumption with...
  • ANSYS

  • Referenced in 655 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CoCoA

  • Referenced in 621 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • GAP

  • Referenced in 2850 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Magma

  • Referenced in 2857 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

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

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

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

  • Referenced in 558 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • PLTMG

  • Referenced in 215 articles [sw00717]
  • PLTMG 11.0 is a package for solving elliptic...
  • R

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

  • Referenced in 739 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • MACSYMA

  • Referenced in 716 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • FreeFem++

  • Referenced in 1037 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • S-PLUS

  • Referenced in 595 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • LS-DYNA

  • Referenced in 309 articles [sw03068]
  • LS-DYNA A combined Implicit/Explicit solver. One scalable...
  • L-BFGS

  • Referenced in 715 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • deal.ii

  • Referenced in 549 articles [sw03516]
  • deal.II is a C++ program library targeted at...
  • CPLEX

  • Referenced in 2551 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • RODAS

  • Referenced in 1533 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...