標題: Titlebook: Computer Algebra in Scientific Computing; 22nd International W Fran?ois Boulier,Matthew England,Evgenii V. Vorozh Conference proceedings 20 [打印本頁] 作者: 開脫 時間: 2025-3-21 19:51
書目名稱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é)科排名
作者: Critical 時間: 2025-3-21 22:36 作者: FORGO 時間: 2025-3-22 01:11 作者: MILL 時間: 2025-3-22 06:47
Computer Algebra in Scientific Computing978-3-030-60026-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 不能逃避 時間: 2025-3-22 10:40 作者: 藥物 時間: 2025-3-22 15:15
Engine Fuel Distribution System,algebraic geometry. In tropical geometry, tools like the logarithmic transformation coarse grain complex objects, drastically simplifying their analysis. I discuss here how similar concepts can be applied to dynamical systems used in biological modeling. In particular, tropical geometry is a natural作者: 藥物 時間: 2025-3-22 17:20 作者: otic-capsule 時間: 2025-3-22 21:49 作者: 關(guān)心 時間: 2025-3-23 05:03
Engine Fuel Distribution System,cated power series. We discuss the question of what can be learned from equations given in this way about its Laurent solutions, i.e., solutions belonging to the field of formal Laurent series. We are interested in the information about these solutions, that is invariant with respect to possible pro作者: 聯(lián)邦 時間: 2025-3-23 06:46
Systems of Commercial Turbofan Enginesof the solution, is discussed..An implicit difference scheme for the many-body problem that preserves all algebraic integrals of motion is presented based on the midpoint scheme. In this concern, we consider the finite-difference analogue of the Lagrange problem: using the midpoint scheme to find al作者: 預(yù)防注射 時間: 2025-3-23 11:34
Systems of Commercial Turbofan Enginesblem to the product of bivariate polynomials with balanced coefficients, Toom–Cook approach is shown, pointing out some optimizations in order to reduce the computational cost. As a byproduct, univariate sparse Toom–Cook is also sketched. Lastly, some experimental results concerning performance comp作者: bioavailability 時間: 2025-3-23 14:36
https://doi.org/10.1007/978-3-540-73619-6tions within the Basic Polynomial Algebra Subprograms (BPAS) Library. This implementation employs lazy variations of Weierstrass preparation and the factorization of univariate polynomials over power series following Hensel’s lemma. Our implementation is lazy in that power series terms are only comp作者: Employee 時間: 2025-3-23 19:48
Systems of Commercial Turbofan Engines work has, finally, fully validated. Lazard’s method works for any set of input polynomials, but is less efficient than the method of Brown (2001) which, however, fails for input sets that are not “well-oriented”. The present work improves Lazard’s method so that it is as efficient for well-oriented作者: GLARE 時間: 2025-3-24 01:51 作者: 拒絕 時間: 2025-3-24 04:39 作者: micronutrients 時間: 2025-3-24 06:48 作者: irradicable 時間: 2025-3-24 13:53
One-dimensional Scalar Equationsble representations of the . and . partner groups in the laboratory and intrinsic frames, respectively. The required orthonormal bases are labelled by the set of the number of bosons ., seniority ., missing label . denoting the maximal number of boson triplets coupled to the angular momentum ., and 作者: JEER 時間: 2025-3-24 14:55
One-dimensional Scalar Equationsion of the phase of vector fields describing guided-wave propagation in inhomogeneous waveguide structures in the adiabatic approximation. The main result of the work was obtained using the model of adiabatic waveguide modes. Highly analytical solution procedure makes it possible to obtain symbolic 作者: CRACK 時間: 2025-3-24 20:15
The Two-dimensional Burgers Equationsintrinsic complexity bound for the construction of zero-dimensional Gr?bner bases is given. Our complexity bound is in terms of the degree of the input ideal as well as the degrees of its generators. Finally, as an application of the presented method, we exhibit and analyze a (Monte Carlo) probabili作者: 不理會 時間: 2025-3-25 01:23
Plausible Structures for 2-D Euler Systemsstruct the symbolic characteristic function of the system and use it as a starting point for deriving the equations of motion. Stationary solutions of the equations which correspond to permanent rotations of the system are found and their stability in the sense of Lyapunov is investigated. The compu作者: 同音 時間: 2025-3-25 07:15 作者: Serenity 時間: 2025-3-25 08:42
Mathematics and its Applicationslization of a new Scala adapter for the Java Algebra System (JAS). Our design is compared to the existing Scala DSL for the Rings computer algebra library, and shown to be interchangeable with?it. The question whether Scala can be used for library development is raised, and it turns out to be adequa作者: voluble 時間: 2025-3-25 13:42
Standard Systems with Negation, parameter space. Algorithms for finding the spectral abscissa and the distance to instability from any internal point of the stability domain to its boundary for the case of real perturbations are proposed. The treatment is performed in the ideology of analytical algorithm for elimination of variab作者: Incise 時間: 2025-3-25 16:01
https://doi.org/10.1007/978-94-010-3547-7erpolation of a rational function over a field?. from function and function derivative values..We present an interpolation algorithm that can locate and correct . errors at distinct arguments . where at least one of the values or values of a derivative is incorrect. The upper bound . for the number 作者: G-spot 時間: 2025-3-25 23:50 作者: 我就不公正 時間: 2025-3-26 02:00 作者: LIKEN 時間: 2025-3-26 07:47
Engine Fuel Distribution System,is. I discuss here how similar concepts can be applied to dynamical systems used in biological modeling. In particular, tropical geometry is a natural framework for model reduction and for the study of metastability and itinerancy phenomena in complex biochemical networks.作者: noxious 時間: 2025-3-26 10:40
Engine Fuel Distribution System, and, when it is possible, we modify or replace them so as to take advantage of faster primitives. Then, we combine complexity results to derive an overall complexity estimate for each algorithm. In particular, we modify an algorithm due to B?hm et al. and achieve a quasi-optimal runtime.作者: 鞏固 時間: 2025-3-26 14:28 作者: Eructation 時間: 2025-3-26 16:49
Systems of Commercial Turbofan Enginesch, however, fails for input sets that are not “well-oriented”. The present work improves Lazard’s method so that it is as efficient for well-oriented input as Brown’s method, while retaining its infallibility. Justifying these improvements requires novel and non-trivial mathematics.作者: Acetabulum 時間: 2025-3-26 21:07
The Two-dimensional Burgers Equationst ideal as well as the degrees of its generators. Finally, as an application of the presented method, we exhibit and analyze a (Monte Carlo) probabilistic algorithm to compute the degree of an equidimensional ideal.作者: Ambulatory 時間: 2025-3-27 01:43 作者: laceration 時間: 2025-3-27 07:04 作者: Asymptomatic 時間: 2025-3-27 11:43
Mathematics and its Applicationsrary, and shown to be interchangeable with?it. The question whether Scala can be used for library development is raised, and it turns out to be adequately efficient, taking advantage of the new language inline feature for code specialization.作者: Alveoli 時間: 2025-3-27 16:39 作者: laceration 時間: 2025-3-27 17:49
Tropical Geometry of Biological Systems (,),is. I discuss here how similar concepts can be applied to dynamical systems used in biological modeling. In particular, tropical geometry is a natural framework for model reduction and for the study of metastability and itinerancy phenomena in complex biochemical networks.作者: bisphosphonate 時間: 2025-3-28 01:19 作者: crockery 時間: 2025-3-28 04:50
Truncated and Infinite Power Series in the Role of Coefficients of Linear Ordinary Differential Equging to the field of formal Laurent series. We are interested in the information about these solutions, that is invariant with respect to possible prolongations of the truncated series which are the coefficients of the given equation.作者: lethal 時間: 2025-3-28 07:02
,Enhancements to Lazard’s Method for Cylindrical Algebraic Decomposition,ch, however, fails for input sets that are not “well-oriented”. The present work improves Lazard’s method so that it is as efficient for well-oriented input as Brown’s method, while retaining its infallibility. Justifying these improvements requires novel and non-trivial mathematics.作者: 滲入 時間: 2025-3-28 10:56 作者: obsession 時間: 2025-3-28 18:02 作者: 晚間 時間: 2025-3-28 19:34 作者: Heretical 時間: 2025-3-28 23:52
Progress Report on the Scala Algebra System,rary, and shown to be interchangeable with?it. The question whether Scala can be used for library development is raised, and it turns out to be adequately efficient, taking advantage of the new language inline feature for code specialization.作者: 搖擺 時間: 2025-3-29 04:41
,Routh – Hurwitz Stability of a Polynomial Matrix Family. Real Perturbations,boundary for the case of real perturbations are proposed. The treatment is performed in the ideology of analytical algorithm for elimination of variables and localization of zeros of algebraic systems. Some examples are given.作者: 四海為家的人 時間: 2025-3-29 09:33 作者: visceral-fat 時間: 2025-3-29 11:50
Conference proceedings 2020pers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics..作者: 自負的人 時間: 2025-3-29 18:36
Conference proceedings 2020, Austria, in September 2020. The conference was held virtually due to the COVID-19 pandemic..The 34 full papers presented together with 2 invited talks were carefully reviewed and selected from 41 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The pa作者: commodity 時間: 2025-3-29 21:57
https://doi.org/10.1007/978-3-540-73619-6ue problems for a second-order ordinary differential equation how geometric methods allow us to determine the local solution behaviour in the neighbourhood of a singularity including the regularity of the solution. Finally, we show for some simple cases of algebraic singularities how there such an analysis can be performed.作者: clarify 時間: 2025-3-30 03:33
Systems of Commercial Turbofan Enginesn be solved by purely algebraic methods. Two theorems are proved that reduce this problem to the study of the midpoint scheme properties for a system of coupled oscillators. It is shown that in the case when the bodies form a regular triangle, the approximate solution inherits the periodicity property of the exact Lagrange solution.作者: Monocle 時間: 2025-3-30 06:27
https://doi.org/10.1007/978-3-540-73619-6 terms. This design extends into an “ancestry” of power series whereby power series created from the result of arithmetic or Weierstrass preparation automatically hold on to enough information to dynamically update themselves to higher precision using information from their “parents”.作者: Pigeon 時間: 2025-3-30 08:39 作者: blackout 時間: 2025-3-30 16:17
Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (,),ue problems for a second-order ordinary differential equation how geometric methods allow us to determine the local solution behaviour in the neighbourhood of a singularity including the regularity of the solution. Finally, we show for some simple cases of algebraic singularities how there such an analysis can be performed.作者: 絆住 時間: 2025-3-30 18:37
On Periodic Approximate Solutions of the Three-Body Problem Found by Conservative Difference Schemen be solved by purely algebraic methods. Two theorems are proved that reduce this problem to the study of the midpoint scheme properties for a system of coupled oscillators. It is shown that in the case when the bodies form a regular triangle, the approximate solution inherits the periodicity property of the exact Lagrange solution.作者: Prophylaxis 時間: 2025-3-30 22:03 作者: 白楊魚 時間: 2025-3-31 02:49
,The GPGCD Algorithm with the Bézout Matrix,than those computed by the original algorithm. They also show that the computing time of the proposed algorithm is smaller than that of the SNTLS algorithm, which also uses the Bézout matrix, with a smaller amount of perturbations of the given polynomials and a?higher stability.作者: 一小塊 時間: 2025-3-31 06:47
0302-9743 ating and solving ordinary differential equations, applications of CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics..978-3-030-60025-9978-3-030-60026-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 盟軍 時間: 2025-3-31 09:22 作者: 搏斗 時間: 2025-3-31 17:24 作者: Pituitary-Gland 時間: 2025-3-31 19:42
One-dimensional Scalar Equationsor symbolic-numerical expressions for vector fields of guided modes. Making use of advanced computer algebra systems, we describe fundamental properties of adiabatic modes in symbolic form. Numerical results are also obtained by means of computer algebra systems.作者: 抱負 時間: 2025-3-31 22:07
Tropical Geometry of Biological Systems (,),algebraic geometry. In tropical geometry, tools like the logarithmic transformation coarse grain complex objects, drastically simplifying their analysis. I discuss here how similar concepts can be applied to dynamical systems used in biological modeling. In particular, tropical geometry is a natural作者: 做事過頭 時間: 2025-4-1 03:38 作者: eczema 時間: 2025-4-1 07:48
On the Complexity of Computing Integral Bases of Function Fields,aic function field . and give new complexity bounds for three known algorithms dealing with this problem. For each algorithm, we study its subroutines and, when it is possible, we modify or replace them so as to take advantage of faster primitives. Then, we combine complexity results to derive an ov作者: Habituate 時間: 2025-4-1 12:15
Truncated and Infinite Power Series in the Role of Coefficients of Linear Ordinary Differential Equcated power series. We discuss the question of what can be learned from equations given in this way about its Laurent solutions, i.e., solutions belonging to the field of formal Laurent series. We are interested in the information about these solutions, that is invariant with respect to possible pro作者: blight 時間: 2025-4-1 15:58
On Periodic Approximate Solutions of the Three-Body Problem Found by Conservative Difference Schemeof the solution, is discussed..An implicit difference scheme for the many-body problem that preserves all algebraic integrals of motion is presented based on the midpoint scheme. In this concern, we consider the finite-difference analogue of the Lagrange problem: using the midpoint scheme to find al
