
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 fullfeatured scripting language...

NModel
 Referenced in 12 articles
[sw11364]
 explained and used in the book Modelbased 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 deepembedding: we use a (dependently typed) datatype that ... correctness of various circuits: a textbook 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 boundaryelement 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 largescale 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 highlevel language and interactive...

nauty
 Referenced in 609 articles
[sw00611]
 graphtheoretic 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, opensource 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 businessoriented...

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