小口啜饮
发表于 2025-3-28 15:21:24
https://doi.org/10.1007/978-1-4020-4362-8Our purpose is to interest people to calculate (co)homology with help of a computer, in particular, (co)homology of Lie algebras and Lie superalgebras.
Folklore
发表于 2025-3-28 19:23:14
http://reply.papertrans.cn/24/2347/234651/234651_42.png
hermitage
发表于 2025-3-29 02:24:35
http://reply.papertrans.cn/24/2347/234651/234651_43.png
尖酸一点
发表于 2025-3-29 03:29:16
A Computer Generated Census of Cusped Hyperbolic 3-ManifoldsIn this paper, we describe how we used a computer to produce a census of cusped hyperbolic 3-manifolds obtained from 5 or fewer ideal tetrahedra. We note some of the techniques involved in writing and debugging the programs and give a brief summary of the results.
北极人
发表于 2025-3-29 10:50:44
http://reply.papertrans.cn/24/2347/234651/234651_45.png
陶器
发表于 2025-3-29 14:20:29
http://reply.papertrans.cn/24/2347/234651/234651_46.png
Offstage
发表于 2025-3-29 15:37:00
Summation of Harmonic Numbersnd ∑.=1 H./(i+m), where m is an integer, are given. A method to automate these results is presented. This is achieved by using Moenck’s algorithm and by exploiting the relationship between polygamma functions and harmonic numbers.
OGLE
发表于 2025-3-29 21:26:53
http://reply.papertrans.cn/24/2347/234651/234651_48.png
AIL
发表于 2025-3-30 03:30:41
Symmetric Matrices with Alternating Blocksioned in the title. It is shown how these matrices can be built from a finite number of small matrices. It is reported how these small matrices, of which the largest is a 25 by 25 matrix, were found using computer algebra systems.
boisterous
发表于 2025-3-30 04:22:16
Application of the REDUCE Computer Algebra System to Stability Analysis of Difference Schemesputer algebra system REDUCE and numerical methods for polynomial roots location. The stability analysis is performed by the Fourier method and polynomial root location is based on the Routh algorithm. Several practical examples show the usefulness of the programs described.