• Pyomo

  • Referenced in 65 articles [sw04910]
  • Pyomo -- optimization modeling in Python. This book provides a complete and comprehensive guide to Pyomo ... flexible, extensible, and portable AML that is embedded in Python, a full-featured scripting language...
  • NModel

  • Referenced in 12 articles [sw11364]
  • explained and used in the book Model-based Software Testing and Analysis with ... been applied to communication protocols, web applications, embedded control systems, and graphical user interfaces...
  • Coquet

  • Referenced in 6 articles [sw09919]
  • paper diagrams. We define a deep-embedding: we use a (dependently typed) data-type that ... correctness of various circuits: a text-book divide and conquer adder of parametric size, some...
  • PDQ

  • Referenced in 2 articles [sw19238]
  • Website: www.perfdynamics.com.par As the epigraph in this book points out, Common sense is the pitfall ... Part I. The important queueing concepts embedded in PDQ are explained in a very simple...
  • BEMLIB

  • Referenced in 108 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LANCELOT

  • Referenced in 306 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • nauty

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • NLTK

  • Referenced in 40 articles [sw00626]
  • This book offers an introduction to Natural Language...
  • R

  • Referenced in 9810 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1970 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • CLAWPACK

  • Referenced in 136 articles [sw01069]
  • Clawpack stands for “Conservation Laws Package” and was...
  • PERL

  • Referenced in 270 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • COBOL

  • Referenced in 237 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...
  • JPEG2000

  • Referenced in 64 articles [sw02062]
  • The JPEG 2000 Suite provides a comprehensive overview...