
Flow Mapper
 Referenced in 1 article
[sw12538]
 updated by David Jones using Microsoft Visual Basic .Net and SVG (Scaleable Vector Graphics...

DSCImageCalc
 Referenced in 1 article
[sw27258]
 segmented images. It is written in Visual BASIC .NET and is available at: https://doi.org...

Simian
 Referenced in 1 article
[sw26894]
 COBOL, Ruby, JSP, ASP, HTML, XML, Visual Basic, Groovy source code and even plain text ... system. Simian runs natively in any .NET 1.1 or higher supported environment...

WIMOVAC
 Referenced in 1 article
[sw33380]
 canopy photosynthesis. The ability to predict net carbon exchange and production of vegetation in response ... WIMOVAC has been written in Microsoft Visual Basic, to facilitate the rapid development of user...

PTAEDA
 Referenced in 1 article
[sw41535]
 areas. Individual trees were used as the basic modeling units. In PTAEDA4.0, trees are assigned ... allow the economic evaluation, in terms of net present value, of various management regimes. PTAEDA4.0 ... graphical thinning capability, linkage with the Stand Visualization System developed by the Forest Service...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3363 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

Octave
 Referenced in 312 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

R
 Referenced in 10196 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 2033 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1522 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

TSPLIB
 Referenced in 711 articles
[sw00983]
 TSPLIB is a library of sample instances for...

Uppaal2k
 Referenced in 43 articles
[sw01595]
 Uppaal is an integrated tool environment for modeling...

Ada95
 Referenced in 294 articles
[sw01753]
 Ada is a structured, statically typed, imperative, wide...