hand computation
1Computation of CRC — Computation of a cyclic redundancy check is derived from the mathematics of polynomial division, modulo two. In practice, it resembles long division of the binary message string, with a fixed number of zeroes appended, by the generator polynomial …
2Morphological computation (robotics) — Morphological computation is computation obtained through interactions of physical form. Contents 1 Birth of the term morphological computation 2 Relevance 2.1 Robotics 2.2 Artificial intellige …
3Evolutionary computation — For the journal, see Evolutionary Computation (journal). In computer science, evolutionary computation is a subfield of artificial intelligence (more particularly computational intelligence) that involves combinatorial optimization problems.… …
4CARDboard Illustrative Aid to Computation — Cardiac (CARDboard Illustrative Aid to Computation) was a learning aid developed by David Hagelbarger and Saul Fingerman for Bell Telephone Laboratories in 1968 to teach high school students how computers work. The kit consisted of an instruction …
5Algorithm characterizations — The word algorithm does not have a generally accepted definition. Researchers are actively working in formalizing this term. This article will present some of the characterizations of the notion of algorithm in more detail. This article is a… …
6Numerical analysis — Babylonian clay tablet BC 7289 (c. 1800–1600 BC) with annotations. The approximation of the square root of 2 is four sexagesimal figures, which is about six decimal figures. 1 + 24/60 + 51/602 + 10/603 = 1.41421296...[1] Numerical analysis is the …
7Georg Joachim Rheticus — Infobox Scientist box width = 300px name = Rheticus image size = 300px caption = Georg Joachim Rheticus (1514 1574) birth date = February 16, 1514 birth place = Feldkirch, Austria death date = December 4, 1574 death place = Kassa, Hungary… …
8R100 — Infobox Aircraft name= R100 caption=The R100 on a mooring mast in Canada type=Airliner national origin=United Kingdom manufacturer=Vickers designer= first flight=16 December avyear|1929 introduced= retired= status= primary user= more users=… …
9Wikipedia:Reference desk/Mathematics — The Wikipedia Reference Desk covering the topic of mathematics. Mathematics #eee #f5f5f5 #eee #aaa #aaa #aaa #00f #36b #000 #00f mathematics Wikipedia:Refere …
10Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …
