小歌剧
发表于 2025-3-23 11:16:32
http://reply.papertrans.cn/24/2335/233423/233423_11.png
细微差别
发表于 2025-3-23 15:09:46
Efficient Preprocessing Methods for Quantifier Elimination,d a simple check for non-vanishing of denominators in substitutions. Yet we present examples of quantified formulas which can be reduced by our preprocessing method to problems solvable by current quantifier elimination packages, whereas the original formulas had been inaccessible to those.
Fulsome
发表于 2025-3-23 21:36:14
Numerical Study of Stability Domains of Hamiltonian Equation Solutions,rch has grown recently due to the fact that the existence of central configurations of the many-body problem is eventually reduced to the solution of the systems of nonlinear algebraic-irrational equations, which can be solved only by the computer algebra methods, thanks to exceptional properties of them.
他日关税重重
发表于 2025-3-24 02:14:03
Numeric-Symbolic Computations in the Study of Central Configurations in the Planar Newtonian Four-Bions in the form of antiparallelogram. We have shown also that central configuration may be deformed continuously by means of changing masses of the bodies and found two-parametric family of central configurations in the neighborhood of the square.
知识
发表于 2025-3-24 04:54:39
A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in Magnetic Fd on the parameter, their derivatives with respect to the parameter and matrix elements is presented. The efficiency and accuracy of the algorithm and of the numerical scheme derived are confirmed by computations of eigenenergies and eigenfunctions for the low-excited states of a hydrogen atom in the uniform magnetic field.
PALSY
发表于 2025-3-24 08:39:25
http://reply.papertrans.cn/24/2335/233423/233423_16.png
轻浮女
发表于 2025-3-24 11:12:15
Grundbegriffe des Schienenverkehrs,ser-specified high precision) represented by twofold Fourier polynomials. Besides, the development of so-called perturbation function is not required (essential fact). These solutions are valid in principle for infinite time interval unlike known classical solutions of such problem. Such solutions are obtained for the first time.
invert
发表于 2025-3-24 15:40:08
http://reply.papertrans.cn/24/2335/233423/233423_18.png
periodontitis
发表于 2025-3-24 19:53:19
Conference proceedings 2006gh reviewing process. The collection of papers included in the proceedings covers not only various expanding applications of computer algebra to scienti?c computing but also the computer algebra systems themselves and the CA algorithms. The eight earlier CASC conferences, CASC 1998, CASC 1999, CASC
汇总
发表于 2025-3-24 23:57:22
Comparison Maps for Relatively Free Resolutions,ure. In case that . is in addition commutative then (.,. .) is shown to be a commutative DGA-algebra with the product . .=.*(.⊗.) (* is the shuffle product in .(.)). Furthermore, . and . are algebra maps. We give an example in order to illustrate the main results of this paper.