
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 menubutton based user...

MathWebSearch
 Referenced in 20 articles
[sw03712]
 MathWebSearch 0.5: Scaling an Open Formula Search Engine. MathWebSearch is an opensource, open ... format, contentoriented 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 semanticbased 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 ... higherorder 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 Lfunction...

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