✦ LIBER ✦

Geometric Derivation of Certain Trigonometric Formulae

✍ Scribed by L. E. Dickson

Book ID: 123792468
Publisher: Mathematical Association of America
Year: 1902
Tongue: English
Weight: 154 KB
Volume: 9
Category: Article
ISSN: 0002-9890
DOI: 10.2307/2967670

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

GEOMETRIC DERIVATIONS OF SOME TRIGONOMET

GEOMETRIC DERIVATIONS OF SOME TRIGONOMETRIC FORMULAE

✍ D. Mazkewitsch 📂 Article 📅 1958 🏛 School Science and Mathematics Association 🌐 English ⚖ 65 KB

GEOMETRIC PROOFS OF CERTAIN TRIGONOMETRI

GEOMETRIC PROOFS OF CERTAIN TRIGONOMETRIC RELATIONS

✍ Benjamin Braverman 📂 Article 📅 1933 🏛 School Science and Mathematics Association 🌐 English ⚖ 119 KB

On the automatic derivation of a set of

On the automatic derivation of a set of geometric formulae

✍ Xiao-Shan Gao; Ding-Kang Wang 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 565 KB

Derivation of Characteristic Formulae

✍ Markus Müller-Olm 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 694 KB

This paper shows how modal mu-calculus formulae characterizing nite-state processes up to strong or weak bisimulation can be derived directly from the well-known greatest xpoint c haracterizations of the bisimulation relations. Our derivation simpli es earlier proofs for the strong bisimulation case

Automated derivation of structural formu

Automated derivation of structural formulae

✍ J.D. Renton 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 756 KB

Appendix on Derivation of Formulae

✍ J. E. Reeve 📂 Article 📅 1959 🏛 John Wiley and Sons 🌐 English ⚖ 198 KB