• MMT

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

  • Referenced in 20 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 6 articles [sw20981]
  • visualizations in systems for mathematical knowledge management and mathematical information retrieval. The application converts...
  • C-CoRN

  • Referenced in 36 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 6 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 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Cinderella

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

  • Referenced in 1888 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 279 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Isabelle

  • Referenced in 710 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

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

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

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

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NLTK

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