標(biāo)題: Titlebook: Computer Algebra in Scientific Computing; 13th International W Vladimir P. Gerdt,Wolfram Koepf,Evgenii V. Vorozht Conference proceedings 20 [打印本頁(yè)] 作者: fasten 時(shí)間: 2025-3-21 17:48
書(shū)目名稱(chēng)Computer Algebra in Scientific Computing影響因子(影響力)
書(shū)目名稱(chēng)Computer Algebra in Scientific Computing影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Computer Algebra in Scientific Computing網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Computer Algebra in Scientific Computing網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Computer Algebra in Scientific Computing被引頻次
書(shū)目名稱(chēng)Computer Algebra in Scientific Computing被引頻次學(xué)科排名
書(shū)目名稱(chēng)Computer Algebra in Scientific Computing年度引用
書(shū)目名稱(chēng)Computer Algebra in Scientific Computing年度引用學(xué)科排名
書(shū)目名稱(chēng)Computer Algebra in Scientific Computing讀者反饋
書(shū)目名稱(chēng)Computer Algebra in Scientific Computing讀者反饋學(xué)科排名
作者: 貨物 時(shí)間: 2025-3-21 21:44
Hadhami Garbouge,Pejman Rasti,David Rousseautness. In the third and last stage the actual algorithms are constructed so that each of them satisfies its corresponding proof of correctness. In this paper we focus on the first stage of the process, the automatic generation of Partitioned Matrix Expressions. In particular, we discuss the steps le作者: absorbed 時(shí)間: 2025-3-22 01:52
A Modular Approach for Beam Lines Design,ch, the beam propagator is presented as a set of two-dimensional matrices describing different kinds of beam or beam line properties up to some approximation order. These matrices can be computed both in symbolic and numerical forms up to the necessary approximation order of the nonlinear effects. A作者: 拋棄的貨物 時(shí)間: 2025-3-22 06:18
Knowledge-Based Automatic Generation of Partitioned Matrix Expressions,tness. In the third and last stage the actual algorithms are constructed so that each of them satisfies its corresponding proof of correctness. In this paper we focus on the first stage of the process, the automatic generation of Partitioned Matrix Expressions. In particular, we discuss the steps le作者: Substitution 時(shí)間: 2025-3-22 10:00
https://doi.org/10.1007/978-3-031-51982-6ovide an improvement to Mulders’ polynomial division algorithm. We show that it is particularly efficient compared with the multimodular algorithm. The algorithms are straightforward to implement and available in the open source FLINT C library. We offer a practical comparison of our implementations with various computer algebra systems.作者: braggadocio 時(shí)間: 2025-3-22 16:32 作者: braggadocio 時(shí)間: 2025-3-22 20:32
Conference proceedings 2011ects; matrix algorithms; the investigation with the aid of computer algebra; the development of symbolic-numerical algorithms; and the application of symbolic computations in applied problems of physics, mechanics, social science, and engineering.作者: homeostasis 時(shí)間: 2025-3-22 23:07 作者: kindred 時(shí)間: 2025-3-23 02:36 作者: cacophony 時(shí)間: 2025-3-23 06:31
Chemical Reaction Systems, Computer Algebra and Systems Biology,efficient algorithms for building the ODE systems which define the statistical moments associated to these dynamics. Most of these algorithms were implemented in the MAPLE computer algebra software. We have chosen to present them through the corresponding MAPLE packages.作者: 察覺(jué) 時(shí)間: 2025-3-23 09:51 作者: 豐滿有漂亮 時(shí)間: 2025-3-23 15:09 作者: 香料 時(shí)間: 2025-3-23 18:10 作者: MENT 時(shí)間: 2025-3-24 00:04 作者: Canyon 時(shí)間: 2025-3-24 05:39 作者: Headstrong 時(shí)間: 2025-3-24 07:39
Lecture Notes in Networks and Systems equations accelerates the simulation of the reference system as well as the verification of the reduced models. Furthermore, it increases the robustness of the solver permitting analyzes of significantly larger symbolic systems. As example, a voltage controller circuit is reduced using the introduced methods.作者: Ossification 時(shí)間: 2025-3-24 12:55
Higher-Order Linear Differential Systems with Truncated Coefficients,However, they are decidable in the scalar case and in the case when we know in advance that a given system has an invertible leading matrix. We use our results in order to improve some functionality of the Maple [17] package ISOLDE [11].作者: cardiac-arrest 時(shí)間: 2025-3-24 17:51 作者: CODA 時(shí)間: 2025-3-24 20:31 作者: HEDGE 時(shí)間: 2025-3-24 23:42 作者: 生存環(huán)境 時(shí)間: 2025-3-25 04:42
Fast and Robust Symbolic Model Order Reduction with , equations accelerates the simulation of the reference system as well as the verification of the reduced models. Furthermore, it increases the robustness of the solver permitting analyzes of significantly larger symbolic systems. As example, a voltage controller circuit is reduced using the introduced methods.作者: NEX 時(shí)間: 2025-3-25 09:39
0302-9743 ernational Workshop on Computer Algebra in Scientific Computing, CASC 2011, held in Kassel, Germany, in September 2011. The 26 full papers included in the book were carefully reviewed and selected from numerous submissions. The articles are organized in topical sections on the development of object 作者: Initial 時(shí)間: 2025-3-25 12:08 作者: malapropism 時(shí)間: 2025-3-25 16:55 作者: 骨 時(shí)間: 2025-3-25 21:59
Hadhami Garbouge,Pejman Rasti,David Rousseauntifier elimination problem over the ordered field of the reals we provide case studies of some systems arising in the life sciences. We discuss the use of simple conservation constraints and the use of parametric constraints for describing simple convex polytopes on which periodic orbits can be excluded by Muldowney’s criteria.作者: dialect 時(shí)間: 2025-3-26 03:02
Topology of Families of Implicit Algebraic Surfaces Depending on a Parameter, invariant, in the sense that the topology of the family can be described by means of the same simplicial complex. As a consequence, by applying known algorithms ([1], [6], [7], [11]) the different shapes in the family can be computed. The algorithm is due to a generalization of the ideas in [2] to the surface case.作者: forebear 時(shí)間: 2025-3-26 04:45
Semi-algebraic Description of the Equilibria of Dynamical Systems,a, their Hopf bifurcations. To this end, we revisit various criteria on sign conditions for the roots of a real parametric univariate polynomial. In addition, we introduce the notion of . of a semi-algebraic system and demonstrate that it is well adapted for our study.作者: 委派 時(shí)間: 2025-3-26 11:24 作者: GRILL 時(shí)間: 2025-3-26 14:10 作者: Aviary 時(shí)間: 2025-3-26 18:58
https://doi.org/10.1007/978-1-4471-1977-7models of simple games and develop relational algorithms for solving some game-theoretic basic problems. The algorithms immediately can be transformed into the language of the Computer Algebra system . and, therefore, the system can be used to solve the problems and to visualize the results of the computations.作者: 巨碩 時(shí)間: 2025-3-26 21:42
An Experiment in Measuring Specificationsf, this normal form exists. A regularity test for polynomials modulo regular chains is revisited in the nondifferential setting and lifted to differential algebra. A new characterization of regular chains is provided.作者: 粗魯性質(zhì) 時(shí)間: 2025-3-27 03:32
Sebastià Xambó-Descamps,Eduardo Ulises Moyar solution of the three-body problem. The stability problem is solved in a strict nonlinear formulation on the basis of Arnold–Moser and Markeev theorems. Peculiar properties of the Hamiltonian normalization are discussed, and the influence of the third and fourth order resonances on stability of the equilibrium positions has been analyzed.作者: Enrage 時(shí)間: 2025-3-27 08:08 作者: adipose-tissue 時(shí)間: 2025-3-27 13:25 作者: archetype 時(shí)間: 2025-3-27 14:52
Vladimir P. Gerdt,Wolfram Koepf,Evgenii V. VorozhtFast-track conference proceedings.State-of-the-art research.Up-to-date results作者: Tdd526 時(shí)間: 2025-3-27 21:47
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/233417.jpg作者: 靦腆 時(shí)間: 2025-3-27 22:59
Robust Binary Control of Robotic Systems,s non-zero Laurent series solutions, and find all such solutions if they exist. Let us also assume we need only a given positive integer number . of initial terms of these series solutions. How many initial terms of the coefficients of the original system should we use to construct what we need?.Sup作者: tangle 時(shí)間: 2025-3-28 03:00
An Experiment in Measuring Specificationsarising in the family. The algorithm decomposes the real line into finitely many pieces (points and intervals) so that over each interval the shape is invariant, in the sense that the topology of the family can be described by means of the same simplicial complex. As a consequence, by applying known作者: Range-Of-Motion 時(shí)間: 2025-3-28 06:22 作者: 愛(ài)國(guó)者 時(shí)間: 2025-3-28 13:42
https://doi.org/10.1007/978-1-4471-1977-7models of simple games and develop relational algorithms for solving some game-theoretic basic problems. The algorithms immediately can be transformed into the language of the Computer Algebra system . and, therefore, the system can be used to solve the problems and to visualize the results of the c作者: mechanical 時(shí)間: 2025-3-28 17:21 作者: defuse 時(shí)間: 2025-3-28 20:16
Silvia Franchini,Salvatore Vitabile mostly focused on models (systems of equations) arising from generalized chemical reaction systems. Eight years ago, our team was involved in a joint project, with physicists and biologists, on the modeling problem of the circadian clock of the green algae .. This cooperation led us to different al作者: dilute 時(shí)間: 2025-3-29 01:32 作者: 復(fù)習(xí) 時(shí)間: 2025-3-29 07:01
Silvia Franchini,Salvatore Vitabilech systems, we provide semi-algebraic descriptions of their hyperbolic and non-hyperbolic equilibria, their asymptotically stable hyperbolic equilibria, their Hopf bifurcations. To this end, we revisit various criteria on sign conditions for the roots of a real parametric univariate polynomial. In a作者: 時(shí)代 時(shí)間: 2025-3-29 10:17
Hadhami Garbouge,Pejman Rasti,David Rousseaulds. Using the formulation of Muldowney’s sufficient criteria for excluding periodic orbits of the parameterized vector field on a convex set as a quantifier elimination problem over the ordered field of the reals we provide case studies of some systems arising in the life sciences. We discuss the u作者: GLUT 時(shí)間: 2025-3-29 14:54
Hadhami Garbouge,Pejman Rasti,David Rousseaumatic procedure. Although powerful, such a methodology involves complex algebraic manipulation, symbolic computations and pattern matching, making the generation a process challenging to be performed by hand. We aim for a fully automated system that from the sole description of a target operation cr作者: Iniquitous 時(shí)間: 2025-3-29 17:08 作者: 煤渣 時(shí)間: 2025-3-29 23:43
Lecture Notes in Networks and Systemsns to study the quantum tunneling model of a coupled pair of nonidentical ions are described. The Kantorovich reduction of the above problem with non-symmetric long-range potentials to the BVPs for sets of the second order ordinary differential equations (ODEs) is given by expanding solution over th作者: 商店街 時(shí)間: 2025-3-30 03:31
Raquel Ayala-Carabajo,Joe Llerena-Izquierdol and aerodynamic forces is considered. The stationary motions of a satellite are governed by a system of nonlinear algebraic equations. A computer algebra method based on an algorithm for the construction of a Groebner basis and the resultant concept is proposed for determining all equilibrium orie作者: 租約 時(shí)間: 2025-3-30 06:35 作者: GRACE 時(shí)間: 2025-3-30 08:54
Lecture Notes in Networks and Systemsre required to support the design. This paper presents two new methods for handling complex nonlinear analog circuits which are available in the new release . 2011, the . toolbox for symbolic modeling, analysis and reduction of analog circuits. The transient symbolic model order reduction allows the作者: 或者發(fā)神韻 時(shí)間: 2025-3-30 16:16
Vehicular Ad-Hoc Network (VANET)ant manifolds of Lagrange systems, which possess cyclic first integrals. The main idea consists in the use of “extended” characteristic functions. The proposed approach is demonstrated by examples of concrete mechanical systems. The computer algebra system (CAS) “Mathematica” is applied for computat作者: insolence 時(shí)間: 2025-3-30 19:46
https://doi.org/10.1007/978-3-642-22206-1paper we show an efficient and systematic algorithm for parametric programming, . computing exact optimal value functions, based on a specialized symbolic-numeric cylindrical algebraic decomposition. We also present some practical application examples from system and control theory.作者: Transfusion 時(shí)間: 2025-3-31 00:22
Computations on Simple Games Using ,,models of simple games and develop relational algorithms for solving some game-theoretic basic problems. The algorithms immediately can be transformed into the language of the Computer Algebra system . and, therefore, the system can be used to solve the problems and to visualize the results of the computations.作者: 有角 時(shí)間: 2025-3-31 04:17 作者: 有花 時(shí)間: 2025-3-31 07:25
On the Stability of Equilibrium Positions in the Circular Restricted Four-Body Problem,r solution of the three-body problem. The stability problem is solved in a strict nonlinear formulation on the basis of Arnold–Moser and Markeev theorems. Peculiar properties of the Hamiltonian normalization are discussed, and the influence of the third and fourth order resonances on stability of the equilibrium positions has been analyzed.作者: Intersect 時(shí)間: 2025-3-31 10:47 作者: eustachian-tube 時(shí)間: 2025-3-31 16:30 作者: Multiple 時(shí)間: 2025-3-31 17:55 作者: 歌唱隊(duì) 時(shí)間: 2025-4-1 01:21 作者: 破裂 時(shí)間: 2025-4-1 04:08 作者: Lineage 時(shí)間: 2025-4-1 08:59
,Normal Forms of Two ,:???, Resonant Polynomial Vector Fields,We investigate a property of normal forms of .:???. resonant vector fields, which is related to isochronicity. The problem is reduced to studying polynomial ideals and their varieties which is performed using tools of computational algebra.作者: 圣歌 時(shí)間: 2025-4-1 10:41 作者: Semblance 時(shí)間: 2025-4-1 14:43 作者: 刺耳的聲音 時(shí)間: 2025-4-1 19:03
Higher-Order Linear Differential Systems with Truncated Coefficients,s non-zero Laurent series solutions, and find all such solutions if they exist. Let us also assume we need only a given positive integer number . of initial terms of these series solutions. How many initial terms of the coefficients of the original system should we use to construct what we need?.Sup作者: CURL 時(shí)間: 2025-4-2 02:14
Topology of Families of Implicit Algebraic Surfaces Depending on a Parameter,arising in the family. The algorithm decomposes the real line into finitely many pieces (points and intervals) so that over each interval the shape is invariant, in the sense that the topology of the family can be described by means of the same simplicial complex. As a consequence, by applying known作者: Ischemia 時(shí)間: 2025-4-2 06:49 作者: 熱情的我 時(shí)間: 2025-4-2 07:46
Computations on Simple Games Using ,,models of simple games and develop relational algorithms for solving some game-theoretic basic problems. The algorithms immediately can be transformed into the language of the Computer Algebra system . and, therefore, the system can be used to solve the problems and to visualize the results of the c
