VDict - Definition of Mathematics in Recognizable Form Automatically Compiled

search result for Mathematics in Recognizable Form Automatically Compiled in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 7 Next > Last

MIRFAC Mathematics in Recognizable Form Automatically Compiled FORM source code implicit type conversion symbolic mathematics Gottlob Frege interpreter library Axiom of Comprehension Active Language I Application Executive TABSOL Fermat prime Ashmedai homogeneous forward Algebraic Manipulation Package ORTHOCARTAN SAC-1 SAC2 Moscow ML MuMath Basic Object System Mathematica Symbolic Automatic INTegrator IDEAL Symbolic Mathematical Laboratory Ousterhout's dichotomy CLAM Eqn hacker humour module JAffer's Canonical ALgebra SymbMath equivalence class Pari topology modulo Symphony permutation Carl Friedrich Gauss Yale Haskell Nuprl AXIOM*abstract syntax Internal Translator Scheme-to-C constant applicative form Magma REDUCE GAP chromatic number Schoonschip spider database normalisation projective plane CAYLEY set theory SHEEP interpolation aspect-oriented programming normal form whalesong Fiber Distributed Data Interface complex number byte-code Centrum voor Wiskunde en Informatica single static assignment signature intuitionistic logic Hacking X for Y Automated Retroactive Minimal Moderation newsgroup dual Head Normal Form plaintext uncurrying re-engineering FALSE

First < Previous 1 2 3 4 5 6 7 Next > Last