mathematics from FOLDOC

mathematics entries

abscissa	accuracy	Active Language I
additive	affine transformation	aleph 0
algebra	Algebraic Manipulation Package	algebraic structure
AMP	antichain	antisymmetric
arc	arithmetic mean	assignment problem
AUTOmated GRouPing system	AUTOMATH	Automatic Mathematical TRANslation
automaton	AXIOM*	Banach algebra
Banach inverse mapping theorem	Banach space	Banach-Tarski paradox
barycentric	base	bijection
binary	binary relation	blow up
branch	Calc	canonical
Cantor	cardinality	Cartesian coordinates
Cartesian product	Cauchy sequence	cepstrum
chaos	characteristic function	CHARYBDIS
chromatic number	CLAM	clique
closed interval	closed set	COLASL
combination	complex number	computability theory
computational geometry	connected graph	connected subgraph
constraint	constructive proof	continuous function
convex hull	cooccurrence matrix	coordinate
countable	counted	curried function
DAG	daughter	De Bruijn graph
decidability	Delaunay triangulation	difference equation
Diophantine equation	discrete	discrete cosine transform
discrete Fourier transform	discrete preorder	domain
dual	eigenvalue	eigenvector
embedding	enumeration	epsilon
equivalence class	equivalence relation	Euclidean norm
exponential	expression tree	extrapolation
factorial	Fermat prime	Fibonacci sequence
Finite State Machine	fix	fixed point
fixed point combinator	floating-point	FORM
formal methods	four colour map theorem	Fourier transform
fractal	fractal dimension	FSM
function	GAP	General Recursion Theorem
geometric mean	Giuseppe Peano	googol
googolplex	Gottlob Frege	graph
greatest common divisor	Guide to Available Mathematical Software	hexadecimal
homogeneous	homomorphism	hypotenuse
IEEE Floating Point Standard	iff	image
incomparable	infinite	infinite set
infinity	injection	inner product
integer	Internal Translator	interval
intuitionistic logic	inverse	IRIS Explorer
irrational number	isometry	isomorphic
isomorphism	isomorphism class	IT
JAffer's Canonical ALgebra	knapsack problem	lambda-calculus
lambda expression	ld	leaf
least fixed point	linear map	linear space
log	logarithmus dualis	Lorenz attractor
lower set	Mandelbrot set	mantissa
map	Mathematica	MathJax
MATLAB	metric space	modular arithmetic
modulo	modulo operator	Mu
MuMath	N	nastistical
natural number	Non-Uniform Rational B Spline	norm
normed space	Not-a-Number	octal
one	one-way function	open
open interval	optimal	order-embedding
ordinal	ordinary differential equation	ordinate
ORTHOCARTAN	orthogonal	Pajek
parent	Pari	partially ordered set
partial order	partition	Peano arithmetic
PEARL	PER	permutation
phase space	pi	ply
Poisson distribution	polynomial	positional representation
powerset	precision	prefix
prime number theorem	product	projective plane
pseudoprime	Pythagoras's Theorem	radix
range	Rayleigh distribution	real
real number	recurrence relation	recursion
REDUCE	regression	regular graph
relation	relatively prime	root node
Russell's Attic	Russell's Paradox	SAC-1
SAC2	scalar	Schoonschip
set theory	SHEEP	sine wave
statistics	suitably small	sum of products
surjection	SymbMath	Symbolic Automatic INTegrator
Symbolic Mathematical Laboratory	symbolic mathematics	symmetric
syntax tree	tau	tensor product
topology	total function	totally ordered
totally ordered set	total ordering	transfinite induction
trap-door function	tree	trillion
unstable	vector	vector space
von Neumann integer	von Neumann ordinal	Voronoi diagram
Voronoi polygon	wavelet	well-ordered set
Zermelo Fränkel set theory	Zermelo set theory	ZFC