• R

  • Referenced in 8776 articles [sw00771]
  • plots can be produced, including mathematical symbols and formulae where needed. Great care has been...
  • DLMF

  • Referenced in 2386 articles [sw04968]
  • data to be covered include mathematical formulas, graphs, references, methods of computation, and links ... technology of choice for presentation of mathematics in print but it is not well suited...
  • Isabelle/HOL

  • Referenced in 978 articles [sw01569]
  • generic proof assistant. It allows mathematical formulas to be expressed in a formal language ... those formulas in a logical calculus. The main application is the formalization of mathematical proofs...
  • Isabelle

  • Referenced in 622 articles [sw00454]
  • generic proof assistant. It allows mathematical formulas to be expressed in a formal language ... those formulas in a logical calculus. The main application is the formalization of mathematical proofs...
  • CEC 05

  • Referenced in 170 articles [sw18811]
  • found at http://www.ntu.edu.sg/home/EPNSugan/. The mathematical formulas and properties of these functions are described...
  • Isabelle/ZF

  • Referenced in 62 articles [sw04973]
  • generic proof assistant. It allows mathematical formulas to be expressed in a formal language ... those formulas in a logical calculus. The main application is the formalization of mathematical proofs...
  • Theorema

  • Referenced in 146 articles [sw00961]
  • proving, solving, and simplifying formulae in all areas of mathematics. Theorema is developed...
  • CAS/PI

  • Referenced in 22 articles [sw02186]
  • graphic symbols managed by the formula editor, to design new high level editing commands based ... syntax or semantics of mathematical formulas, to customize and extend the menu-button based user...
  • MathWebSearch

  • Referenced in 20 articles [sw03712]
  • MathWebSearch 0.5: Scaling an Open Formula Search Engine. MathWebSearch is an open-source, open ... format, content-oriented search engine for mathematical formulae. It is a complete system capable...
  • Wolfram Functions Site

  • Referenced in 30 articles [sw13597]
  • mathematical physics and the elementary functions of mathematical analysis as well as the interrelationships between ... current ability to search for functions and formulas by name, an enhanced semantic-based search ... available for download. For users of Mathematica, formulas in StandardForm enable their quick and easy ... MathML. Already the largest formula compendium for mathematical functions on the web, this site will...
  • ETPS

  • Referenced in 157 articles [sw06302]
  • software verification, partial automation of various mathematical activities, promoting development of formal theories ... higher-order logic. It has a formula editor which facilitates constructing new formulas from others ... anywhere in the proof, and build new formulas from them. The rules of inference ... textbook: Peter B. Andrews, An Introduction to Mathematical Logic and Type Theory: To Truth Through...
  • LMFDB

  • Referenced in 127 articles [sw07249]
  • modern handbook including tables, formulas, links, references, etc. to very concrete objects, in particular specific ... number theory and have applications to mathematical physics and cryptography. By an L-function...
  • VPM

  • Referenced in 11 articles [sw07364]
  • notation without cumbersome mathematical formulae...
  • GeoView

  • Referenced in 9 articles [sw12328]
  • dynamic figure is automatically associated to mathematical formulas to show the meaning of these statements...
  • DDMF

  • Referenced in 6 articles [sw08748]
  • website consisting of interactive tables of mathematical formulas on elementary and special functions. The formulas...
  • Pcoq

  • Referenced in 6 articles [sw09971]
  • system which provides elaborate mathematical formulas lay-out.We first show how the organization of thegraphic...
  • CFSF

  • Referenced in 7 articles [sw13927]
  • Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables by M. Abramowitz...
  • TikzDevice

  • Referenced in 5 articles [sw12415]
  • contain LaTeX commands such as mathematical formula. The device also allows arbitrary LaTeX code...
  • WebMIaS

  • Referenced in 3 articles [sw33684]
  • with keywords in the form of mathematical formulae in LaTeX or MathML formats. Formulae ... European digital mathematics library (EuDML). We further describe the issues addressed by formulae canonicalization...
  • GtkMathView

  • Referenced in 3 articles [sw05358]
  • widget as a window for displaying mathematical formulas and doing simple interactions. Among other features...