Showing all 6 resultsSorted by popularity
Replacement systems, such as term rewriting systems, tree manipulat- ing systems, and graph grammars, have been used in Computer Science in the context of theorem proving, program optimization, abstract data types, algebraic simplification, and symbolic comput- ation. Replacement systems for strings arose about seventy years earlier in the area of combinatory logic and group theory….
Supercomputer technologies have evolved rapidly since the first commercial-based supercomputer, CRAY-1 was introduced in 1976. In early 1980’s three Japanese super- computers appeared, and Cray Research delivered the X-MP series. These machines including the later-announced CRAY-2 and NEC SX series created one generation of supercomputers, and the market was spread dramatically. The peak performance was…
All CAMathories(TM) books and apps are fun stories and games designed and tested by renowned educational researchers, mathematicians, and scientists at the University of Cambridge to teach young children mathematics. CAMathories(TM) The Birth of Monkey King was adapted from “The Journey to the West”. There are 8 mathematics games and puzzles in Monkey King’s early…
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest particularly to researchers…
Mathematical morphology (MM) is a powerful methodology for the quantitative analysis of geometrical structures. It consists of a broad and coherent collection of theoretical concepts, nonlinear signal operators, and algorithms aiming at extracting, from images or other geometrical objects, information related to their shape and size. Its mathematical origins stem from set theory, lattice algebra,…
The Adventures of Trillion Boy, A Coloring Book for Kindergarteners and Congress is an educational and activity book for all ages. It was designed to explore the enormity of the number trillion, which has been extensively utilized in the media recently. Through twenty short vignettes and illustrations, the number trillion is put into context in…
We use cookies to optimize your experience, analyze traffic, and personalize ads. Please choose whether you accept our use of non-essential cookies. Read More
Cookie Settings
