• 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 general-purpose 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 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...
  • PERL

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

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

  • Referenced in 328 articles [sw04203]
  • GeoGebra is free and multi-platform 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...