Complex Eigenvalues, Orthogonality, and QR Factorization: Analytical Proofs and Numerical Verification حسب Umar Tabbsum (22058780)

"…The work includes both analytical proofs and numerical verification to ensure reproducibility and clarity.…"

Core-Based Smart Sampling Framework: A Theoretical and Experimental Study on Randomized Partitioning for SAT Problems حسب DURGHAM QARALLEH (21904172)

"…We provide theoretical guarantees on complexity reduction and probabilistic completeness, apply the method to SAT instances, and evaluate its performance using experimental Python implementations. The results show that smart sampling drastically reduces the effective complexity of SAT problems and offers new insights into the structure of NP-complete problems.…"