New posts in computer-science

Incremental calculation of inverse of a matrix

How can I learn about proofs for computer science?

Formulating list sorting as a pure math problem

Assuming $P \neq NP$, do we know whether there are problems which are in $NP$, not in $P$ and are not $NP$ complete?

Does "the alphabet of the language of propositional logic" have no function symbols, relation symbols, and constants?

Can a contradiction result in a logical consequence

If $P \ne NP$, is every language not contained in $NP$ $NP$-hard?

Solving P vs NP with computer

HTML5 Canvas background image

Is there any mathematical operation on Integers that yields the same result as doing bitwise "AND"?

O(log N) == O(1) - Why not?

How many bit strings of length 8 start with "1" or end with "01"?

Evaluate $6^{433} \pmod {21}$ and a proving question

What is a good language to develop in for simple, yet customizable math programs?

Finding the 2,147,483,647th prime number

What is a finite state transducer?

Number of orderings of subset sums

Rank of a graph matrix

The mother of all undecidable problems

Good resource/exercises for learning asymptotic analysis?