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

GeoGebra
 Referenced in 321 articles
[sw04203]
 multiplatform dynamic mathematics software for all levels of education that joins geometry, algebra, tables ... package. It has received several educational software awards in Europe and the USA. Quick Facts ... algebra and tables are connected and fully dynamic. Easytouse interface, yet many powerful...

GEX
 Referenced in 33 articles
[sw09961]
 Geometry Expert (GEX) is a software for dynamic diagram drawing and automated geometry ... theorem proving and discovering. As a dynamic geometry software, GEX can be used to build ... software, we can build dynamic logic models which can do reasoning themselves. 1) Geometry Expert ... geometry throerms. 2) By dynamic visual models, we mean models built by computer softwares that...

SparseMatrix
 Referenced in 586 articles
[sw04629]
 geometry (as structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics ... those that typically do not have such geometry (optimization, circuit simulation, economic and financial modeling ... other networks and graphs). We provide software for accessing and managing the Collection, from MATLAB...

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

OpenFOAM
 Referenced in 353 articles
[sw04317]
 Toolbox is a free, open source CFD software package produced by OpenCFD ... 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 41 articles
[sw12957]
 tracking. A general purpose software package for the geometry and dynamics of an interface...

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

Gerris
 Referenced in 246 articles
[sw00341]
 available free of charge under the Free Software GPL license. Gerris was created by Stéphane ... dynamically to the features of the flow Entirely automatic mesh generation in complex geometries Second...

Electronic Geometry Textbook
 Referenced in 7 articles
[sw08745]
 geometric theorem prover and an external dynamic geometry software package, the system offers the facilities ... account of the current version of Electronic Geometry Textbook...

sketchometry
 Referenced in 5 articles
[sw10845]
 best way to interact with dynamic geometry software on a touch device. The new software...

TINspire
 Referenced in 62 articles
[sw06151]
 name of a family of software and hardware products plus a variety of accessories ... computer algebra system, function plotter, dynamic geometry, spreadsheet, dynamic statistics a Q&A module...

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

GeometryTouch
 Referenced in 2 articles
[sw09821]
 design and implementation. GeometryTouch is a dynamic geometry software system with touch operation. Developed...

SINTEF
 Referenced in 32 articles
[sw02984]
 projects.Geometry Toolkits  a set of software libraries for computational geometry, including SISL, GoTools ... solving problems in transportation planning, for instance dynamic fleet management. It is based on heuristic ... Vehicle Routing Problem.Spider Web is a software module for calculating optimal routes in a road...

Cindy 3D
 Referenced in 1 article
[sw17505]
 PlugIn to the dynamic geometry software Cinderella. It was created by Matthias Reitinger...

Lugares
 Referenced in 17 articles
[sw09861]
 software tool for the investigation of plane loci. We describe the capabilities of Lugares ... Prolog that offers a standard dynamic geometry environment and uses the symbolic capabilities of CoCoA...

Peano
 Referenced in 25 articles
[sw08712]
 hierarchy of the adaptive Cartesian grids. The software Peano realises such a grid traversal ... also provides interfaces for dynamic load balancing, sophisticated geometry representations, and other features. Some properties...

LMGC90
 Referenced in 13 articles
[sw32485]
 Method NSCD « Non Smooth Contact Dynamics ». The LMGC90 software is dedicated to the modelling ... modeled is defined through out its own geometry and a proper behaviour is associated...

MADO
 Referenced in 1 article
[sw19904]
 MADO  software package for high order multidisciplinary aircraft design and optimization. Multidisciplinary Aircraft Design Optimization ... disciplines as: aerodynamic analysis, strength analysis and dynamic stability analysis. Modular structure enables to include ... preparation of parametrized geometry, used in Panukl software for aerodynamic analysis. Panukl contains numerical tool ... Dynamic Stability Analysis. The geometry and aerodynamic load can be also exported to CalculiX software...