
channelflow
 Referenced in 79 articles
[sw07526]
 software system for numerical analysis of the incompressible NavierStokes 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 generalpurpose 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...

ADOLC
 Referenced in 257 articles
[sw00019]
 ADOLC: 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 highlevel language and interactive...

NSPCG
 Referenced in 35 articles
[sw00636]
 The most recent researchoriented software package developed...

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