• CHAMP

• Referenced in 3 articles [sw08494]
• this package is a new Las Vegas algorithm for computing the head and the constituents...

• HadamardSearch

• Referenced in 10 articles [sw18675]
• genetic algorithm for cocyclic Hadamard matrices”, AAECC-16, Las Vegas, USA, LNCS...

• TextCat

• Referenced in 2 articles [sw24540]
• implementation of the text categorization algorithm presented in Cavnar, W. B. and J. M. Trenkle ... Document Analysis and Information Retrieval, Las Vegas, NV, UNLV Publications/Reprographics...

• ATLAS

• Referenced in 195 articles [sw00056]
• This paper describes the Automatically Tuned Linear Algebra...

• GAP

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

• gmp

• Referenced in 255 articles [sw00363]
• GMP is a free library for arbitrary precision...

• IML - Integer Matrix Library

• Referenced in 14 articles [sw00440]
• IML - Integer Matrix Library. IML is a free...

• Magma

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

• Mathematica

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

• McEliece

• Referenced in 203 articles [sw02076]
• Practical power analysis attacks on software implementations of...

• CHEVIE

• Referenced in 210 articles [sw04235]
• CHEVIE is a computer algebra project for symbolic...

• MeatAxe

• Referenced in 48 articles [sw04906]
• The MeatAxe - Computing with Modular Representations. The MeatAxe...

• SATzilla

• Referenced in 84 articles [sw06281]
• SATzilla: portfolio-based algorithm selection for SAT. It...

• SPOT

• Referenced in 73 articles [sw06347]
• SPOT: Sequential Parameter Optimization , R-Package for Sequential...

• RACT

• Referenced in 20 articles [sw06924]
• Randomized Algorithms Control Toolbox (RACT) RACT is a...

• Tabu search

• Referenced in 1028 articles [sw08556]
• A user’s guide to tabu search. We...

• recog

• Referenced in 10 articles [sw11138]
• GAP package recog: A collection of group recognition...

• Hull

• Referenced in 74 articles [sw11670]
• Hull is an ANSI C program that computes...

• ATLAS Group Representations

• Referenced in 153 articles [sw13584]
• ATLAS of Finite Group Representations. To get information...

• Quicksort

• Referenced in 139 articles [sw20694]
• On the adaptiveness of Quicksort. Quicksort was first...