IntegratedExplicit

Navigation page for Blueprint/D5/S3/Weil/Mertens/IntegratedExplicit/ at upstream snapshot 6974dba01daa1a25cc74b87a86c191e95fe2c681.

Contents

• A quadratic cusp remainder for the actual arithmetic kernel
• Local strict positivity of the actual prime kernel
• Original full-kernel certificate source
• Original full-kernel certificate source
• Consumed finite algebra
• Consuming literal-V source
• Original full-kernel certificate source
• Original full-kernel certificate source
• Original full-kernel certificate source
• Actual arithmetic remainder and atomic prefix energy
• Small-window remainder bounds
• A Linear Excursion of the Actual Arithmetic Kernel
• Laplace transform of every actual zero occurrence
• Inclusive Mangoldt ramps and complete Mertens transform
• The actual finite-atom Fourier density is finite
• The genuine spectral endpoint closes the original J identity
• The exact angular resolvent
• The independent inclusive original J identity
• Regularity of the original correlation and spectral test
• A conditional square-root bound for the actual zero kernel
• Complete trivial zero correction
• Unconditional integrated explicit formula