
GEX
 Referenced in 33 articles
[sw09961]
 software for dynamic diagram drawing and automated geometry theorem proving and discovering. As a dynamic ... learning of various mathematical concepts. As an automated reasoning software, we can build dynamic logic ... angle method. With these methods, users may automated prove geometry theorems, to discover new prrperties ... dynamic visual models: geometric transformations, loci generation, diagrams of functions, and loci generation...

Adaptagrams
 Referenced in 1 article
[sw09791]
 diagramming applications, for example: drawing tools, automated document and diagram layout, smart presentation software, graph...

R2R
 Referenced in 2 articles
[sw17140]
 molecules. RNA structural diagrams are typically made either with generalpurpose drawing programs like Adobe ... Illustrator, or with automated or interactive programs specific to RNA. Unfortunately, the use of applications ... applications are designed for drawing single RNA molecules, not consensus diagrams. Results: We created...

GROVER
 Referenced in 2 articles
[sw09968]
 automated reasoning system, called &/GROVER, we have tried to discover how a diagram can convey ... diagrams as proof strategies. The diagrams are similar to those that a mathematician would draw...

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

LEDA
 Referenced in 260 articles
[sw00509]
 In the core computer science areas  data structures...

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...

NetworkX
 Referenced in 106 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

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...

PERL
 Referenced in 261 articles
[sw01225]
 Programming Perl. Perl is a language for easily...

GEOTHER 1.1
 Referenced in 30 articles
[sw02842]
 GEOTHER (GEOmetry THeorem provER), a module of Epsilon...

CPLEX
 Referenced in 2541 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

GeoGebra
 Referenced in 328 articles
[sw04203]
 GeoGebra is free and multiplatform dynamic mathematics...

ABAQUS
 Referenced in 1447 articles
[sw04215]
 The Abaqus Unified FEA product suite offers powerful...

ARPACK
 Referenced in 781 articles
[sw04218]
 ARPACK is a collection of Fortran77 subroutines designed...

ggplot2
 Referenced in 214 articles
[sw04557]
 R package ggplot2: An implementation of the Grammar...

SymbolicData
 Referenced in 27 articles
[sw04621]
 The SymbolicData GEO records  a public repository of...