Titlebook: Computers and Mathematics; Erich Kaltofen,Stephen M. Watt Conference proceedings 1989 Springer-Verlag New York Inc. 1989 Permutation.algeb

小口啜饮

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

hermitage

尖酸一点

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.

北极人

陶器

Offstage

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

AIL

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

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.