The goal of this project is to formalize the Characteristic Set Method (also known as Wu's Method) in the Lean 4 theorem prover. This project establishes the mathematical infrastructure for algebraic ...
The program runs each method 100 times to measure average execution time and compares the performance against expected computational complexity. Cramer's Rule computes each variable xᵢ as the ratio ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results