Richard Hol

於是， Hol q ⁡ ( ω ) = g − 1 Hol p ⁡ ( ω ) g . {\displaystyle \operatorname {Hol} _{q}(\omega )=g^{-1}\operatorname {Hol} _{p}(\omega )g.} 特別地， Hol p ⋅ g

GCL是一些大型项目所选择的实现，包括数学工具Maxima、AXIOM（英语：Axiom (computer algebra system)）、HOL88（英语：HOL (proof assistant)）和ACL2。GCL运行在Linux上的十一种架构下，还有FreeBSD、Solaris、Mac OS

978-0-470-28963-1., p.77 维基共享资源上的相关多媒体资源：圣餐堂 NYC-Architecture on Church of the Holy Communion（页面存档备份，存于互联网档案馆） Calvary St. George's Website（页面存档备份，存于互联网档案馆）

亚克库毛之子K'inich Popol Hol继承了王位，他着手重修科潘的核心区域。Popol Hol并非为他的本名，而是基于他特奧蒂瓦坎风格的名字所产生的绰号。 K'inich Popol Hol见证了科潘第一座美索美洲蹴球场的初步建成，而该蹴球场由緋紅金剛鸚鵡装饰

doi:10.1103/RevModPhys.71.1125.  引文使用过时参数coauthors (帮助) Stangl, J.; V. Holý and G. Bauer. Structural properties of self-organized semiconductor nanostructures