JoshuaZ comments on Local truth - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (76)
See here.
Thanks.
I know quantifier elimination from CS and it makes for some useful practical algorithms but it seems not to be very powerful.