Recent
![Program Correctness: Example](https://writelatex.s3.amazonaws.com/published_ver/14071.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240727T001852Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=72e38837e23f0c7ab872ec5a08ec862c1e72b092e51739f24e9e3ae4589efda7)
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=20240727T001852Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=3f7b70091855aa3a2f046ebb9acd0235227bf770c074f5cf59759a55e48f9eb4)
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=20240727T001852Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=8e966cfadbb599bd11db973f6e4a7a0ddbebbceb48a063e40bf413632c07fd77)
Matikkatreeni
Perusanalyysi.
Rodion Efemov
![Japanese XeLaTeX](https://writelatex.s3.amazonaws.com/published_ver/1967.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240727T001852Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=84cb6aa81c164d91cf1041ec2d03c75100f56694f21158dda88c6204a01b2a1b)
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=20240727T001852Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=835e2d8efbb3c7389a954fe6bda5f251fe486c96bae2bb18920f5240513042f5)
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=20240727T001852Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=475cc7be4f418356825e8b87d42aef0c2cdaa0f32ae367d347dffc90b0223f26)
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=20240727T001852Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=bd919aec4d5b402d4b30f0f2993d08cced41c73d1c108ea410519d1368d70817)
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=20240727T001852Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=7a48fb7d25e9f7d56e3e05cf208f8cbe5c5ceaadcc8ebfeeb1a75e60429de050)
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=20240727T001852Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=17a455fe3be26a7d82619e8b117d13bc3abc4337971db09d14e3d906196414e1)
Math Proof
Proof
Matthew Pelto