ONTIC: A Knowledge Representation System for Mathematics

Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical facts. Starting with only the axioms of Zermelo-Fraenkel set theory, the Ontic system has been used to build a data base of definitions and lemmas leading to a proof of the Stone representation theorem for Boolean lattices. The Ontic system has been used to explore issues in knowledge representation, automated deduction, and the automatic use of large data bases.

The Effect of Periodic Silane Burst on the Properties of GaN on Si (111) Substrates

The periodic silane burst technique was employed during metalorganic chemical vapor deposition of epitaxial GaN on AlN buffer layers grown on Si (111). Periodic silicon delta doping during growth of both the AlN and GaN layers led to growth of GaN films with decreased tensile stresses and decreased threading dislocation densities, as well as films with improved quality as indicated by x-ray diffraction, micro-Raman spectroscopy, atomic force microscopy, and transmission electron microscopy. The possible mechanism of the reduction of tensile stress and the dislocation density is discussed in the paper.