
SparseMatrix
 Referenced in 518 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 132 articles
[sw00127]
 Interactive Geometry Software. Besides support for dynamic geometry, Cinderella.2 has many features that broaden...

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

GeoGebra
 Referenced in 291 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...

GEX
 Referenced in 29 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...

Gerris
 Referenced in 195 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...

OpenFOAM
 Referenced in 280 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...

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

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

Lugares
 Referenced in 15 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...

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

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

MMP/Geometer
 Referenced in 13 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...

KeTCindy
 Referenced in 8 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...

Electronic Geometry Textbook
 Referenced in 7 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...

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...

GeoView
 Referenced in 8 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...

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

LAD
 Referenced in 4 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...

sketchometry
 Referenced in 4 articles
[sw10845]
 SKETCHOMETRY AND JSXGRAPH  DYNAMIC GEOMETRY FOR MOBILE DEVICES. Tablet computers seem to be a possible ... best way to interact with dynamic geometry software on a touch device. The new software...