You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Gunnar_Zarncke comments on Local truth - Less Wrong Discussion

13 Post author: NancyLebovitz 20 December 2013 05:04PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Article Navigation

Comments (76)
Tags: epistomology high_pressure chemistry science

Comments (76)

You are viewing a single comment's thread. Show more comments above.

Comment author: Gunnar_Zarncke 22 December 2013 10:55:04PM 0 points [-]

Thanks.

I know quantifier elimination from CS and it makes for some useful practical algorithms but it seems not to be very powerful.

Powered by Reddit Powered by Reddit