VDict - Definition of symbolic mathematics

search result for symbolic mathematics in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

elegant coordinate Axiom of Comprehension discrete Fourier transform relation Banach inverse mapping theorem Macintosh Common Lisp countable symbolic inference vector space Fourier transform infinity Fibonacci sequence AUTOmated GRouPing system inverse constraint Banach algebra map linear map Zermelo Frankel set theory infinite set linear space Qu-Prolog permutation isomorphism cardinality combinatory logic radix Institut National de Recherche en Informatique et Automatique Mu integer bijection infinite well-ordered set automaton antisymmetric connected graph Wafe Mandelbrot set Peano arithmetic AM MATLAB suitably small ISETL Interest Group in Pure and Applied Logics Cartesian product vector four colour map theorem fixed point String Oriented Symbolic Language RLaB symmetric University of Twente Russell's Attic iteration cooccurrence matrix norm von Neumann ordinal domain link farm projective plane injection Fermat prime octal metric space alias assignment problem computability theory Calc macro von Neumann integer modular arithmetic fix interpolation tree image aleph 0 knapsack problem binary clique

First < Previous 1 2 3 4 5 Next > Last