GNAW
发表于 2025-3-23 12:38:31
,Algorithms for computing Gröbner bases of polynomial ideals over various Euclidean rings,of polynomial ideals over a field. A general theorem exhibiting the uniqueness of a reduced Gröbner basis of an ideal, determined by the ordering used on indeterminates and other conditions, is given.
forager
发表于 2025-3-23 16:15:07
http://reply.papertrans.cn/31/3007/300625/300625_12.png
BIAS
发表于 2025-3-23 18:41:00
http://reply.papertrans.cn/31/3007/300625/300625_13.png
Pamphlet
发表于 2025-3-24 00:56:58
http://reply.papertrans.cn/31/3007/300625/300625_14.png
短程旅游
发表于 2025-3-24 04:13:58
http://reply.papertrans.cn/31/3007/300625/300625_15.png
地牢
发表于 2025-3-24 10:07:05
On the application of symbolic computation to nonlinear control theory, number of independent solutions for a system of linear partial differential equations of first order. The algorithms are based on the computation of certain distributions given a set of vector fields. Examples of application to robotics and power system equations are briefly discussed.
aplomb
发表于 2025-3-24 14:06:04
Detecting torsion divisors on curves of genus 2,the curve. This allows one to calculate a bound on the torsion which seems better than the bound derived from Riemann-Weil theory. Finally, we discuss briefly a different approach which is valid for all hy — perelliptic curves, at the cost of a considerable increase in complexity.
A简洁的
发表于 2025-3-24 14:59:33
A pure and really simple initial functional algebraic language,e experimental LISP system in Bath that allows for full environment closures, ways have been discovered in which eager (applicative) evaluation and lazy (normal) evaluation strategies can be applied to computer algebra. The system is demonstrated on some well known sample programs.
MAZE
发表于 2025-3-24 20:33:20
http://reply.papertrans.cn/31/3007/300625/300625_19.png
果仁
发表于 2025-3-25 01:18:58
w symbolic systems can compute automatically: (i) the dimension of the accessible set from a particular state for a nonlinear control system; (ii) the number of independent solutions for a system of linear partial differential equations of first order. The algorithms are based on the computation of