-
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...
-
Stan
- Referenced in 302 articles
[sw10200]
- runs on all major platforms...
-
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...