• 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 in-depth 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 user-friedly 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 self-learning 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 first-order automated theorem ... boost the development of domain-based, knowledge-based, and generally AI-based 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 built-in 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...