• UCI-ml

  • Referenced in 3111 articles [sw04074]
  • service to the machine learning community. You may view all data sets through our searchable ... that are used by the machine learning community for the empirical analysis of machine learning...
  • Magma

  • Referenced in 2986 articles [sw00540]
  • made by many members of the mathematical community. We encourage all users to report...
  • SageMath

  • Referenced in 1714 articles [sw00825]
  • extremely strong emphasis on openness, community, cooperation, and collaboration: we are building...
  • YALMIP

  • Referenced in 962 articles [sw04595]
  • package initially aimed at the control community and focused on semidefinite programming, but the latest...
  • SparseMatrix

  • Referenced in 646 articles [sw04629]
  • widely used by the numerical linear algebra community for the development and performance evaluation...
  • TPTP

  • Referenced in 378 articles [sw04143]
  • systems. The TPTP supplies the ATP community with: A comprehensive library of the ATP test...
  • Bioconductor

  • Referenced in 307 articles [sw04205]
  • software packages, and an active user community. Bioconductor is also available as an Amazon Machine...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • continuing active development and have gathered loyal communities of users around them. ANSI Smalltalk...
  • PDDL

  • Referenced in 92 articles [sw07079]
  • recent years research in the planning community has moved increasingly toward s application of planners ... planning demonstrated by the space res earch community has inspired work in observation scheduling, planetary ... manufacturing have also helped to focus the community on the modelling and reasoning issues that ... petition (held in 2002) set the planning community the challenge of handling time and numeric...
  • COIN-OR

  • Referenced in 98 articles [sw04615]
  • open-source software for the operations research community. Why open source? The Open Source Initiative ... open-source development have been remarkable. Community-based efforts to develop software under open-source ... original algorithm was publicly available in a community repository. Weeks of re-implementing would...
  • Miranda

  • Referenced in 152 articles [sw04986]
  • found out so far to a larger community, in the form of stable implementations...
  • PARAMESH

  • Referenced in 100 articles [sw00677]
  • PARAMESH: A parallel adaptive mesh refinement community toolkit. In this paper we describe a community...
  • PASCAL VOC

  • Referenced in 124 articles [sw36507]
  • combined performance. We also analyse the community’s progress through time using the methods...
  • GenLouvain

  • Referenced in 81 articles [sw13826]
  • Generalized Louvain Method for Community Detection Implemented in MATLAB. This ”generalized Louvain” MATLAB code ... community detection allows the user to define a quality function in terms of a generalized...
  • Cactus

  • Referenced in 79 articles [sw04422]
  • multi-platform, high performance applications across diverse communities. We then describe the design ... being used by various application communities, and describe how it will also enable these applications...
  • Graphs

  • Referenced in 104 articles [sw12277]
  • been considered by researchers from various communities (sometimes under different names): algorithm engineers construct fast...
  • Anderson

  • Referenced in 74 articles [sw15192]
  • studied by the mathematics and numerical analysis communities, this method has received relatively little attention ... from these communities over the years. A recent paper by H. Fang and Y. Saad...
  • Sage-Combinat

  • Referenced in 102 articles [sw16448]
  • Sage, developed by a community of researchers. The intent is that most of those branches...
  • SHOGUN

  • Referenced in 101 articles [sw03517]
  • already widely adopted in the machine learning community and beyond. SHOGUN is implemented...
  • PPL

  • Referenced in 97 articles [sw05357]
  • important role in the formal methods community and several critical tasks rely on their software...