• Electronic Geometry Textbook

  • Referenced in 8 articles [sw08745]
  • Electronic Geometry Textbook: a geometric textbook knowledge management system. Electronic ... Geometry Textbook is a knowledge management system that manages geometric textbook knowledge to enable users...
  • paramGeo3D

  • Referenced in 3 articles [sw37299]
  • 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 ... symbolic parameters, thus enabling a full algebraic knowledge about objects such as loci and envelopes ... bottleneck in the automatic determination of geometric loci and envelopes is solved...
  • Opengeo

  • Referenced in 4 articles [sw12575]
  • enhanced version of the geometric knowledge base developed by Chen, Huang, and Wang, which ... equipped with web-based interfaces and new management facilities and made open and online ... knowledge base consists of typical geometric knowledge objects such as definitions, theorems, and proofs. Several ... have been developed to support users to manage the knowledge objects contained in OpenGeo. Users...
  • GeoText

  • Referenced in 3 articles [sw12576]
  • management and knowledge processing may be automated. Supported by a structured and formalized knowledge base ... having a geometric theorem prover(GEOTHER) and a dynamic diagram generator (GeoDraw) integrated, with...
  • BodyParts3D

  • Referenced in 3 articles [sw17747]
  • human male. It encompasses morphological and geometrical knowledge in anatomy and complements ontological representation. Moreover ... system in human anatomy, which may facilitate management of samples and data in biomedical research...
  • OntoPlant

  • Referenced in 0 articles [sw19011]
  • build individual plant model. ParaTree combines geometric modelling and parameterized modelling. The shape characteristic ... doesn’t require users to have much knowledge of biology. While the opposite is true ... modelling, growth simulation, assisted design and resource management in botany, ecology, applied plant sciences (horticulture...
  • Cinderella

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

  • Referenced in 1856 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...
  • HSL

  • Referenced in 275 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Isabelle

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

  • Referenced in 5296 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

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

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

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

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

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...