The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Models of learning and the polar decomposition of bounded linear operators.”

Inverse Trigonometric Functions Arcsec and Arccosec

Bing Xie, Xiquan Liang, Fuguo Ge (2008)

Formalized Mathematics

Similarity:

This article describes definitions of inverse trigonometric functions arcsec and arccosec, as well as their main properties.MML identifier: SINCOS10, version: 7.8.10 4.100.1011