標(biāo)題: Titlebook: Computer Algebra in Scientific Computing; 24th International W Fran?ois Boulier,Matthew England,Evgenii V. Vorozh Conference proceedings 20 [打印本頁(yè)] 作者: 側(cè)面上下 時(shí)間: 2025-3-21 17:30
書目名稱Computer Algebra in Scientific Computing影響因子(影響力)
書目名稱Computer Algebra in Scientific Computing影響因子(影響力)學(xué)科排名
書目名稱Computer Algebra in Scientific Computing網(wǎng)絡(luò)公開(kāi)度
書目名稱Computer Algebra in Scientific Computing網(wǎng)絡(luò)公開(kāi)度學(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é)科排名
作者: 細(xì)頸瓶 時(shí)間: 2025-3-21 23:42 作者: 公社 時(shí)間: 2025-3-22 03:36
,Computing the?Integer Hull of?Convex Polyhedral Sets,nd in the C programming language. Our implementation focuses on the two-dimensional and three-dimensional cases. We show that our algorithm computes the integer hull efficiently and can deal with polyhedral sets with large numbers of integer points.作者: 手段 時(shí)間: 2025-3-22 07:17
,A Comparison of?Algorithms for?Proving Positivity of?Linearly Recurrent Sequences, of .-finite sequences, i.e., sequences satisfying a linear recurrence with constant coefficients, this is only known to be decidable for orders up?to five. In this paper, we discuss several methods for proving positivity of .-finite sequences and compare their effectiveness on input from the Online Encyclopedia of Integer Sequences (OEIS).作者: grovel 時(shí)間: 2025-3-22 11:09
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/233419.jpg作者: 微不足道 時(shí)間: 2025-3-22 15:21 作者: 微不足道 時(shí)間: 2025-3-22 20:00 作者: 大吃大喝 時(shí)間: 2025-3-22 22:33
https://doi.org/10.1007/978-3-319-64218-5he existence of solutions of systems of nonlinear equations, the existence of fixed points of continuous functions as well as the existence of periodic orbits of nonlinear mappings and similarly, fixed points of the Poincaré map on a surface of section. Based on the corresponding criteria for the ex作者: 為敵 時(shí)間: 2025-3-23 04:54 作者: Shuttle 時(shí)間: 2025-3-23 09:22 作者: Interstellar 時(shí)間: 2025-3-23 11:31 作者: 得罪人 時(shí)間: 2025-3-23 15:21
https://doi.org/10.1007/978-3-319-64218-5cessing of discrete data, such as strings or graphs. Concerning continuous data, already Alan Turing had applied “his” machines to formalize and study the processing of real numbers: an aspect of his oeuvre that we transform from theory to practice..The present essay surveys the state of the art and作者: overshadow 時(shí)間: 2025-3-23 20:11
Giuseppe Lami,Fabrizio Fabbrini,Mario Fusaniordinary representation theory. We provide an algorithm to compute the equivariant Hilbert series of automorphisms acting on canonical rings of projective curves, using the formulas of Chevalley and Weil. Further, we apply our results on Fermat curves, determine explicitly the respective equivariant作者: 有害處 時(shí)間: 2025-3-23 23:21 作者: Mendicant 時(shí)間: 2025-3-24 06:19 作者: 厚顏無(wú)恥 時(shí)間: 2025-3-24 09:17 作者: AVANT 時(shí)間: 2025-3-24 12:04
https://doi.org/10.1007/978-3-030-85521-5f two- and one-dimensional invariant manifolds are presented, and the manifolds themselves are found with the use of computer algebra tools. From a mechanical point of view, these solutions correspond to equilibrium positions of the system. Their instability in the first approximation is proved.作者: Angiogenesis 時(shí)間: 2025-3-24 18:20 作者: slow-wave-sleep 時(shí)間: 2025-3-24 19:35
Murat Yilmaz,Paul Clarke,Michael Reineridered. Two approaches are discussed: the one is reducing the problem to a constrained optimization problem in . with a quartic objective function, and the other one is connected with the singular value analysis for an appropriate matrix in .. Several examples are presented including classes of matr作者: NAUT 時(shí)間: 2025-3-25 00:15
Jan Pries-Heje,J?rn Johansen,Morten Korsaations is rare in computer algebra. Therefore, recently, computer algebra models have been combined with Gaussian processes, a regression model in machine learning, to describe the behavior of certain differential equations under data. While it was possible to describe polynomial boundary conditions 作者: 喃喃而言 時(shí)間: 2025-3-25 04:39 作者: indifferent 時(shí)間: 2025-3-25 11:07 作者: 昏暗 時(shí)間: 2025-3-25 12:10
Alexander Ziegler,Thomas Peisl,Alev Atesequations of motion cannot be written in symbolic form, only in some special case it is integrable. A very interesting peculiarity of the system is an existence of a state of dynamical equilibrium when the oscillating body of smaller mass balances a body of larger mass. This state is described by pe作者: CHOKE 時(shí)間: 2025-3-25 16:21 作者: DIKE 時(shí)間: 2025-3-25 21:37 作者: 沙漠 時(shí)間: 2025-3-26 03:13 作者: 儲(chǔ)備 時(shí)間: 2025-3-26 07:55 作者: 英寸 時(shí)間: 2025-3-26 09:53 作者: innate 時(shí)間: 2025-3-26 14:41
https://doi.org/10.1007/978-3-030-85521-5f two- and one-dimensional invariant manifolds are presented, and the manifolds themselves are found with the use of computer algebra tools. From a mechanical point of view, these solutions correspond to equilibrium positions of the system. Their instability in the first approximation is proved.作者: metropolitan 時(shí)間: 2025-3-26 19:13
Justus Hofmeister,Dietmar Kinalzyknd in the C programming language. Our implementation focuses on the two-dimensional and three-dimensional cases. We show that our algorithm computes the integer hull efficiently and can deal with polyhedral sets with large numbers of integer points.作者: Cubicle 時(shí)間: 2025-3-26 23:39 作者: Itinerant 時(shí)間: 2025-3-27 03:19 作者: deviate 時(shí)間: 2025-3-27 07:20 作者: 外觀 時(shí)間: 2025-3-27 11:04
,Computer Science for?Continuous Data, envisions the future of Computer Science for continuous data: natively, beyond brute-force discretization, based on and guided by and extending classical discrete Computer Science, as bridge between Pure and Applied Mathematics.作者: Incommensurate 時(shí)間: 2025-3-27 17:41 作者: agonist 時(shí)間: 2025-3-27 18:31
,On Boundary Conditions Parametrized by?Analytic Functions,in this context, we extend these models to analytic boundary conditions. Additionally, we describe the necessary algorithms for Gr?bner and Janet bases of Weyl algebras with certain analytic coefficients. Using these algorithms, we provide examples of divergence-free flow in domains bounded by analytic functions and adapted to observations.作者: 傾聽(tīng) 時(shí)間: 2025-3-28 01:52
,New Heuristic to?Choose a?Cylindrical Algebraic Decomposition Variable Ordering Motivated by?Comple. The best of these new heuristics chooses orderings that lead to timings on average 17% slower than the virtual-best: an improvement compared to the prior state-of-the-art which achieved timings 25% slower.作者: prediabetes 時(shí)間: 2025-3-28 02:52 作者: dilute 時(shí)間: 2025-3-28 07:50
,Locating the?Closest Singularity in?a?Polynomial Homotopy,series expansions of the solution paths defined by the homotopy. For numerical stability, we recondition the homotopy. To compute the coefficients of the series we propose the quaternion Fourier transform. We locate the closest singularity computing at a regular solution, avoiding numerical difficulties near a singularity.作者: 該得 時(shí)間: 2025-3-28 12:04 作者: Priapism 時(shí)間: 2025-3-28 18:01 作者: 剝削 時(shí)間: 2025-3-28 22:05
Hermann Maurer,Bilal Zaka,Sonja Eisenbergerimplementation of the algorithm and procedures in Wolfram Mathematica. We present benchmark calculations of energy spectrum, quadrupole moment and the reduced upwards transition probability .(.2) for the nucleus .Os.作者: BROTH 時(shí)間: 2025-3-29 02:47
Murat Yilmaz,Paul Clarke,Michael Reinerd the other one is connected with the singular value analysis for an appropriate matrix in .. Several examples are presented including classes of matrices where the distance in question can be explicitly expressed via the matrix eigenvalues.作者: 建筑師 時(shí)間: 2025-3-29 03:35 作者: RADE 時(shí)間: 2025-3-29 09:28 作者: 睨視 時(shí)間: 2025-3-29 13:12 作者: Wallow 時(shí)間: 2025-3-29 15:45
Passively Acquiring Information Must End to guarantee new implementations of such algorithms are chordality-preserving. In particular, the technique of dynamic checking is introduced to ensure that the modifications also keep the computational efficiency. Experimental results with polynomial sets from biological systems are also reported.作者: Feature 時(shí)間: 2025-3-29 21:53
Passively Acquiring Information Must Endy of our algorithms, we combine them in a prototype root clustering algorithm. For computing clusters of roots of polynomials that can be evaluated fast, our implementation competes advantageously with user’s choice for root finding,?..作者: Stable-Angina 時(shí)間: 2025-3-30 01:29 作者: sundowning 時(shí)間: 2025-3-30 05:17
,Accelerated Subdivision for?Clustering Roots of?Polynomials Given by?Evaluation Oracles,y of our algorithms, we combine them in a prototype root clustering algorithm. For computing clusters of roots of polynomials that can be evaluated fast, our implementation competes advantageously with user’s choice for root finding,?..作者: Panther 時(shí)間: 2025-3-30 11:32 作者: 防銹 時(shí)間: 2025-3-30 13:40 作者: SEEK 時(shí)間: 2025-3-30 16:57 作者: SYN 時(shí)間: 2025-3-30 23:48 作者: stratum-corneum 時(shí)間: 2025-3-31 03:35 作者: 殘酷的地方 時(shí)間: 2025-3-31 06:59 作者: OVERT 時(shí)間: 2025-3-31 10:57 作者: indecipherable 時(shí)間: 2025-3-31 15:40 作者: 構(gòu)成 時(shí)間: 2025-3-31 20:04 作者: 鬼魂 時(shí)間: 2025-3-31 22:50 作者: Intellectual 時(shí)間: 2025-4-1 02:31
https://doi.org/10.1007/978-3-319-64218-5relative equilibrium positions of the gyrostat, when the vector of the gyrostatic moment of the system is located in one of the planes formed by the principal central axes of inertia. The research results were obtained in a symbolic (analytic) form on a computer and by means of a numerical experiment with the graphic interpretation.作者: 加花粗鄙人 時(shí)間: 2025-4-1 09:36
,Survey on?Generalizations of?the?Intermediate Value Theorem and?Applications,nts of continuous functions are given. These bisection methods require only the algebraic signs of the function values and are of major importance for studying and tackling problems with imprecise information.作者: FELON 時(shí)間: 2025-4-1 13:39 作者: conception 時(shí)間: 2025-4-1 15:27
,Survey on?Generalizations of?the?Intermediate Value Theorem and?Applications,he existence of solutions of systems of nonlinear equations, the existence of fixed points of continuous functions as well as the existence of periodic orbits of nonlinear mappings and similarly, fixed points of the Poincaré map on a surface of section. Based on the corresponding criteria for the ex作者: 進(jìn)入 時(shí)間: 2025-4-1 19:03
,On Truncated Series Involved in?Exponential-Logarithmic Solutions of?Truncated LODEs,in the form of series, for which only a finite number of initial terms is known. Each solution involves a finite set of power series, for which the maximum possible number of terms is calculated. Below, these algorithms are supplemented with the option to confirm the impossibility of obtaining a lar
