• Mathematica

  • Referenced in 6445 articles [sw00554]
  • much more—it’s the only development platform fully integrating computation into complete workflows, moving...
  • CoCoA

  • Referenced in 659 articles [sw00143]
  • graphical user interface common to most platforms. Computer algebra system...
  • HOL

  • Referenced in 594 articles [sw05492]
  • particularly suitable as a platform for implementing combinations of deduction, execution, and property checking...
  • Trilinos

  • Referenced in 412 articles [sw04028]
  • assist package developers with builds across multiple platforms, generating documentation and regression testing across ... target platforms. At the same time, what a package must do to be called...
  • Ox

  • Referenced in 493 articles [sw09501]
  • Versions of Ox are available for many platforms...
  • NAG

  • Referenced in 425 articles [sw00610]
  • with many programming languages and for many platforms and operating systems. For more specific product...
  • Matplotlib

  • Referenced in 400 articles [sw06590]
  • hardcopy formats and interactive environments across platforms. matplotlib can be used in python scripts...
  • spBayes

  • Referenced in 389 articles [sw10160]
  • spBayes, built upon the R statistical computing platform that implements a generalized template encompassing...
  • GeoGebra

  • Referenced in 383 articles [sw04203]
  • GeoGebra is free and multi-platform dynamic mathematics software for all levels of education that...
  • McEliece

  • Referenced in 264 articles [sw02076]
  • cryptographic algorithms, e.g. McEliece, on microprocessor-based platforms has been extremely raised ... increasing storage space of these platforms. Therefore, their vulnerability and robustness against physical attacks...
  • polymake

  • Referenced in 328 articles [sw00724]
  • graphs, tropical hypersurfaces, and other objects. Supported platforms include various flavors of Linux, FreeBSD...
  • gmp

  • Referenced in 289 articles [sw00363]
  • site. GMP’s main target platforms are Unix-type systems, such as GNU/Linux, Solaris...
  • JAGS

  • Referenced in 272 articles [sw08040]
  • mind: (1) To have a cross-platform engine for the BUGS language...
  • COBOL

  • Referenced in 237 articles [sw01228]
  • programmers, programs are being migrated to new platforms, rewritten in modern languages or replaced with...
  • MPT

  • Referenced in 235 articles [sw04732]
  • code, or deployed to target platforms using Real Time Workshop...
  • ParaView

  • Referenced in 233 articles [sw06128]
  • ParaView is an open-source, multi-platform data analysis and visualization application. ParaView users...
  • OpenCL

  • Referenced in 232 articles [sw07060]
  • first open, royalty-free standard for cross-platform, parallel programming of modern processors found...
  • SifDec

  • Referenced in 220 articles [sw04087]
  • environment to allow simultaneous multi-platform installation, new tools for, and interfaces to, optimization packages...
  • Eigen

  • Referenced in 218 articles [sw05781]
  • versatile, fast, elegant and works on many platforms...