標(biāo)題: Titlebook: Computer Algebra in Scientific Computing; 18th International W Vladimir P. Gerdt,Wolfram Koepf,Evgenii V. Vorozht Conference proceedings 20 [打印本頁(yè)] 作者: FERN 時(shí)間: 2025-3-21 16:53
書(shū)目名稱Computer Algebra in Scientific Computing影響因子(影響力)
書(shū)目名稱Computer Algebra in Scientific Computing影響因子(影響力)學(xué)科排名
書(shū)目名稱Computer Algebra in Scientific Computing網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Computer Algebra in Scientific Computing網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Computer Algebra in Scientific Computing被引頻次
書(shū)目名稱Computer Algebra in Scientific Computing被引頻次學(xué)科排名
書(shū)目名稱Computer Algebra in Scientific Computing年度引用
書(shū)目名稱Computer Algebra in Scientific Computing年度引用學(xué)科排名
書(shū)目名稱Computer Algebra in Scientific Computing讀者反饋
書(shū)目名稱Computer Algebra in Scientific Computing讀者反饋學(xué)科排名
作者: Palpate 時(shí)間: 2025-3-21 20:17 作者: Ventilator 時(shí)間: 2025-3-22 03:43
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作者: 確保 時(shí)間: 2025-3-22 06:40
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í)代 時(shí)間: 2025-3-22 12:38 作者: Insubordinate 時(shí)間: 2025-3-22 13:57 作者: Insubordinate 時(shí)間: 2025-3-22 20:37
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) 時(shí)間: 2025-3-22 22:18 作者: Boycott 時(shí)間: 2025-3-23 02:23 作者: Boycott 時(shí)間: 2025-3-23 07:16
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作者: 雜役 時(shí)間: 2025-3-23 10:54
Systems, Decision and Control in Energy VIsecond order with continuous and piecewise continuous coefficients on an axis are presented. The boundary-value problems are formulated and discretized using the FEM on a finite interval with interpolating Hermite polynomials that provide the required continuity of the derivatives of the approximate作者: 弄皺 時(shí)間: 2025-3-23 17:18
Systems, Decision and Control in Energy VI vibrational space of a nuclear collective model in the intrinsic frame is presented. The method of generalized projection operators is used. The generalized projection operators for the intrinsic group acting in the space . and in the space spanned by the eigenfunctions of a multidimensional harmon作者: 全等 時(shí)間: 2025-3-23 20:17
Vitalii Babak,Artur Zaporozhetsng along a circular orbit under the action of gravitational and aerodynamic torques. An algorithm for the construction of a Gr?bner basis is proposed for determining the equilibrium orientations of a satellite with given principal central moments of inertia and given aerodynamic torque in special ca作者: depreciate 時(shí)間: 2025-3-24 02:15
https://doi.org/10.1007/978-3-031-67091-6 final-state particles, and also the number of particles in the model. More than any other collider, the Large Hadron Collider (LHC) at CERN has to rely on precise theoretical predictions to even look in the right place, let alone test measurements at a quantitative level. The methods of perturbativ作者: Formidable 時(shí)間: 2025-3-24 02:33 作者: 骯臟 時(shí)間: 2025-3-24 09:55 作者: PANG 時(shí)間: 2025-3-24 13:37 作者: obscurity 時(shí)間: 2025-3-24 16:17 作者: 跳動(dòng) 時(shí)間: 2025-3-24 22:18 作者: cardiovascular 時(shí)間: 2025-3-25 01:15
Resolving Decompositions for Polynomial Modules,We introduce the novel concept of a resolving decomposition of a polynomial module as a combinatorial structure that allows for the effective construction of free resolutions. It provides a unifying framework for recent results of the authors for different types of bases.作者: DEAWL 時(shí)間: 2025-3-25 05:16
https://doi.org/10.1007/978-3-319-45641-6algorithms design; finite element method; parallel processing; quantum computation theory; symbolic algo作者: 多產(chǎn)子 時(shí)間: 2025-3-25 10:58 作者: multiply 時(shí)間: 2025-3-25 13:59 作者: PATHY 時(shí)間: 2025-3-25 17:40
Conference proceedings 2016omania, in September 2016. . The 32 papers presented in this volume were carefully reviewed and selected from 39 submissions. They deal with cutting-edge research in all major disciplines of Computer Algebra..作者: Mechanics 時(shí)間: 2025-3-25 21:26 作者: Malaise 時(shí)間: 2025-3-26 01:43
Computer Algebra in Scientific Computing978-3-319-45641-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Organization 時(shí)間: 2025-3-26 05:33
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 Mathematica?9.作者: milligram 時(shí)間: 2025-3-26 12:09 作者: B-cell 時(shí)間: 2025-3-26 13:06
Vitalii Babak,Artur Zaporozhetsers is found by the analysis of real roots of algebraic equations from the constructed Gr?bner basis. The evolution of domains with fixed number of equilibria from 24 to 8 is investigated in detail. All bifurcation values of the system parameters corresponding to the qualitative change of these domains are determined.作者: 束以馬具 時(shí)間: 2025-3-26 18:28
Symbolic-Numeric Algorithms for Solving BVPs for a System of ODEs of the Second Order: Multichannelm. The efficiency of the algorithms implemented in the computer algebra system Maple is demonstrated by calculating the resonance states of a multichannel scattering problem on the axis for clusters of a few identical particles tunneling through Gaussian barriers.作者: 一條卷發(fā) 時(shí)間: 2025-3-27 00:53
A Symbolic Investigation of the Influence of Aerodynamic Forces on Satellite Equilibria,ers is found by the analysis of real roots of algebraic equations from the constructed Gr?bner basis. The evolution of domains with fixed number of equilibria from 24 to 8 is investigated in detail. All bifurcation values of the system parameters corresponding to the qualitative change of these domains are determined.作者: recede 時(shí)間: 2025-3-27 04:31 作者: Cholecystokinin 時(shí)間: 2025-3-27 08:31 作者: preeclampsia 時(shí)間: 2025-3-27 09:42 作者: 華而不實(shí) 時(shí)間: 2025-3-27 16:00 作者: 根除 時(shí)間: 2025-3-27 20:36 作者: 負(fù)擔(dān) 時(shí)間: 2025-3-28 01:41 作者: 天空 時(shí)間: 2025-3-28 03:07 作者: 艦旗 時(shí)間: 2025-3-28 09:36
https://doi.org/10.1007/978-3-031-67091-6lational problem. This contribution focusses on how Computer Algebra plays an essential role in this programme and shows by a few examples how the methods are actually implemented in a Computer Algebra system.作者: 繞著哥哥問(wèn) 時(shí)間: 2025-3-28 10:45
On the Differential and Full Algebraic Complexities of Operator Matrices Transformations,Following this, we give a complexity analysis, first, of finding a superset of the set of singular points for solutions of a system of linear ordinary differential equations, and, second, of the unimodularity testing for an operator matrix and of constructing the inverse matrix if it exists.作者: FRAX-tool 時(shí)間: 2025-3-28 15:41 作者: 易碎 時(shí)間: 2025-3-28 21:18
A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applicaystem at . (which are isolated) can be obtained by tracking a real homotopy starting from all the real roots at . throughout the path. The effectiveness of the proposed method is illustrated by some examples.作者: 新奇 時(shí)間: 2025-3-28 23:47 作者: Fibrillation 時(shí)間: 2025-3-29 05:00 作者: Heterodoxy 時(shí)間: 2025-3-29 08:33 作者: AWE 時(shí)間: 2025-3-29 12:35 作者: 終止 時(shí)間: 2025-3-29 15:57
Studies in Systems, Decision and Controlor splitting methods. It enabled the proof of the convergence of the basic method and of the asymptotical correctness of a defect-based error estimator. The performance of our package is illustrated on several examples.作者: interior 時(shí)間: 2025-3-29 20:14 作者: 服從 時(shí)間: 2025-3-30 02:06 作者: geriatrician 時(shí)間: 2025-3-30 04:08
https://doi.org/10.1007/978-3-031-67091-6 in the Lyapunov sense. It is shown that in the case of parallel force fields, there exist the families of permanent rotations of the body, the questions of their stability are considered. We also find some classic analogues for the solutions of the original problem and study their properties.作者: fibula 時(shí)間: 2025-3-30 11:13 作者: Resection 時(shí)間: 2025-3-30 16:22
Symbolic Manipulation of Flows of Nonlinear Evolution Equations, with Application in the Analysis oor splitting methods. It enabled the proof of the convergence of the basic method and of the asymptotical correctness of a defect-based error estimator. The performance of our package is illustrated on several examples.作者: 小丑 時(shí)間: 2025-3-30 17:41 作者: 男生戴手銬 時(shí)間: 2025-3-30 23:42 作者: 乏味 時(shí)間: 2025-3-31 04:04 作者: 明確 時(shí)間: 2025-3-31 06:45 作者: 陳舊 時(shí)間: 2025-3-31 12:14
Systems, Decision and Control in Energy IVlimination and the Wiedemann algorithm using the Sparse Integer Matrix Collection of Jean-Guillaume Dumas..We obtain large speedups (1000. and more) on many cases. In particular, we are able to compute the rank of several large sparse matrices in seconds or minutes, compared to days with previous methods.
