VDict - Definition of symbolic mathematics

search result for symbolic mathematics in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

Cauchy sequence Non-Uniform Rational B Spline Omega test PRINT arc antichain nastistical natural number epsilon greatest common divisor General Recursion Theorem Diophantine equation total function surjection regular graph modulo operator graph total ordering characteristic function connected subgraph fixed point combinator Poisson distribution Voronoi diagram convex hull ERCIM DIALOG additive Klerer-May System AUTOMATH ply Horn clause Prometheus real lambda expression powerset incomparable ALADIN Banach-Tarski paradox algebraic structure Ontic normed space polynomial exponential Constraint Handling In Prolog Automatic Mathematical TRANslation Boolean Voronoi polygon expression tree Boolean logic rational isomorphic cepstrum relatively prime mantissa trap-door function Cartesian coordinates AMBIT/G PDP-7 OLDAS syntax tree prime number theorem embedding closed set isometry literal discrete preorder CUPL combination CLASP optimal Short Code Emacs affine transformation statistics irrational number De Bruijn graph isomorphism class one-way function equivalence class equivalence relation

First < Previous 1 2 3 4 5 Next > Last