• Electronic Geometry Textbook

  • Referenced in 8 articles [sw08745]
  • Geometry Textbook: a geometric textbook knowledge management system. Electronic Geometry Textbook is a knowledge management ... that manages geometric textbook knowledge to enable users to construct and share dynamic geometry textbooks...
  • GeoText

  • Referenced in 3 articles [sw12576]
  • create, maintain, and manage knowledge elements in plane Euclidean geometry. The textbook is dynamic ... intelligent in the sense that content management and knowledge processing may be automated. Supported...
  • paramGeo3D

  • Referenced in 3 articles [sw37299]
  • exists an extensive list of 2D dynamic geometry environments, the number of 3D systems ... common approach, using numerical data to manage geometric knowledge and elementary methods to compute derived ... deals with a parametric approach for automatic management of 3D Euclidean constructions. An open source ... core functions in a 3D dynamic geometry system, is described here. The library deals with...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Cinderella

  • Referenced in 153 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GCLC

  • Referenced in 31 articles [sw00326]
  • We present GCLC/WinGCLC -- a tool for visualizing geometrical...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • TELOS

  • Referenced in 21 articles [sw00954]
  • TELOS: a customer satisfaction evaluation software. Telos is...
  • Theorema

  • Referenced in 149 articles [sw00961]
  • The software system Theorema provides a uniform logic...
  • MACSYMA

  • Referenced in 720 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • L-BFGS-B

  • Referenced in 200 articles [sw01234]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • Graphviz

  • Referenced in 90 articles [sw01283]
  • Graphviz is open source graph visualization software. Graph...