標題: Titlebook: Computer Algebra in Scientific Computing; 8th International Wo Victor G. Ganzha,Ernst W. Mayr,Evgenii V. Vorozhts Conference proceedings 20 [打印本頁] 作者: Polk 時間: 2025-3-21 19:29
書目名稱Computer Algebra in Scientific Computing影響因子(影響力)
書目名稱Computer Algebra in Scientific Computing影響因子(影響力)學科排名
書目名稱Computer Algebra in Scientific Computing網(wǎng)絡(luò)公開度
書目名稱Computer Algebra in Scientific Computing網(wǎng)絡(luò)公開度學科排名
書目名稱Computer Algebra in Scientific Computing被引頻次
書目名稱Computer Algebra in Scientific Computing被引頻次學科排名
書目名稱Computer Algebra in Scientific Computing年度引用
書目名稱Computer Algebra in Scientific Computing年度引用學科排名
書目名稱Computer Algebra in Scientific Computing讀者反饋
書目名稱Computer Algebra in Scientific Computing讀者反饋學科排名
作者: VAN 時間: 2025-3-21 23:23 作者: athlete’s-foot 時間: 2025-3-22 03:03 作者: Interim 時間: 2025-3-22 08:05 作者: 消瘦 時間: 2025-3-22 10:41
Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion,hen a center of mass of the satellite moves in an elliptic orbit, while the satellite rotates uniformly about the axis of its dynamical symmetry that is perpendicular to the orbit plane. In the case of the resonance 3:2 (Mercury type resonance) we have found the domains of instability of cylindrical作者: 清晰 時間: 2025-3-22 14:45
Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time,ation of the grid nodes positions for a particular region, we perform all calculations for general polynomials given with indeterminate coefficients. The first advantage of this approach is that the calculations can be performed only once and then used to generate grids on arbitrary regions and of a作者: 清晰 時間: 2025-3-22 17:10
Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots,n which the confinement is modeled by a spherical potential wall (particle-in-a-sphere model). After the separation of variables we obtain second order ordinary differential equations, so that automatic methods for finding a closed-form solution are needed. We present a symbolic algorithm implemente作者: Dignant 時間: 2025-3-22 21:25 作者: evaculate 時間: 2025-3-23 04:02 作者: In-Situ 時間: 2025-3-23 07:55 作者: intellect 時間: 2025-3-23 10:12 作者: 群居男女 時間: 2025-3-23 14:11 作者: linear 時間: 2025-3-23 20:57 作者: Dignant 時間: 2025-3-23 23:22
Circulant Digraphs and Monomial Ideals,hape. Its description provides the graph’s diameter and average distance on constant time. In this paper we clarify, justify and extend these diagrams to circulant digraphs of arbitrary degree by presenting monomial ideals as a natural tool. We obtain some properties of the ideals we are concerned. 作者: 先兆 時間: 2025-3-24 03:03
Algebraic Topological Analysis of Time-Sequence of Digital Images,rays of pixels. Our answer is based on an algebraic-topological coding, called AT–model, for a . (.=2,3) digital binary-valued image . consisting simply in taking . together with an algebraic object depending on it. Considering AT–models for all the 2D digital images in a time sequence, it is possib作者: 抒情短詩 時間: 2025-3-24 08:09
,Hilbert Stratification and Parametric Gr?bner Bases, a tool to check that the specialization of a “generic” Gr?bner basis of the parametric polynomial system (computed in a polynomial ring having both parameters and unknowns as variables) is a Gr?bner basis of the specialized system. Extending the analysis, we can also build the so-called . of the as作者: craving 時間: 2025-3-24 12:52
Systems, Stability, and Statecraftt the Cayley-Dixon construction does not contain any extraneous factors. The approach demonstrates that the resultant of a composed system can be effectively calculated by considering only the resultant of the outer system.作者: Condense 時間: 2025-3-24 17:24
Systems, Stability, and Statecraftgramming techniques, so as to achieve high practical performance. The algorithms are integrated in the public-domain C++ software library ., and their efficiency is illustrated by 9 experiments against existing implementations. Our code is faster in most cases; sometimes it is even faster than numerical approaches.作者: 感激小女 時間: 2025-3-24 20:50
The Fundamental Duality of System Theory,l, we provide formulae to compute the diameter and the average distance. Finally, we present a new and attractive family (parametrized with the diameter .>2) of circulant digraphs of degree three associated to an irreducible monomial ideal.作者: 定點 時間: 2025-3-25 02:57 作者: 串通 時間: 2025-3-25 03:51 作者: 微枝末節(jié) 時間: 2025-3-25 07:55
Circulant Digraphs and Monomial Ideals,l, we provide formulae to compute the diameter and the average distance. Finally, we present a new and attractive family (parametrized with the diameter .>2) of circulant digraphs of degree three associated to an irreducible monomial ideal.作者: 他去就結(jié)束 時間: 2025-3-25 13:13
Normal Forms and Integrability of ODE Systems,HEMATICA package. Our results show that in cases of the existence of an additional first integral of the system its normal form is degenerate. So we assume that the integrability of a system can be checked through its normal form.作者: excursion 時間: 2025-3-25 16:22
Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion, precession of the satellite in the Liapunov sense and domains of its linear stability in the parameter space. Using the infinite determinant method we have calculated analytically the boundaries of the domains of instability as power series in the eccentricity of the orbit. All the calculations have been done with the computer algebra system ..作者: 洞察力 時間: 2025-3-25 20:53 作者: 一罵死割除 時間: 2025-3-26 03:52 作者: Fabric 時間: 2025-3-26 07:28
Algebraic Topological Analysis of Time-Sequence of Digital Images,le to get an AT–model for the 3D digital image consisting in concatenating the successive 2D digital images in the sequence. If the frames are represented in a quadtree format, a similar positive result can be derived.作者: 痛苦一生 時間: 2025-3-26 09:10 作者: Embolic-Stroke 時間: 2025-3-26 13:20 作者: monopoly 時間: 2025-3-26 18:56
Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time, the existing algebraic grid generation methods and lead to the intersection of grid lines. All symbolic calculation can be performed with general purpose Computer Algebra Systems, and expressions obtained in this way can be translated in Java/C++ code.作者: Generalize 時間: 2025-3-27 00:42
Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots,r can be solved in terms of hypergeometric or Bessel functions. The usage of indeterminate coefficients allows one to obtain the solution of the problem equations in terms of control parameters, which can then be choosen according to the purposes of a nanotechological process.作者: 谷物 時間: 2025-3-27 05:04
Murat Yilmaz,Paul Clarke,Thomas Peisl, detail its numerical aspects and describe experiments on tangential problems, which show the efficiency of the approach. An industrial application of the method is presented at the end of the paper. It consists in recovering cylinders from a large cloud of points and requires intensive resolution of polynomial equations.作者: 雄偉 時間: 2025-3-27 06:20
https://doi.org/10.1007/978-1-137-06138-6Though Janet-like division is not involutive, it preserves all algorithmic merits of Janet division, including Noetherianity, continuity and constructivity. Due to superiority of Janet-like division over Janet division, the algorithm for constructing Gr?bner bases based on the new division is more efficient than its Janet division counterpart.作者: Organonitrile 時間: 2025-3-27 12:55 作者: arthroscopy 時間: 2025-3-27 14:05
Resultant-Based Methods for Plane Curves Intersection Problems,, detail its numerical aspects and describe experiments on tangential problems, which show the efficiency of the approach. An industrial application of the method is presented at the end of the paper. It consists in recovering cylinders from a large cloud of points and requires intensive resolution of polynomial equations.作者: 嘮叨 時間: 2025-3-27 20:40
Janet-Like Monomial Division,Though Janet-like division is not involutive, it preserves all algorithmic merits of Janet division, including Noetherianity, continuity and constructivity. Due to superiority of Janet-like division over Janet division, the algorithm for constructing Gr?bner bases based on the new division is more efficient than its Janet division counterpart.作者: Alopecia-Areata 時間: 2025-3-28 01:44 作者: 詞根詞綴法 時間: 2025-3-28 04:33
Murat Yilmaz,Rory V. O’Connor,John CollinsHEMATICA package. Our results show that in cases of the existence of an additional first integral of the system its normal form is degenerate. So we assume that the integrability of a system can be checked through its normal form.作者: 組裝 時間: 2025-3-28 06:40 作者: 澄清 時間: 2025-3-28 12:23
Systems, Stability, and Statecraftroot separation ., coefficients |. .|?≥?1 and ., it needs coefficient approximations to .(.(log(1/.) + .)) bits after the binary point and has an expected cost of .(. . (log(1/.) + .).) bit operations.作者: Organonitrile 時間: 2025-3-28 18:08 作者: Canary 時間: 2025-3-28 19:29 作者: Clinch 時間: 2025-3-28 23:47
Victor G. Ganzha,Ernst W. Mayr,Evgenii V. Vorozhts作者: SLAY 時間: 2025-3-29 06:24 作者: 白楊魚 時間: 2025-3-29 10:16
Claude Y. Laporte,Rory V. O’ConnorWe present an OBDD-based Computer Algebra system for relational algebra, called .. After a short introduction to the OBDD-implementation of relations and the system, we exhibit its application by presenting two typical examples.作者: hypertension 時間: 2025-3-29 14:22
https://doi.org/10.1007/978-3-319-44817-6Some algorithmic properties are obtained related with the computation of the elementary divisors and a set of canonical generators of a finite abelian group, this properties are based on Gr?bner bases techniques used as a theoretical framework. As an application a new algorithm for computing the structure of the abelian group is presented.作者: 產(chǎn)生 時間: 2025-3-29 17:37 作者: Benign 時間: 2025-3-29 21:06
,, – An OBDD-Based Computer Algebra System for Relations,We present an OBDD-based Computer Algebra system for relational algebra, called .. After a short introduction to the OBDD-implementation of relations and the system, we exhibit its application by presenting two typical examples.作者: Outspoken 時間: 2025-3-30 01:43 作者: 少量 時間: 2025-3-30 04:45
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/233421.jpg作者: emission 時間: 2025-3-30 11:51 作者: 分散 時間: 2025-3-30 14:22 作者: Overthrow 時間: 2025-3-30 20:05
https://doi.org/10.1007/978-3-319-44817-6hm of Abramov & Bronstein (2001) as an auxiliary tool. A similar approach to find all the solutions with entries in .(.) [log .] is presented as well, together with a new hybrid method for constructing the denominator of rational and logarithmic solutions.作者: 多節(jié) 時間: 2025-3-30 22:04 作者: 儀式 時間: 2025-3-31 01:28
David Wetzel,Robert Jervis,Jaek S. Levyecessary step for the computation of the Bernstein-Sato ideals of . .,..., . ...We point out experimental differences among the efficiency of the available methods to obtain this annihilating ideal and provide some upper bounds for the complexity of its computation.作者: anticipate 時間: 2025-3-31 08:42
https://doi.org/10.1007/11555964Automat; algebra; algorithm; algorithms; complexity; computer; computer algebra; programming; programming la作者: enchant 時間: 2025-3-31 12:09 作者: Headstrong 時間: 2025-3-31 16:59
On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems,hm of Abramov & Bronstein (2001) as an auxiliary tool. A similar approach to find all the solutions with entries in .(.) [log .] is presented as well, together with a new hybrid method for constructing the denominator of rational and logarithmic solutions.作者: 挫敗 時間: 2025-3-31 20:39 作者: PLE 時間: 2025-4-1 01:08 作者: obnoxious 時間: 2025-4-1 02:21
https://doi.org/10.1007/978-3-319-44817-6hm of Abramov & Bronstein (2001) as an auxiliary tool. A similar approach to find all the solutions with entries in .(.) [log .] is presented as well, together with a new hybrid method for constructing the denominator of rational and logarithmic solutions.作者: 拒絕 時間: 2025-4-1 07:26
https://doi.org/10.1007/978-3-319-44817-6here each such set is defined by a constant number of polynomials of constant degrees. The complexity of the algorithm is .(. .). We also describe an implementation of this algorithm in the particular case of arrangements of ellipsoids in ?. and describe some of our results.作者: ROOF 時間: 2025-4-1 11:29
Murat Yilmaz,Rory V. O’Connor,John Collinsxth order with one parameter. Among the stationary points of the system we select two one-parameter families with resonance (0,0,.,–.,2.,–2.) of eigenvalues of the matrix of the linear part. For the stationary points, we compute the resonant normal form of the system using a program based on the MAT
