Titlebook: Computer Algebra in Scientific Computing; 18th International W Vladimir P. Gerdt,Wolfram Koepf,Evgenii V. Vorozht Conference proceedings 20

FERN

書目名稱Computer Algebra in Scientific Computing影響因子(影響力)




書目名稱Computer Algebra in Scientific Computing影響因子(影響力)學(xué)科排名




書目名稱Computer Algebra in Scientific Computing網(wǎng)絡(luò)公開度




書目名稱Computer Algebra in Scientific Computing網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Computer Algebra in Scientific Computing被引頻次




書目名稱Computer Algebra in Scientific Computing被引頻次學(xué)科排名




書目名稱Computer Algebra in Scientific Computing年度引用




書目名稱Computer Algebra in Scientific Computing年度引用學(xué)科排名




書目名稱Computer Algebra in Scientific Computing讀者反饋




書目名稱Computer Algebra in Scientific Computing讀者反饋學(xué)科排名

Palpate

Ventilator

Studies in Systems, Decision and Control flows, and commutators of such objects. This tool was employed to perform contrived computations arising in the analysis of the local error of operator splitting methods. It enabled the proof of the convergence of the basic method and of the asymptotical correctness of a defect-based error estimato

確保

Artur Zaporozhets,Oleksandr Popovamoebas by two-dimensional planes. We also provide a method and an algorithm for the computation of?polynomials whose amoebas exhibit the most complicated topology among all polynomials with a?fixed Newton polytope. The presented algorithms are implemented in computer algebra systems Matlab?8 and Ma

舊石器時(shí)代

Insubordinate

Insubordinate

Systems, Decision and Control in Energy Vcomputers and proof-assistants – programs that assist the development of formal proofs by human-machine collaboration?– has revived the interest in formal proofs and diminished considerably the value of these arguments..In this paper we discuss some challenges proof-assistants face in handling undec

種植,培養(yǎng)

Boycott

Boycott

Studies in Systems, Decision and Controlic coefficients are written as . and .. We give sufficient conditions for the simplification techniques to be sound for linear and quadratic polynomials. We show their effectiveness compared to state of the art quantifier elimination tools for input formulae occurring in the optimal numerical algori