• SageMath

  • Referenced in 1598 articles [sw00825]
  • free, open-source alternative to Maple, Mathematica, Magma, and MATLAB. Computer algebra system...
  • LOTOS

  • Referenced in 151 articles [sw02961]
  • formal description of the OSI (Open Systems Interconnection) architecture, although it is applicable to distributed...
  • SPIN

  • Referenced in 708 articles [sw03455]
  • Spin is a popular open-source software tool, used by thousands of people worldwide, that ... formal verification of distributed software systems. The tool was developed at Bell Labs...
  • GeoGebra

  • Referenced in 328 articles [sw04203]
  • world. Free and open source software. Computer algebra system...
  • MySQL

  • Referenced in 124 articles [sw15936]
  • MySQL is an open-source relational database management system (RDBMS...
  • Sage-Combinat

  • Referenced in 98 articles [sw16448]
  • mission is: to improve the open source mathematical system Sage as an extensible toolbox...
  • Nuprl

  • Referenced in 387 articles [sw06751]
  • Nuprl system is a framework for reasoning about mathematics and programming. Over the years ... Nuprl LPE, the newest release, features an open, distributed architecture centered around a flexible knowledge...
  • Odyssee

  • Referenced in 32 articles [sw12533]
  • symbolic objects. It is an open system built as a toolkit, written in a high...
  • VTK

  • Referenced in 98 articles [sw10593]
  • Toolkit (VTK) is an open-source, freely available software system for 3D computer graphics, image...
  • OGDF

  • Referenced in 28 articles [sw04102]
  • graph layout methods. Our goals for the Open Graph Drawing Framework (OGDF) were to transfer ... Linux, MacOS, and Windows operating systems. Open source code available under the terms...
  • OpenMPI

  • Referenced in 79 articles [sw13111]
  • best MPI library available. Open MPI offers advantages for system and software vendors, application developers...
  • TRAVOS

  • Referenced in 19 articles [sw11985]
  • Inaccurate Information Sources. In many dynamic open systems, agents have to interact with one another ... addition, due to the size of such systems, agents will often interact with other agents ... among software agents in large scale open systems. Against this background, we have developed TRAVOS...
  • SLMC

  • Referenced in 70 articles [sw04604]
  • robust, available in open source, and outperforms other tools for verifying systems modeled...
  • PostgreSQL

  • Referenced in 69 articles [sw15935]
  • PostgreSQL is a powerful, open source object-relational database system. It has more than...
  • OTTER

  • Referenced in 311 articles [sw02904]
  • fourth-generation Argonne National Laboratory deduction system whose ancestors (dating from the early 1960s) include ... predecessors have been used to answer many open questions in the areas of finite semigroups...
  • Snort

  • Referenced in 46 articles [sw14144]
  • Snort: open source intrusion prevention system capable of real-time traffic analysis and packet logging...
  • SciPy

  • Referenced in 476 articles [sw06293]
  • SciPy (pronounced ”Sigh Pie”) is open-source software for mathematics, science, and engineering ... Together, they run on all popular operating systems, are quick to install, and are free...
  • TensorFlow

  • Referenced in 271 articles [sw15170]
  • TensorFlow™ is an open source software library for numerical computation using data flow graphs. Nodes ... deep neural networks research, but the system is general enough to be applicable...
  • PYTHIA

  • Referenced in 29 articles [sw00747]
  • artifacts. The functionality and effectiveness of the system is demonstrated for two existing performance studies ... recommendation facilities. PYTHIA-II is an open-ended system implemented on public domain software...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • Manipulation Language) and OMRS (Open Mechanized Reasoning Systems). The claim is that the interaction level...