標(biāo)題: Titlebook: Computer Algebra in Scientific Computing; 20th International W Vladimir P. Gerdt,Wolfram Koepf,Evgenii V. Vorozht Conference proceedings 20 [打印本頁] 作者: 兩邊在擴(kuò)散 時(shí)間: 2025-3-21 19:58
書目名稱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é)科排名
作者: 出來 時(shí)間: 2025-3-22 00:05 作者: 遍及 時(shí)間: 2025-3-22 03:16
Systems and Software Verificationt of Gerdt’s algorithm [.] to construct an involutive basis for the input ideal as well as an involutive basis for the syzygy module of the output basis. Then we apply this new algorithm in the context of Seiler’s method to transform a given ideal into quasi stable position to ensure the existence o作者: circuit 時(shí)間: 2025-3-22 07:54 作者: 卡死偷電 時(shí)間: 2025-3-22 10:52
Mrugainduta Patil,Pawan K. Dhar Since the topology of the curve near a singular point is not numerically stable, we trace the curve only outside neighborhoods of singular points and replace each neighborhood simply by a point, which produces a polygonal approximation that is .-close to the curve. Such an approximation is more sta作者: nepotism 時(shí)間: 2025-3-22 13:31 作者: nepotism 時(shí)間: 2025-3-22 17:49
Identification of Eukaryotic Promotersvectors of . irreducible representations is presented. The effective method resulting in analytical formula of overlap integrals in the case of the non-canonical BM basis [S. Alisauskas, P. Raychev, R. Roussev, J. Phys. G ., 1213 (1981)] is used. A symbolic recursive algorithm for orthonormalisation作者: fiscal 時(shí)間: 2025-3-22 22:25
Systems and Synthetic Immunologyir result that a multilinear polynomial over the finite field of order 2 can be factored in time cubic in the size of the polynomial given as a string. Later, we have rediscovered this result and provided a simple factorization algorithm based on computations over derivatives of multilinear polynomi作者: Palatial 時(shí)間: 2025-3-23 02:32
Romain Laborde,Thierry Despratsal Newton–Puiseux polynomial. A polynomial complexity algorithm for resolubility of a tropical curve is designed. The complexity of resolubility of tropical prevarieties of arbitrary codimensions is studied.作者: Detain 時(shí)間: 2025-3-23 09:28
Fran?ois Gagnon,Tomas Dej,Babak Esfandiariude a criterion and an algorithm, deciding whether a tropical linear . is a tropical linear . formulated in terms of a duality between . and .. We give an example of a countable family of tropical hyperplanes such that their intersection is not a tropical prevariety.作者: 無聊點(diǎn)好 時(shí)間: 2025-3-23 11:16 作者: excursion 時(shí)間: 2025-3-23 14:36
Vitalian A. Danciu,Martin G. Metzker investigated. Our approach combines methods of symbolic study of the nonlinear algebraic system that determines equilibrium orientations of a satellite under the action of the external torques and numerical integration of the system of linear ordinary differential equations describing the dynamics 作者: Asperity 時(shí)間: 2025-3-23 22:01
Rice production and climate changewhere for each coefficient we prescribe its sign. We are interested in the existence of positive real solutions of our system for all choices of coefficients subject to our sign conditions. We give a decision procedure for the existence of such solutions. In the positive case our procedure yields a 作者: uveitis 時(shí)間: 2025-3-23 23:40
B. A. Keating,R. L. McCown,B. M. Wafulae from gas dynamics and describe adiabatical motions of a compressible gas cloud with homogeneous deformation. We study the mechanical analog of this gas dynamical system – the rotational motion of a spheroidal rigid body around a fixed point in a potential force field described by an irrational fun作者: 譏諷 時(shí)間: 2025-3-24 05:07 作者: Statins 時(shí)間: 2025-3-24 08:12 作者: Metamorphosis 時(shí)間: 2025-3-24 12:20 作者: decode 時(shí)間: 2025-3-24 16:55
Rongzhen Tian,Yanfeng Liu,Long LiuWe study, by means of a fragment of theory about noncommutative differential equations, existence and unicity of Drinfel’d solutions . (with asymptotic conditions). From there, we give examples of Drinfel’d series with rational coefficients.作者: CLASP 時(shí)間: 2025-3-24 19:44
Rice production and climate changeWe explain how to compute all the solutions of a nonlinear integer problem using the algebraic test-sets associated to a suitable linear subproblem. These test-sets are obtained using Gr?bner bases. The main advantage of this method, compared to other available alternatives, is its exactness within a quite good efficiency.作者: 水槽 時(shí)間: 2025-3-25 02:49
D. Bachelet,J. van Sickle,C. A. GayIn this paper, we propose a new method for localization of polynomial ideal, which we call “Local Primary Algorithm”. For an ideal . and a prime ideal ., our method computes a .-primary component of . after checking if . is associated with . by using . (.?:?(.?:?.)) and its variants which give us a lot of information about localization of ..作者: Arthritis 時(shí)間: 2025-3-25 03:47 作者: 重畫只能放棄 時(shí)間: 2025-3-25 11:28
Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling,This paper presents a proof of concept for symbolic and numeric methods dedicated to the parameter estimation problem for models formulated by means of nonlinear integro-differential equations (IDE). In particular, we address: the computation of the model input-output equation and the numerical integration of IDE systems.作者: obeisance 時(shí)間: 2025-3-25 13:51
,About Some Drinfel’d Associators,We study, by means of a fragment of theory about noncommutative differential equations, existence and unicity of Drinfel’d solutions . (with asymptotic conditions). From there, we give examples of Drinfel’d series with rational coefficients.作者: athlete’s-foot 時(shí)間: 2025-3-25 18:04
Finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-Sets,We explain how to compute all the solutions of a nonlinear integer problem using the algebraic test-sets associated to a suitable linear subproblem. These test-sets are obtained using Gr?bner bases. The main advantage of this method, compared to other available alternatives, is its exactness within a quite good efficiency.作者: 長矛 時(shí)間: 2025-3-25 21:29 作者: consolidate 時(shí)間: 2025-3-26 01:32
Computer Algebra in Scientific Computing978-3-319-99639-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: outset 時(shí)間: 2025-3-26 07:35
Romain Laborde,Thierry Despratsal Newton–Puiseux polynomial. A polynomial complexity algorithm for resolubility of a tropical curve is designed. The complexity of resolubility of tropical prevarieties of arbitrary codimensions is studied.作者: Condescending 時(shí)間: 2025-3-26 11:15
Fran?ois Gagnon,Tomas Dej,Babak Esfandiariude a criterion and an algorithm, deciding whether a tropical linear . is a tropical linear . formulated in terms of a duality between . and .. We give an example of a countable family of tropical hyperplanes such that their intersection is not a tropical prevariety.作者: GRIN 時(shí)間: 2025-3-26 13:14 作者: Mystic 時(shí)間: 2025-3-26 18:40
978-3-319-99638-7Springer Nature Switzerland AG 2018作者: 別炫耀 時(shí)間: 2025-3-26 22:41
,Tropical Newton–Puiseux Polynomials,al Newton–Puiseux polynomial. A polynomial complexity algorithm for resolubility of a tropical curve is designed. The complexity of resolubility of tropical prevarieties of arbitrary codimensions is studied.作者: OUTRE 時(shí)間: 2025-3-27 01:28
Orthogonal Tropical Linear Prevarieties,ude a criterion and an algorithm, deciding whether a tropical linear . is a tropical linear . formulated in terms of a duality between . and .. We give an example of a countable family of tropical hyperplanes such that their intersection is not a tropical prevariety.作者: overrule 時(shí)間: 2025-3-27 07:18
0302-9743 lle, France, in September 2018...The 24 full papers of this volume presented with an abstract of an invited talk and one paper corresponding to another invited talk were carefully reviewed and selected from 29 submissions. They deal with cutting-edge research in all major disciplines of computer alg作者: Epidural-Space 時(shí)間: 2025-3-27 10:07 作者: Commonplace 時(shí)間: 2025-3-27 14:04
,From Exponential Analysis to Padé Approximation and Tensor Decomposition, in One and More Dimensionriate generalization are the subject of Sect.?.. These connections immediately allow for some generalization of the sampling scheme, not covered by the current multivariate theory..An interesting computational illustration of the above in blind source separation is presented in Sect.?..作者: Incisor 時(shí)間: 2025-3-27 18:10
,Symbolic Algorithm for Generating the?Orthonormal Bargmann–Moshinsky Basis for , Group, of the obtained basis is developed. The effectiveness of the algorithms implemented in Mathematica 10.1 is investigated by calculation of the overlap integrals for up?to . with . and orthonormalization of the basis for up?to . with .. The action of the zero component of the quadrupole operator onto the basis vectors with . is also obtained.作者: encyclopedia 時(shí)間: 2025-3-27 23:01
On a Polytime Factorization Algorithm for Multilinear Polynomials over ,als. The algorithm has been applied to solve problems of compact representation of various combinatorial structures, including Boolean functions and relational data tables. In this paper, we describe an improvement of this factorization algorithm and report on preliminary experimental analysis.作者: Promotion 時(shí)間: 2025-3-28 02:28
,Symbolic-Numerical Algorithms for?Solving Elliptic Boundary-Value Problems Using Multivariate Simplc-numerical algorithms implemented in Maple. Quadrature rules up?to order 8 on the simplexes with dimension . are presented. We demonstrate the efficiency of algorithms and programs by benchmark calculations of a low part of spectra of exactly solvable Helmholtz problems for a cube and a hypercube.作者: Parameter 時(shí)間: 2025-3-28 07:06 作者: dragon 時(shí)間: 2025-3-28 13:39
Systems and Software Verifications method. We conclude the paper by proposing an involutive variant of the signature based algorithm of Gao et al. [.] to compute simultaneously a Gr?bner basis for a given ideal and for the syzygy module of the input basis. All the presented algorithms have been implemented in . and their performance is evaluated via a set of benchmark ideals.作者: Filibuster 時(shí)間: 2025-3-28 14:56 作者: 輕快走過 時(shí)間: 2025-3-28 20:11 作者: Preserve 時(shí)間: 2025-3-29 01:36 作者: 狂怒 時(shí)間: 2025-3-29 03:08
Computation of Pommaret Bases Using Syzygies,s method. We conclude the paper by proposing an involutive variant of the signature based algorithm of Gao et al. [.] to compute simultaneously a Gr?bner basis for a given ideal and for the syzygy module of the input basis. All the presented algorithms have been implemented in . and their performance is evaluated via a set of benchmark ideals.作者: fibroblast 時(shí)間: 2025-3-29 09:40 作者: COWER 時(shí)間: 2025-3-29 14:22 作者: Substance-Abuse 時(shí)間: 2025-3-29 19:06
Qualitative Analysis of a Dynamical System with Irrational First Integrals,onditions of their stability in Lyapunov’s sense have been derived and compared with the necessary ones. The analysis has been performed with the aid of computer algebra tools which proved to be essential. The computer algebra system “Mathematica” was employed.作者: Amorous 時(shí)間: 2025-3-29 21:57 作者: overrule 時(shí)間: 2025-3-30 00:58
0302-9743 equalities” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.978-3-319-99638-7978-3-319-99639-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: interior 時(shí)間: 2025-3-30 05:15 作者: set598 時(shí)間: 2025-3-30 08:58 作者: 文藝 時(shí)間: 2025-3-30 13:02
Systems and Software Variability Managementting both arithmetic operations in . and shifts of elements of .. This complexity turns out to be smaller than in the earlier proposed algorithms for inverting matrices of difference operators..Some experiments with our implementation in Maple of the algorithm are reported.作者: NIB 時(shí)間: 2025-3-30 19:30 作者: Substitution 時(shí)間: 2025-3-30 23:35 作者: 售穴 時(shí)間: 2025-3-31 01:16 作者: 愛得痛了 時(shí)間: 2025-3-31 07:10
Guanhai Wang,Minglu Li,Chuliang Wengc-numerical algorithms implemented in Maple. Quadrature rules up?to order 8 on the simplexes with dimension . are presented. We demonstrate the efficiency of algorithms and programs by benchmark calculations of a low part of spectra of exactly solvable Helmholtz problems for a cube and a hypercube.作者: 盡責(zé) 時(shí)間: 2025-3-31 11:20
Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (,),tworks as a cloud-based service. There, demanding computations are outsourced in order to limit infrastructure costs..The idea of verifiable computing is to associate a data structure, a ., to the result of the outsourced computation. This allows a verification algorithm to prove the validity of the作者: Compassionate 時(shí)間: 2025-3-31 15:04 作者: GEST 時(shí)間: 2025-3-31 19:10
Computation of Pommaret Bases Using Syzygies,t of Gerdt’s algorithm [.] to construct an involutive basis for the input ideal as well as an involutive basis for the syzygy module of the output basis. Then we apply this new algorithm in the context of Seiler’s method to transform a given ideal into quasi stable position to ensure the existence o作者: 結(jié)構(gòu) 時(shí)間: 2025-3-31 23:22 作者: 試驗(yàn) 時(shí)間: 2025-4-1 02:33 作者: 處理 時(shí)間: 2025-4-1 08:12 作者: 古老 時(shí)間: 2025-4-1 11:16 作者: 榨取 時(shí)間: 2025-4-1 18:14
On a Polytime Factorization Algorithm for Multilinear Polynomials over ,ir result that a multilinear polynomial over the finite field of order 2 can be factored in time cubic in the size of the polynomial given as a string. Later, we have rediscovered this result and provided a simple factorization algorithm based on computations over derivatives of multilinear polynomi作者: epidermis 時(shí)間: 2025-4-1 20:09 作者: Colonoscopy 時(shí)間: 2025-4-1 22:42 作者: hegemony 時(shí)間: 2025-4-2 03:53 作者: Graphite 時(shí)間: 2025-4-2 09:09
Symbolic-Numeric Simulation of Satellite Dynamics with Aerodynamic Attitude Control System, investigated. Our approach combines methods of symbolic study of the nonlinear algebraic system that determines equilibrium orientations of a satellite under the action of the external torques and numerical integration of the system of linear ordinary differential equations describing the dynamics 作者: Counteract 時(shí)間: 2025-4-2 14:00 作者: 不持續(xù)就爆 時(shí)間: 2025-4-2 16:06
Qualitative Analysis of a Dynamical System with Irrational First Integrals,e from gas dynamics and describe adiabatical motions of a compressible gas cloud with homogeneous deformation. We study the mechanical analog of this gas dynamical system – the rotational motion of a spheroidal rigid body around a fixed point in a potential force field described by an irrational fun
