quantum-computing ho.history-overview factoring asked Aug 13 '14 at 14:55

cc.complexity-theory complexity-classes soft-question asked Mar 9 '11 at 17:06

lo.logic turing-machines software proof-assistants automated-theorem-proving asked Jan 14 '11 at 0:32

cc.complexity-theory complexity-classes quantum-computing asked Feb 4 '15 at 22:24

cc.complexity-theory computability na.numerical-analysis computing-over-reals computable-analysis asked Oct 9 '10 at 15:18

cc.complexity-theory quantum-computing descriptive-complexity asked Dec 1 '10 at 19:35

reference-request soft-question ho.history-overview nondeterminism asked Aug 29 '15 at 0:52

soft-question asked Jan 23 '11 at 0:52

creative-writing psychology-of-writing motivation asked Nov 29 '10 at 22:18

style non-fiction asked Dec 18 '10 at 22:21