MathWeb Search - A Semantic Search Engine

Arithmetic
a+b
ab
ab
n!
ab
ab
xn
2
x
x=abx
x=abx
x
a
lcmab
gcdab
round x
quotab
amodb
trunc x
minab
maxab
x
x
π
a+b
c
c¯
ra
c
arg c
Transcendental functions
x
ln x
logax
sin x
tan x
sec x
cos x
cot x
csc x
arcsin x
arctan x
arcsec x
arccos x
arccot x
arccsc x
Calculus
xx
nx
12
x,yxy
xdx
abxdx
ab
ab
limxx0x
ab
ab
f
2 vf
curl vf
div vf
Sets
xX
XY
XY
X×Y
card X
xX
XY
XY
X\Y
xyz
Logic and relations
xy
xy
1
x.(x=1)
xy
¬x
1
x.(x=1)
xy
xy
x=y
x<y
x>y
xy
xy
xy
xy
Functions
Dom f
Im f
Id x
f-1
fg
0011
0x=01x=1xotherwise
Linear algebra
abcd
MT
M
Mr,c
v1v2v3
v·u
v×u
vi
Statistics
medianx1x2x3
modex1x2x3
x1x2x3¯
f¯
σx1x2x3
σ f
µicx1x2x3
µicf
varx1x2x3
var f
alg1
one
zero
bigfloat1
bigfloatmre
bigfloatprecfrp
arith1
x
ab
gcdab
lcmab
ab
a+b
ab
x=abx
xn
2
x
x=abx
ab
a
calculus1
abxdx
xx
xdx
nx
12
x,yxy
complex1
arg c
a+b
ra
c¯
c
c
fns1
Dom f
appdomain d
Id x
Im f
f-1
λx.(x)
fg
inv- f
range f
inv+ f
integer1
n!
factorofab
quotab
amodb
interval1
ab
ab
ab
ab
ab
ab
linalg1
M
Mr,c
vu
v·u
MT
vi
v×u
linalg2
abcd
v1v2v3
limit1
above
below
both_sides
limxx0x
unspecified
list1
abc
λx.(x)abc
X|λx.(px)
logic1
xy
xy
xy
¬x
xy
xy
mathmltypes
complex_cartesian
complex_polar
constant
fn
integer
list
matrix
rational
real
set
vector
minmax1
maxab
minab
multiset1
X×Y
xX
XY
multisetxyz
xX
XY
XY
XY
X\Y
card X
XY
XY
nums1
nnn
nnnb
γ
NaN
π
pq
piece1
otherwise x
xp
0011
0x=01x=1xotherwise
quant1
1
x.(x=1)
1
x.(x=1)
relation1
xy
x=y
xy
x>y
xy
x<y
xy
setname1
rounding1
x
x
round x
trunc x
set1
X×Y
xX
XY
λx.(x)abc
xX
XY
XY
XY
X\Y
card X
xyz
XY
X|λx.(px)
XY
s_data1
x1x2x3¯
medianx1x2x3
modex1x2x3
µicx1x2x3
σx1x2x3
varx1x2x3
s_dist1
f¯
µicf
σ f
var f
transc1
arccos x
arccosh x
arccot x
arccoth x
arccsc x
arccsch x
arcsec x
arcsech x
arcsin x
arcsinh x
arctan x
arctanh x
cos x
cosh x
cot x
coth x
csc x
csch x
x
ln x
logax
sec x
sech x
sin x
sinh x
tan x
tanh x
veccalc1
curl vf
div vf
f
2 vf
Variables
VariableGenericFunction