• Electronic Geometry Textbook

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

  • Referenced in 2 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 143 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • Coq

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

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

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

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

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

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

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

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

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

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

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

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

  • Referenced in 177 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...