• MMT

  • Referenced in 46 articles [sw07136]
  • interface layer between formally rigorous mathematical systems, and knowledge management services which are not aware...
  • QMT

  • Referenced in 19 articles [sw07137]
  • most promising applications of mathematical knowledge management is search: Even if we restrict attention ... generic representation language MMT, we introduce the mathematical query language QMT: It combines simplicity, expressivity ... queries, and QMT queries can span different mathematical libraries.par We have implemented ... readily applied to any library of mathematical knowledge. While our focus here is on libraries...
  • sTeX

  • Referenced in 9 articles [sw27415]
  • into a document format for mathematical knowledge management...
  • VMEXT

  • Referenced in 5 articles [sw20981]
  • visualizations in systems for mathematical knowledge management and mathematical information retrieval. The application converts...
  • C-CoRN

  • Referenced in 34 articles [sw06752]
  • Putting this knowledge in the right form on a computer, the mathematics should be more ... test-bed for this: we put mathematics on a computer in an active (formalized ... consult, use, extend) and how to manage it (document, update, keep consistent). The reason...
  • MATHsAiD

  • Referenced in 4 articles [sw21355]
  • part of the mathematical process, as it allows mathematicians to manage what would otherwise ... overwhelming amount of knowledge. MATHsAiD is a system intended for use by research mathematicians ... which are based primarily on the human mathematical process...
  • GeoText

  • Referenced in 3 articles [sw12576]
  • management and knowledge processing may be automated. Supported by a structured and formalized knowledge base ... integrated, with an interface to a dynamic mathematics software package (GeoGebra), GeoText is capable...
  • BEHAVE

  • Referenced in 5 articles [sw09227]
  • that can be used for any fire management application that involves modeling fire behavior ... system is composed of a collection of mathematical models that describe fire behavior, fire effects ... Successful application of BehavePlus depends upon knowledgeable user decisions. To effectively use BehavePlus in fire...
  • BARON

  • Referenced in 308 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Cinderella

  • Referenced in 143 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • Coq

  • Referenced in 1763 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 604 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

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

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

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

  • Referenced in 31 articles [sw00626]
  • This book offers an introduction to Natural Language...
  • PELLPACK

  • Referenced in 20 articles [sw00698]
  • This article presents the software architecture and implementation...
  • PYTHIA

  • Referenced in 29 articles [sw00747]
  • Often scientists need to locate appropriate software for...