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

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

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