Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gröbner basis method

Some geometric theorems can be stated in coordinate-free form as polynomials in Grassman algebra and can be proven by the anticommutative Gröbner basis method. In this article, we analyze some properties of both sets of hypotheses and conclusions of the theorem.     

Dependence of the H2-H2 Interaction on the Monomer Bond Lengths: Steps Toward an Accurate ab initio Estimate

We compute the vibrational coupling between two H₂ molecules from ab initio quantum chemical calculations of the H₂-H₂ potential carried out at the full configuration interaction level of theory using the atom-centered aug-cc-pVTZ basis set for hydrogen. We compare the full configuration interaction results with those obtained using two variants of coupled cluster theory and find that a fully iterative treatment of connected triples may be required to estimate the H₂-H₂ vibrational coupling accurately using coupled cluster theory.     

Roles of SiH4 and SiF4 in growth and structural changes of poly-Si films

The structural properties of polycrystalline silicon films, prepared by plasma enhanced chemical vapor deposition system, with different flow rates of SiH₄/SiF₄ mixtures at 300 °C were investigated. This study indicates that the low hydrogen coverage on the growing surface, under optimum fluorine radicals, will be leaded to an improvement of crystallized area as compared with case of high hydrogen coverage surface. Moreover, the studies of the role of SiH₄ and SiF₄ radicals show that the SiH₄ radicals are important in the nucleation and growth of grains. However, SiF₄ radicals are effective in the structural change of grain boundaries regions and by this way, in the present system, establish the growth of grains under the dominant 〈1 1 0〉 direction. The stress investigation indicates that addition of high flow rate of SiF₄ in amorphous film, results in the nearly stress free films. Finally, we found that the changes in g-value reflect the changes in the intrinsic compressive and tensile stress in the both polycrystalline and amorphous silicon films.     

Periodic Integrable Systems with Delta-Potentials

In this paper we study root system generalizations of the quantum Bose-gas on the circle with pair-wise delta-function interactions. The underlying symmetry structures are shown to be governed by the associated graded algebra of Cherednik's (suitably filtered) degenerate double affine Hecke algebra, acting by Dunkl-type differential-reflection operators. We use Gutkin's generalization of the equivalence between the impenetrable Bose-gas and the free Fermi-gas to derive the Bethe ansatz equations and the Bethe ansatz eigenfunctions.     

On iteration semigroups of mean-type mappings and invariant means

Summary. Iteration semigroups of weighted quasi-arithmetic mean-type mappings are considered. Existence and uniqueness of a mean which is invariant with respect to a continuous semigroup of mean-type mapping is proved.     

Numerical solutions of the shallow water equations with discontinuous bed topography

A simple scheme is developed for treatment of vertical bed topography in shallow water flows. The effect of the vertical step on flows is modelled with the shallow water equations including local energy loss terms. The bed elevation is denoted with z_b^‐ for the left and z_b⁺ for the right values at each grid point, hence exactly representing a discontinuity in the bed topography. The surface gradient method (SGM) is generalized to reconstruct water depths at cell interfaces involving a vertical step so that the fluxes at the cell interfaces can accurately be calculated with a Riemann solver. The scheme is verified by predicting a surge crossing a step, a tidal flow over a step and dam‐break flows on wet/dry beds. The results have shown good agreements compared with analytical solutions and available experimental data. The scheme is efficient, robust, and may be used for practical flow calculations. Copyright © 2002 John Wiley & Sons, Ltd.     

Effect of trapping centers of luminescent properties of bismuth orthogermanate

Translated from Zhurnal Prikladnoi Spektroskopii, Vol. 54, No. 6, pp. 970–975, June, 1991.