推 willreturn: Plot[1 - 3 s^2 + (1 + s^2) Cosh[s], {s, -10, 10}] 02/10 21:02
→ willreturn: 這方程式好像根本就是正的耶 02/10 21:02
→ csro7788: 所以它是用圖看嗎@@? 可是看圖應該不是一個好方法吧@@? 02/11 01:44
→ csro7788: 我知道是正的 我想要知道軟體中是怎麼解的~ 02/11 01:45
推 AmibaGelos: 一個簡單的方法是用Taylor series去夾,當展到quartic 02/11 20:59
→ AmibaGelos: term時就可以看出來這個system沒有實根 02/11 21:00
→ AmibaGelos: 不過我不知道mathematica的reduce是如何implement的 02/11 21:00
→ AmibaGelos: 剛好找到一個反例證明Reduce不是用Taylor series來解 02/11 21:34
→ AmibaGelos: 64-3s^4+(2s^2)(Cos[s]+2)Cosh[s]>0可以用誤差估計證 02/11 21:36
→ AmibaGelos: 明,卻不能用Reduce解,所以Reduce應該是用別種方法 02/11 21:36
→ csro7788: 謝謝樓上提供我一個想法~ 02/12 01:47
推 alfadick: Amiba: Reduce應該都用Real Polynomial System那套 04/22 01:52
→ alfadick: MMA官網文件有寫, keyword就是那個 04/22 01:52
→ csro7788: 謝謝樓上! 05/07 16:31