
GAP
 Referenced in 3154 articles
[sw00320]
 including source, is distributed freely. You can study and easily modify or extend...

OpenMx
 Referenced in 40 articles
[sw08538]
 OpenMx: an open source extended structural equation modeling framework. OpenMx is free, fullfeatured, open...

GRASP92
 Referenced in 22 articles
[sw00380]
 point sources or as sphericallysymmetric extended sources; in the latter case the radial variation...

Jason
 Referenced in 65 articles
[sw06187]
 Jason. Jason is an Open Source interpreter for an extended version of AgentSpeak  a logic...

Rodin
 Referenced in 86 articles
[sw07083]
 open source, contributes to the Eclipse framework and is further extendable with plugins...

OpenWBO
 Referenced in 28 articles
[sw10045]
 opensource solver that can be easily modified and extended. Most MaxSAT solvers ... available in opensource, making it hard to extend and improve current MaxSAT algorithms. Second...

Daikon
 Referenced in 44 articles
[sw04319]
 sorted), and many more. Users can extend Daikon to check for additional invariants. Dynamic invariant ... recordstructured data sources; it is easy to extend Daikon to other applications. Invariants...

TRANSFAC
 Referenced in 74 articles
[sw17201]
 have been extended and are increasingly integrated with the TRANSFAC data sources...

OpenFOAM
 Referenced in 543 articles
[sw04317]
 Manipulation) CFD Toolbox is a free, open source CFD software package produced by OpenCFD ... offers users complete freedom to customise and extend its existing functionality, either by themselves...

QEPCAD
 Referenced in 283 articles
[sw00752]
 spanned several decades ... and continues still! I extended and improved QEPCAD for several years. Improvements ... extra commands. Moreover, there was no cannonical source for QEPCAD distribution or documentation...

OGDF
 Referenced in 33 articles
[sw04102]
 lack of publicly available sourcecode restricted the portability and extendability, not to mention ... Linux, MacOS, and Windows operating systems. Open source code available under the terms...

clasp
 Referenced in 103 articles
[sw07095]
 Potassco project hosted at SourceForge. Source code and precompiled binaries are available ... clasp is an answer set solver for (extended) normal logic programs. It combines the high...

Pyomo
 Referenced in 65 articles
[sw04910]
 source software package for formulating and solving largescale optimization problems. The software extends ... discussion of how to load data from sources like spreadsheets and databases. The final chapters...

Jinja Threads
 Referenced in 9 articles
[sw28538]
 Jinja with threads: We extend the Jinja source code semantics by Klein and Nipkow with ... Equally, the compiler from source to byte code is extended, for which we prove weak...

JuMP
 Referenced in 123 articles
[sw16108]
 Mathematical Optimization. JuMP is an opensource modeling language that allows users to express ... implementation, and discuss how JuMP can be extended to new problem classes and composed with...

nuXmv
 Referenced in 28 articles
[sw18526]
 nuXmv open source model checker. It builds on and extends nuXmv along two main directions...

VTK
 Referenced in 115 articles
[sw10593]
 Visualization Toolkit (VTK) is an opensource, freely available software system for 3D computer graphics ... Kitware, whose team created and continues to extend the toolkit, offers professional support and consulting...

ROCK
 Referenced in 72 articles
[sw37720]
 distances when merging clusters. Our methods naturally extend to nonmetric similarity measures that ... domain expert/similarity table is the only source of knowledge. In addition to presenting detailed complexity...

copula
 Referenced in 145 articles
[sw07944]
 applied in many ﬁelds. A good opensource implementation of copulas is much needed ... package, the package can be easily extended by userdeﬁned copulas and margins to solve...

Couenne
 Referenced in 68 articles
[sw04347]
 bounds tightening (BT) and branching strategies. We extend a branching technique originally developed for MILP ... case. Motivated by the demand for opensource solvers for realworld MINLP problems...