overrule 发表于 2025-3-30 11:57:30
Numerical Investigation of Cosmological Singularitiesii, Khalatnikov, and Lifshitz (BKL)]. The Mixmaster dynamics first appears in spatially homogeneous cosmologies of Bianchi types VIII and IX. A multiple of the spatial scalar curvature acts as a closed potential leading, in the evolution toward the singularity (say τ → ∞), to an (almost certainly) iarbiter 发表于 2025-3-30 15:39:33
Overview of Computer Algebra in Relativitytwo lectures are intended to give an idea of the range of computer algebra tools available to the relativist and the kind of problems to which they can be applied. The first lecture deals with the main general-purpose systems in use today, while the second covers systems and packages more specific t形容词 发表于 2025-3-30 17:18:32
Two-Loop Quantum Gravity with the Computer Algebra Program FORMe . matrix or not. This requires a difficult ‘two-loop’ computation. The extreme complexity of this calculation makes it an excellent testing ground for CA programs. In 1985 Goroff and Sagnotti wrote programs for this task in C and showed that the theory is no longer finite at two loops. In 1992 we关节炎 发表于 2025-3-30 22:05:01
http://reply.papertrans.cn/83/8263/826262/826262_54.png溃烂 发表于 2025-3-31 02:07:59
http://reply.papertrans.cn/83/8263/826262/826262_55.pngchemoprevention 发表于 2025-3-31 07:55:14
http://reply.papertrans.cn/83/8263/826262/826262_56.pngGRAZE 发表于 2025-3-31 09:21:05
Causal Structure and Integrability in Moving Frames with Reducetions. This method can also be applied to more general partial differential equations within the geometrical framework of exterior differential systems. A Reduce package, EDS, has been developed for this formalism, with emphasis on the ability to treat large nonlinear problems. After a brief introdugrudging 发表于 2025-3-31 14:49:02
http://reply.papertrans.cn/83/8263/826262/826262_58.pngParadox 发表于 2025-3-31 19:19:43
http://reply.papertrans.cn/83/8263/826262/826262_59.png孵卵器 发表于 2025-4-1 00:27:25
http://reply.papertrans.cn/83/8263/826262/826262_60.png