• 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 high-level language and interactive...
  • MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Octave

  • Referenced in 312 articles [sw00646]
  • GNU Octave is a high-level 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, open-source 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...