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

CCoRN
 Referenced in 34 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 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 highlevel 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...