Numerical verification for the (1+1) EA on noisy linear functions with Uniform(0,1) weights

This is the first archived release of the SageMath notebook that verifies numerical bounds used in the drift analysis of the (1+1) EA on noisy linear functions with i.i.d. Uniform(0,1) weights. Contents: notebooks/ contains the verification notebook. results/ contains exported numerical results (results.json) produced by the notebook. To reproduce: run the notebook in a SageMath Jupyter environment.