Recent
![Program Correctness: Example](https://writelatex.s3.amazonaws.com/published_ver/14071.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240727T012148Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=887fe099a49bdaa094b218772a5f1fd69dffa7f8d0c2ee2ae81dd1a17995a1b2)
Program Correctness: Example
An example that shows how to write proof outlines in LaTeX.
Hans-Dieter Hiep
![IMT Test Flight](https://writelatex.s3.amazonaws.com/published_ver/5926.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240727T012148Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=71a0c221fa77f4263351e772bbc5a3162039c90757103b0996f0d09014dd3398)
IMT Test Flight
Proof 1
Rafael Díaz de Leon
![Matikkatreeni](https://writelatex.s3.amazonaws.com/published_ver/3764.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240727T012148Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=d05e6379d38d8a15a620d7e903f260384ffd81f20def6a18fbb74c87efbf122f)
Matikkatreeni
Perusanalyysi.
Rodion Efemov
![Japanese XeLaTeX](https://writelatex.s3.amazonaws.com/published_ver/1967.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240727T012148Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=a69a0a34b91b49d6da9cab3547b65f559a5876ee6e1fb4401e72f86810f0223a)
Japanese XeLaTeX
Japanese XeLaTeX
osskil
![Convergence of Power Methods](https://writelatex.s3.amazonaws.com/published_ver/1407.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240727T012148Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=84cf03e3730132ee4b9f96e3c1f5d881b70434be8817a2ade1bf68c580c05cb7)
Convergence of Power Methods
see title
Qi Lei
![Math 240 - Proof 2](https://writelatex.s3.amazonaws.com/published_ver/1379.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240727T012148Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=86a454f112a5885f84d86007f865ca2360e3d3b984f3c4314bc99fb6ab3b3fee)
Math 240 - Proof 2
This is a proof for the following claim:
Prove that if n is a positive integer, then n is odd if and only if 5n+6 is odd.
Jose Delgado
![Spacetime diagrams for uniformly accelerating observers](https://writelatex.s3.amazonaws.com/published_ver/1338.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240727T012148Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=28c9fe480fd0ac32508914ea57142a711ae03d041330f9919f65d93509cedd02)
Spacetime diagrams for uniformly accelerating observers
Use TikZ/PGF to programmatically draw spacetime diagrams for uniformly accelerated observers. Set the acceleration, initial conditions, and other parameters.
Questions/Comments to Robert McNees at rmcnees@luc.edu, http://jacobi.luc.edu January 2015
Robert McNees
![Complex Numbers](https://writelatex.s3.amazonaws.com/published_ver/1278.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240727T012148Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=b7db7c389afd99fbccd160e653f6a7a6c6fbed48ead833777c91f130da6a88ab)
Complex Numbers
Simple problem set involving complex numbers.
Junha Park
![Math Proof](https://writelatex.s3.amazonaws.com/published_ver/1758.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240727T012148Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=ddc9e6b77c1a7cee9bb48b2f84e18c6d425735ca93de4a10fd487665514f7283)
Math Proof
Proof
Matthew Pelto