According to this[1] okwave thread (in Japanese) it is used in mathematics literature but generally as a direct translation from English. There is an argument there, saying that the nuance of Hyouka in Japanese mathematics is more appropriate in cases where a specific value is harder to determine and as such is used more often for things like "inequality evaluation".