Pages that link to "Item:Q529166"

The following pages link to Elementary recursive quantifier elimination based on Thom encoding and sign determination (Q529166):

Displaying 1 item.

• An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem (Q5108709) (← links)