• GAP

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

• Matlab

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

• R

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

• Symstra

• Referenced in 19 articles [sw01296]
• Symstra: A framework for generating object-oriented unit...

• Haskell

• Referenced in 879 articles [sw03521]
• Haskell is a standardized, general-purpose purely functional...

• CRAN

• Referenced in 549 articles [sw04351]
• R is ‘GNU S’, a freely available language...

• Uppaal

• Referenced in 654 articles [sw04702]
• Uppaal is an integrated tool environment for modeling...

• Genocop

• Referenced in 1099 articles [sw04707]
• Genocop, by Zbigniew Michalewicz, is a genetic algorithm...

• IMSL Numerical Libraries

• Referenced in 583 articles [sw04964]
• IMSL Libraries are a comprehensive set of mathematical...

• SAS

• Referenced in 1552 articles [sw06377]
• SAS (Statistical Analysis System) is an integrated system...

• TestEra

• Referenced in 22 articles [sw07258]
• TestEra: A novel framework for automated testing of...

• Korat

• Referenced in 33 articles [sw07259]
• Korat: Automated testing based on Java predicates. This...

• Rostra

• Referenced in 10 articles [sw07268]
• Rostra: A Framework for Detecting Redundant Object-Oriented...

• Java PathFinder

• Referenced in 123 articles [sw07658]
• Model checking JAVA programs using JAVA PathFinder. The...

• TETRAD

• Referenced in 430 articles [sw12177]
• TETRAD is a program which creates, simulates data...

• EMD

• Referenced in 231 articles [sw14902]
• Code for the Earth Movers Distance (EMD). This...

• AG

• Referenced in 4 articles [sw15652]
• AG: A set of Maple packages for manipulating...

• XGBoost

• Referenced in 123 articles [sw21035]
• XGBoost is an optimized distributed gradient boosting library...