more....
abscissa accuracy Active Language I additive affine transformation aleph 0algebra Algebraic Manipulation Package algebraic structure AMPantichain antisymmetricarc assignment problem AUTOmated GRouPing system AUTOMATH Automatic Mathematical TRANslation automatonAXIOM* Axiom of Choice Axiom of Comprehension Banach algebra Banach inverse mapping theorem Banach space Banach-Tarski paradox basebijection binaryBoolean Boolean algebra Boolean logic branchCalc canonicalCantor cardinality Cartesian coordinates Cartesian product Cauchy sequence cepstrumchaos characteristic function CHARYBDIS chromatic numberCLAM cliqueclosed set combination complex number computability theory computational geometry connected graph connected subgraph constraint constructive convex hull cooccurrence matrix coordinate countablecounted curried functionDAG daughter De Bruijn graph decidability Delaunay triangulation Diophantine equation discrete cosine transform discrete Fourier transform discrete preorder domaindual eigenvalue eigenvector embedding enumeration epsilon equivalence class equivalence relation Euclidean norm exponential expression tree factorial Fermat prime Fibonacci sequence Finite State Machine fixfixed point fixed point combinator FORMformal methods four colour map theorem Fourier transform fractal fractal dimensionFSM functionGAP General Recursion Theorem googol googolplex Gottlob Fregegraph greatest common divisor Guide to Available Mathematical Software hexadecimal homogeneous hypotenuse IEEE Floating Point Standard iffimage incomparable infinite infinite set infinity injection inner product integer Internal Translator interpolation intuitionistic logic inverse irrational number isometry isomorphic isomorphism isomorphism classIT JAffer's Canonical ALgebra knapsack problem lambda-calculus lambda expressionld leaf least fixed point linear map linear space logarithmus dualis logic Lorenz attractor lower set Mandelbrot set mantissamap MathematicaMATLAB metric space modular arithmetic modulo modulo operatorMu MuMathN nastistical natural number Non-Uniform Rational B Spline normnormed space Not-a-Numberoctal one-way function optimalordinal ordinate ORTHOCARTANparent Paripartition Peano arithmetic PEARLPER permutationply Poisson distribution polynomial powerset precision prime number theorem product projective plane Pythagoras' Theorem radix Rayleigh distribution realreal numberrecursion REDUCE regression regular graph relation relatively prime root node Russell's Attic Russell's Paradox SAC-1SAC2 scalar Schoonschipset theorySHEEP sine wave statistics suitably small surjection SymbMath Symbolic Automatic INTegrator Symbolic Mathematical Laboratory symbolic mathematics symmetric syntax tree tensor product topology total function totally ordered totally ordered set total ordering transfinite induction trap-door function treetrillion vectorvector space von Neumann integer von Neumann ordinal Voronoi diagram Voronoi polygon wavelet well-ordered set Zermelo Fränkel set theory Zermelo set theoryZFC
more......
Copyright © 1999-2020 www.hobbyprojects.com (All rights reserved)
