
KamiWaAi
 Referenced in 13 articles
[sw01954]
 enables the user without any knowledge of both mathematics or computer science, to do full...

ProMoT
 Referenced in 5 articles
[sw02007]
 without the need for indepth mathematical knowledge. ProMoT already implements graphical tools for both...

MathHub.info
 Referenced in 9 articles
[sw13282]
 reading, writing, and interacting with mathematical documents and knowledge. The core of the MathHub.info system...

PSPC
 Referenced in 10 articles
[sw06464]
 dynamics in general. A good knowledge of the mathematical structure of these objects is fundamental...

LIE
 Referenced in 7 articles
[sw11846]
 equations play an important role in mathematical physics. Knowledge of all Lie symmetry transformations gives...

MUSCADET
 Referenced in 10 articles
[sw06859]
 automatic theorem proving system using knowledge and metaknowledge in mathematics. The author presents a somewhat ... expert system using a modular knowledge base expressed in a userfriedly language. { More detailed...

MaLeCoP
 Referenced in 23 articles
[sw07197]
 Connection Prover. Probabilistic guidance based on learned knowledge is added to the connection tableau calculus ... external advisor system. In the typical mathematical setting of solving many problems in a large ... prover, and the interaction between learning of knowledge and its application can be much finer ... construction and training of selflearning AI mathematical experts on large mathematical libraries, some...

MathChat
 Referenced in 2 articles
[sw30187]
 does a social machine discover algorithmic mathematical knowledge? A social machine is a system ... empiric and theoretical framework for algorithmic mathematical knowledge discovered by the social machine is proposed ... distributed cognition documenting how collaborators evolve a mathematical algorithm. By combining distributed cognition with ... social machine and its algorithmic knowledge. Furthermore, the software system MathChat is introduced which provides...

Multi
 Referenced in 6 articles
[sw21354]
 with other services guided by mathematically motivated control knowledge is not possible...

MPTP 0.2
 Referenced in 45 articles
[sw02589]
 make the large formal Mizar Mathematical Library (MML) available to current firstorder automated theorem ... boost the development of domainbased, knowledgebased, and generally AIbased ATP methods. This ... inductive or deductive system trained on formal mathematics can be sometimes smarter than MML authors...

MMTTeX
 Referenced in 2 articles
[sw31595]
 independently. The former excel at communicating mathematical knowledge and the latter at certifying its correctness...

homalg
 Referenced in 30 articles
[sw00411]
 mathematical object in a computer algebra system. Once this is achieved, one can compose ... process without the need of any specific knowledge of these functors. These ideas are realized...

DynGenPar
 Referenced in 1 article
[sw06424]
 computerize a large library of existing mathematical knowledge using the new parser, starting from natural ... papers collected by the digital mathematical library (DML) projects around the world. In this paper...

WMI2
 Referenced in 1 article
[sw21057]
 them explore mathematical concepts, test their mathematical knowledge and to assist them in their problem...

Wolfram Demonstrations
 Referenced in 42 articles
[sw13598]
 computation to illuminate concepts in science, technology, mathematics, art, finance, and a remarkable range ... Moreover, their creation requires specialized programming knowledge, making them difficult and expensive to develop...

SciNapse
 Referenced in 11 articles
[sw01534]
 formats with a concise blend of mathematical expressions and keywords. An algorithm template language supports ... extension of the system’s builtin knowledge base...

GeneNetwork
 Referenced in 2 articles
[sw35671]
 microarray data without having intimate knowledge of the mathematical models. A simple graphical user interface...

EMP
 Referenced in 8 articles
[sw01086]
 each nonlinear problem, at least two different mathematical algorithms are available. The system is capable ... learn, i.e. to improve its own knowledge on the success of the algorithms...

SETL
 Referenced in 23 articles
[sw36325]
 these abstract, composite objects, and of powerful mathematical operations upon them, improves programmer speed ... petty programming detail, can advance their knowledge of significant algorithms and of broader strategic issues...

CALSEF
 Referenced in 1 article
[sw26966]
 analysis of structures. A basic knowledge of mathematics, in particular, in numerics and matrix algebra...