Mathematical Case Studies: the Complex Numbers∗ Rob Arthan [removed] 5 August 2012 Abstract Definitions of the complex numbers and their arithmetic operators in ProofPowerHOL with proofs of some of their elemen
Add to Reading List

Document Date: 2012-08-05 11:01:31

File Size: 126,69 KB

Company

SocialTag

• Exponential function
• Exponentials
• Complex number
• Function
• Differential equation
• Complex normal distribution
• Z-transform
• Mathematics
• Mathematical analysis
• Functions and mappings