Reduce [expr, vars] reduces the statement expr by solving equations or inequalities for vars and eliminating quantifiers. Reduce[expr, vars, dom] does the ...
確定! 回上一頁