Theory
Title Filter     Display # 
# Article Title
81 Erdos Conjecture Proven
82 Computer Finds New Pentagonal Tiling - With Some Human Help
83 Wear Your Favourite Cellular Automaton As A Scarf
84 Sliding Blocks Are Turing Complete
85 Microsoft Z3 Theorem Prover Wins Award
86 MIT Finds Overflow Bugs
87 Pi Day Of The Century
88 Donald Knuth's Christmas Tree Lecture
89 Halting Problem Used To Prove A Robot Cannot Computably Kill A Human
90 Look And Say Numbers And Conway's Constant
91 The Machine In The Ghost
92 Pulleys As Logic Gates
93 Search For Twin Prime Proof Slows
94 Complexity Theorist Awarded 2014 Abel Prize
95 More Ties Than We Thought Or Ties Of The Matrix
96 Happy Pi Day!
97 Candy Crush Is Harder Than It Sounds - NP Hard
98 Does John Conway Hate Life?
99 A Mathematical Proof Too Long To Check - The Erdos Discrepancy Conjecture
100 Six Degrees Of Separation Is New
101 Knitting Is Turing Complete?
102 Quantum Computers Animated
103 Tensor Operations Are NP Hard
104 Cannibal Animal Games
105 Finding Solutions To Diophantine Equations By Smell
106 Kenneth Appel Remembered For Four Color Theorem Proof
107 The Life Of Pi - Yes It's Pi Day
108 48th Mersenne Prime Computed
109 Boson Sampling Tests Quantum Computing
110 Unshuffling A Square Is NP-Complete
111 A Paper In A Tweet
112 A Water Droplet-Based Computer
113 A Quantum Computer Finds Factors
114 The Revolution In Evolutionary Game Theory - Prisoners Dilemma Solved?
115 A New Computational Universe - Fredkin's SALT CA
116 What's a Sample of Size One Worth?
117 A Computable Universe - Roger Penrose On Nature As Computation
118 Hidden Markov Models, Viterbi and the Higgs Boson
119 A New Kind of Science Is Ten
120 Goldbach Conjecture - Closer to Solved?
121 Travelling Salesman - A Movie About P=NP
122 The Artificial Life of the App Store - the Best Strategy to Succeed
123 The Physical Travelling Salesman Challenge
124 Light Table - a Realization of a New Way to Code
125 A Crab-Based Computer
126 Szemerédi Awarded Abel Prize
127 Picture-Hanging Puzzles
128 Normal Numbers - A Video In Rhyme
129 Celebrate Pi Day It Contains All Human Knowledge
130 A Better Way To Program
131 Classic Nintendo Games Are NP Hard
132 Physics Is NP Hard
133 Turing's Biological Pattern Theory Proved
134 Just Enough Error Correction
135 $100,000 Prize For Proving Quantum Computers Are Impossible
136 Sorting Algorithms As A Video
137 Join the Reddit Read Through of Godel, Escher, Bach
138 The World's Ugliest Music - More than Random
139 Breakthrough! Faster Matrix Multiply
140 Pancake flipping is hard - NP hard
141 The KDD cup - good for algorithms
142 Fun with fractal squiggles
143 Random Means Random - The Green Card Fiasco
144 Slime mould simulates Canadian transport system
145 Rubik's cube - the order of God's Number
146 Collatz conjecture proved?
147 60 Trillionth Binary Digit of Pi-Squared Calculated
148 Knuth Prize 2011 Goes to Microsoft Researcher
149 The maximum overhang algorithm
150 DARPA spends $20 million on homomorphic encryption
151 Knuth at Google Tech Talks
152 Queuing theory revealed (Video)
153 Algorithms Beat Moore's Law
154 Wolfram thinks the future is natural language
155 Comic inspires visualization technique
156 More than 48 cores might be too many
157 Yahoo! Gets to the 2 Quadrillionth bit of Pi - it's zero
158 Update on the Proof of P≠NP?
159 Rubik's Cube Breakthrough
160 Proof of P≠NP?
161 5 Trillion Digits of Pi - New world record
162 Free summer reading - Robotics, AI and UX
163 Zip for the Genome - G-SQueeZ
164 Modifiable encryption
 
«StartPrev12NextEnd»
Page 1 of 2