Sarcoma
发表于 2025-3-27 00:27:25
https://doi.org/10.1007/978-3-658-22259-8 current level of progress, and an outline of the main methods employed. The emphasis in Sections 1 to 4 will be on the group of rational points on the Jacobian of a hyperelliptic curve. Section 5 will concern itself with the use of the Jacobian to help to determine the rational points on the curve itself.
确定
发表于 2025-3-27 03:05:48
http://reply.papertrans.cn/16/1533/153259/153259_32.png
Invigorate
发表于 2025-3-27 06:02:23
Progress in Mathematicshttp://image.papertrans.cn/a/image/153259.jpg
MILL
发表于 2025-3-27 11:27:20
http://reply.papertrans.cn/16/1533/153259/153259_34.png
小画像
发表于 2025-3-27 13:47:08
On a conjecture of C. Berenstein and A. Yger,.,…,.. Є .[..,..] of degree ≤ . such that .. belongs to the ideal generated by ..,…, .. that and each solution ..,…, .. of the equation.satisfies max deg.. In other words, the growth of the degrees of the polynomial coefficients in the representation problem for an ideal .. is, in general, double-exponential.
aggrieve
发表于 2025-3-27 21:36:48
Some effective methods in pseudo-linear algebra, objects of pseudo-linear algebra (pseudo-derivations, skew polynomials, and pseudo-linear maps), and then outline some fundamental algorithms acting on them. As applications, we are able to uncouple first-order linear systems of differential and (.) difference equations, and in some cases to solve them.
朦胧
发表于 2025-3-27 23:55:36
http://reply.papertrans.cn/16/1533/153259/153259_37.png
含糊
发表于 2025-3-28 05:27:07
A computational method for diophantine approximation,, let us consider the problem of deciding whether a given system of polynomial equalities has a solution. This means that we have to eliminate a single block of quantifiers in a formula with polynomial equations.
他一致
发表于 2025-3-28 09:01:32
http://reply.papertrans.cn/16/1533/153259/153259_39.png
品尝你的人
发表于 2025-3-28 14:25:12
Der Wohlfahrtsstaat und seine Bürgerh is defined as the sum of the local residues over all roots, has invariance properties which guarantee its rational dependence on the coefficients , . In this paper we present symbolic algorithms for evaluating that rational function.