• channelflow

  • Referenced in 79 articles [sw07526]
  • software system for numerical analysis of the incompressible Navier-Stokes flow in channel geometries, written ... intelligible form by using relatively modern software design. Channelflow consists of a software library ... Chebyshev x Fourier expansions appropriate for rectangular geometries with periodic boundary conditions in two directions...
  • MMP/Geometer

  • Referenced in 14 articles [sw00584]
  • automated geometric reasoning. We introduce a software package, MMP/Geometer, developed by us to automate some ... method for Euclidean and differential geometries, the area method and the geometric deductive database method ... diagram editor, MMP/Geometer is an intelligent dynamic geometric software tool which may be used ... interactively by combining the idea of dynamic geometry and methods of automated diagram generation...
  • GeoText

  • Referenced in 3 articles [sw12576]
  • GeoText is an intelligent dynamic software system in the form of an electronic textbook that ... manage knowledge elements in plane Euclidean geometry. The textbook is dynamic in the sense that ... updated in real time and is intelligent in the sense that content management and knowledge ... with an interface to a dynamic mathematics software package (GeoGebra), GeoText is capable of presenting...
  • GANITH

  • Referenced in 9 articles [sw10142]
  • GANITH algebraic geometry toolkit. We are building a general-purpose tool for computing and visualizing ... existing algorithms, in an intelligent blend of algebraic and numeric methods, and real solutions. Complex ... computed, but visualizing them is difficult. The software shall also take advantage of any parallel...
  • ADOL-C

  • Referenced in 257 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

  • Referenced in 713 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BARON

  • Referenced in 361 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CoCoA

  • Referenced in 659 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • 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...
  • GCLC

  • Referenced in 31 articles [sw00326]
  • We present GCLC/WinGCLC -- a tool for visualizing geometrical...
  • Isabelle

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

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

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

  • Referenced in 267 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • 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...
  • NSPCG

  • Referenced in 35 articles [sw00636]
  • The most recent research-oriented software package developed...
  • QEPCAD

  • Referenced in 285 articles [sw00752]
  • QEPCAD B: A program for computing with semi...