• Maple

  • Referenced in 5220 articles [sw00545]
  • performance to handle every type of mathematics. Maple’s intuitive interface supports multiple styles ... automatically capture all of your technical knowledge in an electronic form that combines calculations, explanatory...
  • OMDoc

  • Referenced in 87 articles [sw07138]
  • administration, distribution, and teaching of mathematical knowledge. In this paper we present an extension OMDOC ... semantics and structure of various kinds of mathematical documents, including articles, textbooks, interactive books, courses...
  • MML

  • Referenced in 48 articles [sw06970]
  • large corpus of formalised mathematical knowledge. It has been constructed over the course of many ... communities of other libraries of formalised mathematical knowledge might take up the legal and scientific...
  • MMT

  • Referenced in 48 articles [sw07136]
  • Mathematical Theories. MMT permits to encode mathematical knowledge in a logic-neutral representation format that ... theoretic foundations of mathematical and logical systems together with the represented knowledge itself and interlink ... system behaviors as well as their represented knowledge interoperable and thus comparable. Furthermore, MMT defines ... interface layer between formally rigorous mathematical systems, and knowledge management services which are not aware...
  • Nuprl

  • Referenced in 390 articles [sw06751]
  • system is a framework for reasoning about mathematics and programming. Over the years its design ... open, distributed architecture centered around a flexible knowledge base and supports the cooperation of independent...
  • C-CoRN

  • Referenced in 35 articles [sw06752]
  • Background: There is a lot of mathematical knowledge. This knowledge is mainly stored in books ... Putting this knowledge in the right form on a computer, the mathematics should be more...
  • KernSmooth

  • Referenced in 937 articles [sw04586]
  • develop the reader’s intuition and mathematical skills required for a comprehensive understanding of kernel ... study of the book only a basic knowledge of statistics, calculus and matrix algebra...
  • PlanetMath

  • Referenced in 32 articles [sw23729]
  • community which aims to help make mathematical knowledge more accessible. PlanetMath’s content is created...
  • DAISY

  • Referenced in 46 articles [sw09059]
  • system turns out to be a difficult mathematical problem. Different methods have been proposed ... models but, to the best of our knowledge, so far no software tools have been ... completely automatized software, requiring minimum prior knowledge of mathematical modelling and no in-depth understanding...
  • MBase

  • Referenced in 17 articles [sw08724]
  • MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. We describe ... MBase system, a web-based, distributed mathematical knowledge base. This system is a mathematical service ... classify the data necessary to represent mathematical knowledge and analyze its structure. For the logical ... methodology for developing representation formalisms for mathematical knowledge bases. We propose to concretely equip knowledge...
  • QMT

  • Referenced in 19 articles [sw07137]
  • most promising applications of mathematical knowledge management is search: Even if we restrict attention ... readily applied to any library of mathematical knowledge. While our focus here is on libraries...
  • STRINGVACUA

  • Referenced in 41 articles [sw00920]
  • system Singular, but requires no knowledge of the mathematics upon which it is based...
  • Whelp

  • Referenced in 14 articles [sw32446]
  • content based search engine for mathematical knowledge supporting a small set of queries requiring matching...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • communication protocol for mathematical services based on KQML (Knowledge Query and Manipulation Language) and OMRS ... interaction level of a communication protocol for mathematical services can be relatively generic (hence KQML...
  • mathStatica

  • Referenced in 18 articles [sw07362]
  • sophisticated toolset specially designed for doing mathematical statistics (enclosed on the two attached CD-ROMs ... professional practitioners with a good knowledge of mathematical statistics, the focus of this book...
  • sTeX

  • Referenced in 9 articles [sw27415]
  • into a document format for mathematical knowledge management...
  • CRONE

  • Referenced in 177 articles [sw07382]
  • fractional calculus. The original theoretical and mathematical concepts, developed in the group, are used ... share its developments and its knowledge with scientists, researchers, and engineers world wide...
  • arXMLiv

  • Referenced in 6 articles [sw11679]
  • make the structure of the mathematical knowledge in a document explicit enough that machines ... that various tasks involved in doing mathematics (e.g. search, navigation, cross-referencing, quality control, user ... translate the vast collection of scientific knowledge captured in the arXiv repository into content-based...
  • xCore

  • Referenced in 6 articles [sw10249]
  • system. There is no mathematical knowledge in this package...
  • VMEXT

  • Referenced in 5 articles [sw20981]
  • visualizations in systems for mathematical knowledge management and mathematical information retrieval. The application converts...