• TI-Nspire

  • Referenced in 62 articles [sw06151]
  • variant integrates a computer algebra system, function plotter, dynamic geometry, spreadsheet, dynamic statistics...
  • GeoGebra

  • Referenced in 384 articles [sw04203]
  • levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy ... algebra and tables are connected and fully dynamic. Easy-to-use interface, yet many powerful ... Free and open source software. Computer algebra system...
  • Cinderella

  • Referenced in 153 articles [sw00127]
  • Interactive Geometry Software. Besides support for dynamic geometry, Cinderella.2 has many features that broaden ... three parts of the program (geometry, physical simulation and scripting) can be used ... designed to interact very smoothly. Computer algebra system (CAS). Education...
  • 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...
  • GATP

  • Referenced in 6 articles [sw25268]
  • blended-learning web-environment integrating a dynamic geometry system (DGS) and having some adaptive features...
  • Electronic Geometry Textbook

  • Referenced in 8 articles [sw08745]
  • system that manages geometric textbook knowledge to enable users to construct and share dynamic geometry ... knowledge represented in specific languages, the system implements interfaces for maintaining the data representing that ... been developed for users to create geometry textbooks with automatic checking, in real time ... prover and an external dynamic geometry software package, the system offers the facilities for automatically...
  • paramGeo3D

  • Referenced in 3 articles [sw37299]
  • parametric approach to 3D dynamic geometry. Dynamic geometry systems are computer applications allowing the exact ... list of 2D dynamic geometry environments, the number of 3D systems is reduced. Most ... core functions in a 3D dynamic geometry system, is described here. The library deals with...
  • Lugares

  • Referenced in 19 articles [sw09861]
  • dynamic geometry environment and uses the symbolic capabilities of CoCoA, a computer algebra system specialized ... consists of the link between the dynamic geometry paradigm and a symbolic approach to automatic...
  • GeometryTouch

  • Referenced in 2 articles [sw09821]
  • touch-operation-based dynamic geometry system: design and implementation. GeometryTouch is a dynamic geometry software...
  • ABINIT

  • Referenced in 53 articles [sw06111]
  • energy, charge density and electronic structure of systems made of electrons and nuclei (molecules ... geometry according to the DFT forces and stresses, or to perform molecular dynamics simulations using...
  • GeoThms

  • Referenced in 25 articles [sw06216]
  • GeoThms -- a web system for Euclidean constructive geometry GeoThms is a web-based framework ... exploring geometrical knowledge that integrates dynamic geometry software (DGS), automatic theorem provers ... interface solutions required for a system aimed at supporting studying and teaching geometry via internet...
  • WGL

  • Referenced in 2 articles [sw31398]
  • geometry, integrating a well known dynamic geometry system. In a collaborative session, teachers and students...
  • Geometrijica

  • Referenced in 2 articles [sw06230]
  • Novi Sad. There are many dynamic geometry systems already available, some of them free, some...
  • DynBCN

  • Referenced in 1 article [sw12476]
  • constructive geometric constraint-based two dimensional dynamic geometry system. dynBCN is an experimental constructive geometric ... constraint-based, two dimensional dynamic geometry system developed by researchers of the Geometric Constraint Solving...
  • JGEX

  • Referenced in 16 articles [sw13613]
  • introduction to the system Java Geometry Expert (JGEX). This system consists of three parts ... part for generating visually dynamic presentation of proofs in plane geometry. The current version...
  • IFStile

  • Referenced in 4 articles [sw32508]
  • research in discrete geometry, algebraic number theory, dynamical systems, and theoretical computer science. The package ... fractals, and is therefore relevant for fractal geometry...
  • OCTBEC

  • Referenced in 7 articles [sw14253]
  • systems we have in mind are ultracold atoms in confined geometries, where the dynamics takes...
  • SReachTools

  • Referenced in 6 articles [sw30627]
  • give time horizon, while respecting the system dynamics and bounded control authority. SReachTools implements several ... algorithms based on convex optimization, computational geometry, and Fourier transforms, to efficiently compute over ... perform probabilistic verification of closed-loop systems and can also perform controller synthesis via open...
  • SINTEF

  • Referenced in 38 articles [sw02984]
  • software libraries for computational geometry, including SISL, GoTools, TTL, MBA, and more.Shallows - open source tool ... solving problems in transportation planning, for instance dynamic fleet management. It is based on heuristic ... modeling, including reservoir mechanics, CO2 sequestration, biological systems, and product development of engineered media...
  • LMGC90

  • Referenced in 13 articles [sw32485]
  • Discrete Elment Method NSCD « Non Smooth Contact Dynamics ». The LMGC90 software is dedicated ... interaction. It enables to simulate complex systems thanks to sophisticated and very detailed models. Each ... modeled is defined through out its own geometry and a proper behaviour is associated...