
SparseMatrix
 Referenced in 724 articles
[sw04629]
 underlying 2D or 3D geometry (as structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor ... those that typically do not have such geometry (optimization, circuit simulation, economic and financial modeling...

Cinderella
 Referenced in 153 articles
[sw00127]
 Interactive Geometry Software. Besides support for dynamic geometry, Cinderella.2 has many features that broaden...

GeoGebra
 Referenced in 381 articles
[sw04203]
 multiplatform dynamic mathematics software for all levels of education that joins geometry, algebra, tables ... algebra and tables are connected and fully dynamic. Easytouse interface, yet many powerful...

TINspire
 Referenced in 62 articles
[sw06151]
 computer algebra system, function plotter, dynamic geometry, spreadsheet, dynamic statistics a Q&A module...

OpenFOAM
 Referenced in 543 articles
[sw04317]
 reactions, turbulence and heat transfer, to solid dynamics and electromagnetics. It includes tools for meshing ... snappyHexMesh, a parallelised mesher for complex CAD geometries, and for pre and postprocessing. Almost...

Gerris
 Referenced in 313 articles
[sw00341]
 dynamically to the features of the flow Entirely automatic mesh generation in complex geometries Second ... Portable parallel support using the MPI library, dynamic loadbalancing, parallel offline visualisation Volume...

GEX
 Referenced in 35 articles
[sw09961]
 software for dynamic diagram drawing and automated geometry ... theorem proving and discovering. As a dynamic geometry software, GEX can be used to build ... build dynamic logic models which can do reasoning themselves. 1) Geometry Expert ... generate readable proofs for mant geometry throerms. 2) By dynamic visual models, we mean models...

AdaGrad
 Referenced in 157 articles
[sw22202]
 subgradient methods that dynamically incorporate knowledge of the geometry of the data observed in earlier...

Nek5000
 Referenced in 137 articles
[sw08064]
 investigate the dynamics of nonlinear flows in moderately complex geometries. The aim of stability calculations...

FronTier
 Referenced in 47 articles
[sw12957]
 general purpose software package for the geometry and dynamics of an interface has been extracted...

Lugares
 Referenced in 19 articles
[sw09861]
 Prolog that offers a standard dynamic geometry environment and uses the symbolic capabilities of CoCoA ... consists of the link between the dynamic geometry paradigm and a symbolic approach to automatic...

GeoThms
 Referenced in 25 articles
[sw06216]
 exploring geometrical knowledge that integrates dynamic geometry software (DGS), automatic theorem provers...

Geomview
 Referenced in 30 articles
[sw04092]
 engine for other programs which produce dynamically changing geometry. Geomview can display objects described...

KeTCindy
 Referenced in 10 articles
[sw15161]
 KeTCindy  Linkage between Dynamic Geometry Software and TeX graphics capabilities  Though TeX has become ... Maple, Matlab, Maxima, Scilab, etc.) or dynamic geometry software (like GeoGebra, Cinderella, etc.) to compute...

MMP/Geometer
 Referenced in 14 articles
[sw00584]
 method for Euclidean and differential geometries, the area method and the geometric deductive database method ... geometric 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...

Peano
 Referenced in 34 articles
[sw08712]
 also provides interfaces for dynamic load balancing, sophisticated geometry representations, and other features. Some properties...

Electronic Geometry Textbook
 Referenced in 8 articles
[sw08745]
 geometric textbook knowledge management system. Electronic Geometry Textbook is a knowledge management system that manages ... enable users to construct and share dynamic geometry textbooks interactively and efficiently. Based ... been developed for users to create geometry textbooks with automatic checking, in real time ... geometric theorem prover and an external dynamic geometry software package, the system offers the facilities...

GeoView
 Referenced in 9 articles
[sw12328]
 theorem prover with the dynamic geometry drawing tool GeoplanJ developed at CNAM. GeoView ... verified with Coq theorem prover. A dynamic figure is automatically associated to mathematical formulas...

DGD gallery
 Referenced in 6 articles
[sw21791]
 gallery. Discretization in Geometry and Dynamics, SFB Transregio 109. The central goal of the SFB/Transregio ... research on the discretization of differential geometry and dynamics. In both fields of mathematics ... common idea of our research in geometry and dynamics is to find and investigate discrete ... together scientists from the fields of geometry and dynamics, to join forces in tackling...

LAD
 Referenced in 5 articles
[sw04859]
 proving capabilities to standard dynamic geometry systems A prototype for a web application designed ... geometric diagrams created with the commercial dynamic geometry systems Cabri, The Geometer’s Sketchpad...