「ツリー-フォーム」で与えられた任意の記号代数式の符号を見つけることができるアルゴリズムはありますか?
ゼロ認識問題は任意の式に対して決定できないため、一般的なアルゴリズムが存在しないことは知っていますが、式の符号を見つける問題にどのようにアプローチすればよいでしょうか? (これはコンピュータ代数ではどのように行われますか?)
例えば:sign(sqrt(2)-1) = ?
「ツリー-フォーム」で与えられた任意の記号代数式の符号を見つけることができるアルゴリズムはありますか?
ゼロ認識問題は任意の式に対して決定できないため、一般的なアルゴリズムが存在しないことは知っていますが、式の符号を見つける問題にどのようにアプローチすればよいでしょうか? (これはコンピュータ代数ではどのように行われますか?)
例えば:sign(sqrt(2)-1) = ?