0
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 2 hours ago. based on code collected 1 day ago.
Nov 05, 2025 — Nov 05, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Section 1554 updated More... about 2 years ago
Section 1554 updated More... about 2 years ago
1554. (THEORY and FEATURE) Analysis of Matiyasevich Python programs for Riemann Hypothesis 2 - integer division clause - related to 629,751,1191,1217,1354,1357,1443,1459,1477,1552,1553 to all sections on Riemann Zeta Function, Set partitions, Computational geometry, Program analysis/Software analytics/Scheduler Analytics,Master Theorem,Busy Beaver Function - 3 October 2024 More... about 2 years ago
------------------------------------------------------------------------------------------------------------------------------- 1554. (THEORY and FEATURE) Analysis of Matiyasevich Python programs for Riemann Hypothesis 2 - integer division clause - related to 629,751,1191,1217,1354,1357,1443,1459,1477,1552,1553 to all sections on Riemann Zeta Function, Set partitions, Computational geometry, Program analysis/Software analytics/Scheduler Analytics,Master Theorem,Busy Beaver Function - 3 October 2024 ------------------------------------------------------------------------------------------------------------------------------- 1554.1 python-src/MatiyasevichRH.py has been updated to import sys. New variables lhsrhsratio,maxiterations and integerdivision have been introduced. Number of maximum digits printed for a large integer has been set to 100000. 1554.2 While loop has been made to exit after maxiterations irrespective of truth of Riemann hypothesis and ratio of LHS to RHS of while loop for all iterations is plotted as a curve. This ratio is quite crucial as its fluctuation pattern might hold the secret to Riemann Hypothesis - in other words, truth of centuries old Riemann hypothesis has been reduced to one line of while loop inequality condition. 1554.3 New if-else clause based on boolean value of integerdivision variable has been introduced to choose between integer division operator // and normal division operator / while computing the quantity n*g/q. Integer cast in gcd() has been removed. 1554.4 Two executions of MatiyasevichRH.py has been performed based on integerdivision=True and integerdivision=False. For integerdivision=False while loop exits after 50 iterations and following are the logs and while loop LHS-RHS graph plots for normal division operator: python-src/testlogs/MatiyasevichRH.LHS.3October2024.jpg python-src/testlogs/MatiyasevichRH.RHS.3October2024.jpg python-src/testlogs/MatiyasevichRH.log.normaldivision.3October2024 For integerdivision=True, while loop does not terminate and grows phenomenally and the LHS-RHS ratio of while loop has a curious fractal pattern as shown by logs and LHS-RHS ratio graph plots (while loop exits after maxiterations): python-src/testlogs/MatiyasevichRH.LHSRHSRatio.3October2024.jpg python-src/testlogs/MatiyasevichRH.log.integerdivision.3October2024 1554.5 Integer division operator // probably has rectified the termination problem in 1552. More... about 2 years ago
Section 1550 updated More... about 2 years ago
Section 1548 updated More... about 2 years ago
Section 1553 updated More... about 2 years ago
+1553. (THEORY and FEATURE) Analysis of Matiyasevich Python programs for Riemann Hypothesis - Growth rate of while loop inequality - related to 629,751,1191,1217,1354,1357,1443,1459,1477,1552 to all sections on Riemann Zeta Function, Set partitions, Computational geometry, Program analysis/Software analytics/Scheduler Analytics,Master Theorem,Busy Beaver Function - 30 September 2024 More... about 2 years ago
------------------------------------------------------------------------------------------------------------------------------- 1553. (THEORY and FEATURE) Analysis of Matiyasevich Python programs for Riemann Hypothesis - Growth rate of while loop inequality - related to 629,751,1191,1217,1354,1357,1443,1459,1477,1552 to all sections on Riemann Zeta Function, Set partitions, Computational geometry, Program analysis/Software analytics/Scheduler Analytics,Master Theorem,Busy Beaver Function - 30 September 2024 ------------------------------------------------------------------------------------------------------------------------------- 1553.1 Python program 1 in reference 1552.14 - [Yu.Matiyasevich] has been added to NeuronRain AstroInfer repositories and is analyzed for the growth rate of LHS (p^2*(m-f0)) and RHS (f3) of while loop expression by additional computation. 1553.2 LHS of the while loop is complex compared to RHS and the values of LHS and RHS are plotted in matplotlib. 1553.3 Termination of while loop implies Riemann Hypothesis is False - Line g = gcd(n,q) has been changed to g = gcd(n,int(q)) due to python interpreter datatype cast error. 1553.4 An example execution of above program terminates after 52 iterations and growth of the while loop inequality LHS-RHS are captured in testlogs/MatiyasevichRH.LHS.30September2024.jpg , testlogs/MatiyasevichRH.log.30September2024 , testlogs/MatiyasevichRH.RHS.30September2024.jpg 1553.5 Termination of the loop after 50 iterations could be due to floating point precision errors - but the plots and logs show how fast the LHS and RHS of while loop grow (exponential - possibly in geometric progression) and there is a sharp threshold spike in both LHS and RHS after 50 iterations. 1553.6 Due to extraordinary growth of the while loop inequality in both sides, high precision Big decimal datatypes are mandatory further investigations are necessary to statically and dynamically analyze above program through available WCET tools including Heptane (1552.20) and aiT. More... about 2 years ago
Section 1552 updated More... about 2 years ago
Section 1552 updated More... about 2 years ago
Section 1552 updated More... about 2 years ago
Section 1552 updated More... about 2 years ago
Section 400 updated More... about 2 years ago
Section 1552 updated More... about 2 years ago
Section 1552 updated More... about 2 years ago
Section 1192 updated More... about 2 years ago
Section 1552 updated More... about 2 years ago
Section 1549 updated More... about 2 years ago
Python programs and register machine that never halt iff Riemann Hypothesis is True More... about 2 years ago
Section 1552 updated More... about 2 years ago
Updated NeuronRain_Research_Celestial_Pattern_Mining.txt More... about 2 years ago
Updated BestPractices.txt More... about 2 years ago
Section 1552 updated More... about 2 years ago
Section 1552 updated More... about 2 years ago
Section 1552 updated More... about 2 years ago
Section 1552 updated More... about 2 years ago
Corrections for Blum-Shub-Smale model More... about 2 years ago
Section 1552 updated More... about 2 years ago
index.rst updated for https://astroinfer.readthedocs.io/en/latest/ More... about 2 years ago