Recent
![Program Correctness: Example](https://writelatex.s3.amazonaws.com/published_ver/14071.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240727T032519Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=8e87d683088ac92ea146505a68c30f2de170704c3fa314583b5e94d8e629015f)
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=20240727T032519Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=292e7002660ce4305acc883cb2febd034be60d5184b0fdc3e20fdbd2c23633ad)
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=20240727T032519Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=559442ce94aa7c24450ec04385c4baa76cc2e06efaffc16a7ff9f5052caaaeec)
Matikkatreeni
Perusanalyysi.
Rodion Efemov
![Japanese XeLaTeX](https://writelatex.s3.amazonaws.com/published_ver/1967.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240727T032519Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=0d9de9b125f8d46f3990e2f680af635afba1fb17299cf933cda2daf6b037923c)
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=20240727T032519Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=66f8e0f83284c18d0dc1b96ff16e4a728759967a858757e79d122a1588012744)
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=20240727T032519Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=75029c4e6cb8f5663b8b7fdcc07c9257b3ca3500d52ee6fcfaf4e23fb3bedd43)
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=20240727T032519Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=9661c631a82cdf45436f617f41bb918051ed67c40b643e3599d5476ed6100850)
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=20240727T032519Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=df9657d5dc2466a1c0f6de52345fd73f3dcdd9f3dcb532a7a14dd9bb61cf4b5a)
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=20240727T032519Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=d823729c20f9bc62fc42e68f121120b7aff751a703f2945261cad6cad5720307)
Math Proof
Proof
Matthew Pelto