• Python

  • Referenced in 1618 articles [sw14460]
  • procedural styles. It features a dynamic type system and automatic memory management ... available for installation on many operating systems, allowing Python code execution on a wide variety ... systems. Using third-party tools, such as Py2exe or Pyinstaller, Python code can be packaged ... some of the most popular operating systems, allowing the distribution of Python-based software...
  • SciPy

  • Referenced in 566 articles [sw06293]
  • Together, they run on all popular operating systems, are quick to install, and are free...
  • NAG

  • Referenced in 419 articles [sw00610]
  • languages and for many platforms and operating systems. For more specific product information, library content...
  • PERL

  • Referenced in 267 articles [sw01225]
  • intended for users of the UNIX operating system, Perl runs on several other operating systems...
  • LEDA

  • Referenced in 261 articles [sw00509]
  • definitive account of how the system operates and how it can be used. The authors...
  • LAPACK

  • Referenced in 1648 articles [sw00503]
  • linear equations, least-squares solutions of linear systems of equations, eigenvalue problems, and singular value ... data instead of doing useful floating-point operations. LAPACK addresses this problem by reorganizing ... LAPACK requires that highly optimized block matrix operations be already implemented on each machine. LAPACK ... matrix multiplication and the solution of triangular systems with multiple right-hand sides. Because...
  • FEAP

  • Referenced in 175 articles [sw04963]
  • Intel compiler), LINUX or UNIX operating systems, and Mac OS X based Apple systems.Contact feap@berkeley.edu...
  • LISP-STAT

  • Referenced in 116 articles [sw01111]
  • Lisp arithmetic operations to perform element-wise operations on lists and vectors, and adds ... linear algebra functions. A portable window system interface forms the basis of a dynamic graphics ... system that is designed to work identically in a number of different graphical user ... interface environments, such as the Macintosh operating system, the X window system, and Microsoft Windows...
  • Java PathFinder

  • Referenced in 120 articles [sw07658]
  • analyze, using SPIN, a multi-threaded operating system for the Deep-Space 1 space craft...
  • seL4

  • Referenced in 82 articles [sw15222]
  • only known way to guarantee that a system is free of programming errors. We present ... design approach that fuses formal and operating systems techniques. To our knowledge, this ... correctness of a complete, general-purpose operating-system kernel. Functional correctness means here that ... will never perform an unsafe operation. It also proves much more: we can predict precisely...
  • QDES

  • Referenced in 107 articles [sw26999]
  • QDES is a linear control system design specification compiler and solver, originally released ... Package contains binaries for machines and operating systems that no longer exist, a bunch...
  • CoCoA

  • Referenced in 637 articles [sw00143]
  • system for Computations in Commutative Algebra. It is able to perform simple and sophisticated operations ... high-level programming language. For convenience, the system offers a textual interface, an Emacs mode...
  • Cliquer

  • Referenced in 68 articles [sw05044]
  • most modern UNIX systems. Other operating systems may require minor changes to the source code...
  • PostgreSQL

  • Referenced in 71 articles [sw15935]
  • powerful, open source object-relational database system. It has more than 15 years of active ... correctness. It runs on all major operating systems, including Linux, UNIX...
  • LEGO

  • Referenced in 107 articles [sw09685]
  • Jersey ML. It implements various related type systems - the Edinburgh Logical Framework (LF), the Calculus ... supports refinement proof as a basic operation. The system design emphasizes removing the more tedious...
  • MeatAxe

  • Referenced in 66 articles [sw04906]
  • therefore, it is necessary to write operating system commands to run the various programs. This ... necessary for the various implementations in differing operating environments. The primitive objects...
  • YACC

  • Referenced in 67 articles [sw26931]
  • computer program for the Unix operating system developed by Stephen C. Johnson...
  • Intel TBB

  • Referenced in 63 articles [sw15025]
  • multiple compilers and portable to various operating systems...
  • Access

  • Referenced in 61 articles [sw03704]
  • Microsoft Office Access, is a database management system from Microsoft that combines the relational Microsoft ... modules may declare and call Windows operating-system functions...
  • UMDES

  • Referenced in 363 articles [sw09523]
  • written for the study of discrete event systems modeled by finite-state automata (FSA). There ... routines that implement many of the operations of supervisory control theory, and routines that implement ... Michigan for failure diagnosis of discrete event systems. The book ”Introduction to Discrete Event Systems...