• OEIS

  • Referenced in 3522 articles [sw07248]
  • number of steps needed for ”sorting by list merging”, a well-known algorithm. The entry...
  • CGAL

  • Referenced in 362 articles [sw00118]
  • Library offers geometric object generators and spatial sorting functions, as well as a matrix search...
  • Quicksort

  • Referenced in 151 articles [sw20694]
  • which are among the fastest generic-sorting algorithms available, as testified by the choice ... Quicksort as the default sorting algorithm in most programming libraries. Some sorting algorithms are adaptive ... better for inputs, which are nearly sorted, according to some specified measure of presortedness. Quicksort ... comparisons even for sorted inputs. However, in this paper, we demonstrate empirically that the actual...
  • OBJ3

  • Referenced in 138 articles [sw05370]
  • specification and proof system based on order sorted equational logic. It has been successfully used...
  • ImageNet

  • Referenced in 128 articles [sw21105]
  • will offer tens of millions of cleanly sorted images for most of the concepts...
  • ELECTRE

  • Referenced in 122 articles [sw02971]
  • three main problematics: choosing, ranking and sorting. The fourth section presents the recent developments...
  • heapsort

  • Referenced in 61 articles [sw34903]
  • computer science, heapsort is a comparison-based sorting algorithm. Heapsort can be thought ... improved selection sort: like selection sort, heapsort divides its input into a sorted ... from it and inserting it into the sorted region. Unlike selection sort, heapsort does ... scan of the unsorted region; rather, heap sort maintains the unsorted region in a heap...
  • PAES

  • Referenced in 93 articles [sw04159]
  • Pareto Genetic Algorithm (NPGA) and a nondominated sorting GA (NSGA). Tests were carried out using...
  • SMS-EMOA

  • Referenced in 85 articles [sw11894]
  • combined with the concept of non-dominated sorting. The algorithm’s population evolves...
  • PostgreSQL

  • Referenced in 71 articles [sw15935]
  • Unicode, and it is locale-aware for sorting, case-sensitivity, and formatting. It is highly...
  • SLIQ

  • Referenced in 50 articles [sw11759]
  • categorical attributes. It uses a novel pre-sorting technique in the tree-growth phase. This ... sorting procedure is integrated with a breadth-first tree growing strategy to enable classification...
  • MPTP 0.2

  • Referenced in 45 articles [sw02589]
  • extended TPTP syntax that adds term-dependent sorts and abstract (Fraenkel) terms to the TPTP ... standard TPTP syntax using relativization of sorts and deanonymization of abstract terms. Full Mizar proofs...
  • AS 307

  • Referenced in 58 articles [sw14162]
  • time, by combining geometric properties with certain sorting and updating mechanisms. Both types of depth...
  • NCAlgebra

  • Referenced in 54 articles [sw07755]
  • Commutative Groebner Bases and has extensive sorting and display features as well as algorithms...
  • 4eMka2

  • Referenced in 53 articles [sw16168]
  • this system is resolving of multi-criteria sorting problems. System can be used in many...
  • Thrust

  • Referenced in 51 articles [sw09618]
  • data parallel primitives such as scan, sort, and reduce, which can be composed together...
  • Daikon

  • Referenced in 43 articles [sw04319]
  • containment $(x in y)$, sortedness ($x$ is sorted), and many more. Users can extend Daikon...
  • PREFDIS

  • Referenced in 22 articles [sw11030]
  • PREFDIS: A multicriteria decision support system for sorting decision problems. This paper, following the methodological ... DIScrimination) multicriteria decision support system to study sorting decision problems. The main characteristic ... develop interactively powerful additive utility models to sort a set of alternatives into ... accurately as possible, based on different sorting techniques. Furthermore, the system provides enriched preference modeling...
  • RM-MEDA

  • Referenced in 35 articles [sw08554]
  • from the model thus built. A nondominated sorting-based selection is used for choosing solutions...