• UCI-ml

  • Referenced in 3100 articles [sw04074]
  • most cited ”papers” in all of computer science. The current version of the web site...
  • PETSc

  • Referenced in 1182 articles [sw04012]
  • particular, for individuals without some computer science background, experience programming in C, C++ or Fortran...
  • OEIS

  • Referenced in 3479 articles [sw07248]
  • computer scientist or someone working in information science.) To handle files ... Knuth, ”The Art of Computer Programming”, where you find your algorithm described. The entry even...
  • SPIN

  • Referenced in 712 articles [sw03455]
  • original Unix group of the Computing Sciences Research Center, starting in 1980. The software...
  • Uppaal

  • Referenced in 634 articles [sw04702]
  • developed jointly by Basic Research in Computer Science at Aalborg University in Denmark...
  • Macaulay2

  • Referenced in 1692 articles [sw00537]
  • National Science Foundation since 1992. Macaulay2 includes core algorithms for computing Gröbner bases and graded...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 to the field of computer science have been deep, wide ranging and enduring...
  • LEDA

  • Referenced in 261 articles [sw00509]
  • core computer science areas -- data structures, graph and network algorithms, and computational geometry -- LEDA...
  • BoomerAMG

  • Referenced in 165 articles [sw00086]
  • Problems in Parallel, Lecture Notes in Computer Science, Vol. 1457, Springer, New York...
  • NQTHM

  • Referenced in 149 articles [sw07543]
  • procedures” [in “The correctness problem in computer science” (1981; Zbl 0476.68009)] and “The addition ... bounded quantification and partial functions to a computational logic and its theorem prover” [J. Autom...
  • Isar

  • Referenced in 141 articles [sw04599]
  • actually formalizing parts of mathematics and computer science, there are still obstacles in addressing...
  • XSB

  • Referenced in 138 articles [sw13877]
  • number of institutions, including the Computer Science Department of Stony Brook University, Universidade Nova...
  • Diffpack

  • Referenced in 114 articles [sw00203]
  • modern programming methodologies migrate from computer science to scientific computing, developers of numerical software...
  • LISP

  • Referenced in 126 articles [sw07201]
  • languages, Lisp pioneered many ideas in computer science, including tree data structures, automatic storage management...
  • RelView

  • Referenced in 101 articles [sw00798]
  • developed at the Department of Computer Science of the Christian-Albrechts-University of Kiel. This...
  • Cactus

  • Referenced in 78 articles [sw04422]
  • building a variety of computing applications in science and engineering, including astrophysics, relativity and chemical ... provide the latest advances in computational science, such as interchangeable parallel data distribution and high ... while hiding most details of the underlying computational libraries from the application developer. We survey...
  • GiNaC

  • Referenced in 75 articles [sw01609]
  • together with more established areas of computer science (like computation- intense numeric applications, graphical interfaces...
  • OpenMPI

  • Referenced in 81 articles [sw13111]
  • software vendors, application developers and computer science researchers...
  • Matita

  • Referenced in 69 articles [sw06140]
  • theorem prover under development at the Computer Science Department of the University of Bologna...
  • BGL

  • Referenced in 61 articles [sw17557]
  • solving many types of problems in computer science. Consequently, these abstractions must also be represented...