2021-04-16から1日間の記事一覧
? tst12([all,all],[b,a,c,x,y],(f1,f2,f3,f4)->f1*f2*imp(f3,f4),"0
2017年に続いて,2020年に発表された Brown と McCallum の論文 "Enhancements to Lazard’s Method for Cylindrical Algebraic Decomposition" https://rdcu.be/ciEY8 の主結果は次の通りです. Lazard method の projection set に trailing coefficient を…