The GHZ/W-calculus contains rational arithmetic

Bob Coecke Aleks Kissinger Alex Merry Shibdas Roy

Published in: HPC (2010)

Keyphrases

high speed
arithmetic operations
frequency band
decision making
floating point
natural deduction
computer algebra
genetic algorithm
multiresolution
formal language
automated deduction
bounded rationality