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

CCoRN
 Referenced in 36 articles
[sw06752]
 Putting this knowledge in the right form on a computer, the mathematics should be more ... testbed 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 highlevel language and interactive...

MiniSat
 Referenced in 566 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

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