
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 webbased 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 highlevel 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, opensource 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 symbolicnumericalgraphical...

ML
 Referenced in 512 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose 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 objectoriented, dynamically typed, reflective...