Comments for Stack Exchange Theoretical Computer Science Blog

Comment on Arguments that are too clever for their own good by Joe Fitzsimons

Joe Fitzsimons — Fri, 16 Mar 2012 13:55:29 +0000

For anyone actually wondering where the argument breaks down, it is in the false assumption that weight and weight alone determines the rate at which an object falls.

Comment on Something you should know about: Quantifier Elimination (Part I) by David Monniaux

David Monniaux — Fri, 24 Feb 2012 04:59:45 +0000

Permit a shameless plug. If you restrict the formulas to linear polynomials, then you get a theory whose models include both Q and R (which are elementary equivalent for this theory), and there is a wider choice of algorithms.

Comment on Something you should know about: Quantifier Elimination (Part I) by Deciding linear independence « Rod Carvalho

Deciding linear independence « Rod Carvalho — Fri, 24 Feb 2012 01:40:48 +0000

[...] Arnab Bhattacharyya [...]

Comment on Something you should know about: Quantifier Elimination (Part I) by Rod Carvalho

Rod Carvalho — Wed, 22 Feb 2012 12:38:12 +0000

Just to point out a typo:

In the example in which one is interested in determining whether the rows of matrix M are linearly dependent, we should have $\lambda_r M_{r,j}$ instead of $\lambda_m M_{r,j}$.

Comment on FSTTCS 2011 Conference Report by Arnab Bhattacharyya

Arnab Bhattacharyya — Mon, 20 Feb 2012 17:48:30 +0000

Really nice post! Thanks!

Comment on Something you should know about: Quantifier Elimination (Part I) by Something you should know about: Quantifier Elimination (Part II) « Stack Exchange Theoretical Computer Science Blog

Sat, 18 Feb 2012 23:40:43 +0000

[...] This is the second of a two-part series on quantifier elimination over the reals. In the first part, we introduced the Tarski-Seidenberg quantifier elimination theorem. The goal of this post is to [...]

Comment on Boycott Elsevier for Supporting SOPA by Janis

Janis — Thu, 16 Feb 2012 19:59:12 +0000

Ask this question: did Springer's new owners support SOPA? Springer is owned by 2-EQT, a Swedish private equity firm with a part interest held by Singapore's sovereign wealth fund.

Comment on FSTTCS 2011 Conference Report by Codeword selection | Janesfreedman

Codeword selection | Janesfreedman — Wed, 08 Feb 2012 03:18:58 +0000

[...] FSTTCS 2011 Conference Report « Stack Exchange Theoretical … [...]

Comment on Boycott Elsevier for Supporting SOPA by Scientists occupy publishers | Stem Cell Assays

Scientists occupy publishers | Stem Cell Assays — Tue, 24 Jan 2012 04:27:44 +0000

[...] Sponsoring unacceptable regulations, destroying the freedom of information exchange online. [...]

Comment on Boycott Elsevier for Supporting SOPA by Should you boycott academic publishers?

Should you boycott academic publishers? — Mon, 23 Jan 2012 21:24:10 +0000

[...] so that pharmaceutical corporations could claim that certain facts appeared in a journal, they have sponsored evil regulations, and they have restrictive views on what constitutes fair use. Unbelievably, they were also [...]