Comments on: Something you should know about: Quantifier Elimination (Part I)

By: Gsz

Gsz — Sat, 20 Feb 2016 21:54:18 +0000

Oops, the second part of the previous comment should read:

The source of the page contains: < ! - - MathJax Latex Plugin installed: Disabled as no shortcodes on this page - - > etc.

By: Gsz

Gsz — Sat, 20 Feb 2016 21:52:00 +0000

Something seems to have gone wrong since this post was first published because LaTeX equations don't render (they get displayed as raw code).

The source of the page contains:

which might point to the source of the problem.

By: Mahesha999

Mahesha999 — Sat, 16 Jan 2016 19:22:08 +0000

Please fix the latex on this page. The latex code seems not to be rendered properly.

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}$.

By: Arnab

Arnab — Sat, 19 Nov 2011 02:47:28 +0000

Thanks! It's an interesting problem, I think.

By: Diego

Diego — Wed, 16 Nov 2011 22:53:33 +0000

I asked J. Heintz and he thinks the best lower bound for sentences is single-exponential (from Fischer-Rabin paper), so possibly it is an open problem to find a tight bound.

By: Aaron Sterling

Aaron Sterling — Wed, 16 Nov 2011 17:26:59 +0000

We've removed the align environment. Hopefully it renders correctly now, for everyone. Thanks for the heads up!

By: Kaveh

Kaveh — Mon, 14 Nov 2011 23:13:49 +0000

I have the same problem. Firefox on Windows.

By: Aaron Sterling

Aaron Sterling — Mon, 14 Nov 2011 20:30:50 +0000

What browser and system are you using, please? It is rendering correctly for me.

By: Tyson Williams

Tyson Williams — Mon, 14 Nov 2011 19:08:39 +0000

The align* environment is not getting LaTeXed for me/