source-evidence.json

back to table · edit · history · where entries came from · files · download

4210 bytes, as of the version from 2026-10-29 08:32 (current). Recorded here, not run.

{
  "skill_manifest": "agents/runs/20261029T075206Z-build-skills/manifest.json",
  "sources": [
    {
      "file": "dowker.pdf",
      "url": "https://arxiv.org/pdf/hep-th/9312080",
      "sha256": "9691784d17ef011880822cfd192b77ab328df14ba0b7f3eabfb0509bd9ef0396",
      "checked": "Section 2, equations (1)-(3), (7)-(8), and printed page 7"
    },
    {
      "file": "cunha-freitas.html",
      "url": "https://arxiv.org/html/2404.12114v1",
      "sha256": "8ad8b96c979734f55bbf0a0d915b2723afce54b92116f8ea3fabd1e71f1a79eb",
      "checked": "Theorems 2.7, 2.8 and 3.2; Appendix A"
    }
  ],
  "links": {
    "T603": {
      "canonical": [
        "<link rel=\"canonical\" href=\"https://numberdb.org/T603\">"
      ],
      "title": [
        "\n  Dirichlet spectral determinants of Laplacians on hemispheres \n - NumberDB"
      ],
      "long_url": "https://numberdb.org/Dirichlet_spectral_determinants_of_Laplacians_on_hemispheres",
      "is_draft_in_page": false
    },
    "T595": {
      "canonical": [
        "<link rel=\"canonical\" href=\"https://numberdb.org/T595\">"
      ],
      "title": [
        "\n  Spectral determinants of Laplacians on spheres \n - NumberDB"
      ],
      "long_url": "https://numberdb.org/Spectral_determinants_of_Laplacians_on_spheres",
      "is_draft_in_page": false
    },
    "Leading constants $c_k$ of the moments of the Riemann zeta function": "Leading_constants_of_the_moments_of_the_Riemann_zeta_function",
    "Gram points of the Riemann zeta function": "Gram_points_of_the_Riemann_zeta_function",
    "Zeros of the derivative $\\zeta'(s)$ of the Riemann zeta function": "Zeros_of_the_derivative_of_the_Riemann_zeta_function",
    "Zeros of the Riemann zeta function": "Zeros_of_the_Riemann_zeta_function",
    "Laurent series coefficients of the logarithmic derivative  of the completed Riemann zeta function $\\xi(s)$ at $s=1$": "Laurent_coefficients_of_logarithmic_derivative_of_completed_Riemann_zeta_function_at_1",
    "Laurent series coefficients of the logarithmic derivative  of the Riemann zeta function at 1": "Laurent_coefficients_of_logarithmic_derivative_of_Riemann_zeta_function_at_1",
    "Taylor coefficients of the completed Riemann zeta function at 2": "Taylor_coefficients_of_completed_Riemann_zeta_function_at_2",
    "Arithmetic factors $a_k$ in the moments of the Riemann zeta function": "Arithmetic_factors_in_the_moments_of_the_Riemann_zeta_function",
    "Values of the logarithmic derivative $\\zeta'(s)/\\zeta(s)$ of the Riemann zeta function at rational numbers": "Values_of_the_logarithmic_derivative_of_the_Riemann_zeta_function_at_rational_numbers",
    "Taylor coefficients of the completed Riemann zeta function at 1/2": "Taylor_coefficients_of_completed_Riemann_zeta_function_at_1_over_2",
    "Values of the derivative $\\zeta'(s)$ of the Riemann zeta function at rational numbers": "Values_of_the_derivative_of_the_Riemann_zeta_function_at_rational_numbers",
    "Hardy Z-function derivatives at Riemann zeta zeros": "Hardy_Z-function_derivatives_at_Riemann_zeta_zeros",
    "Values of the Riemann zeta function at rational numbers": "Values_of_the_Riemann_zeta_function_at_rational_numbers",
    "Neumann spectral determinants of homogeneous oscillators": "Neumann_spectral_determinants_of_homogeneous_oscillators"
  },
  "tags": {
    "special values": [
      {
        "name": "special values",
        "url": "special+values"
      }
    ],
    "analysis": [
      {
        "name": "analysis",
        "url": "analysis"
      },
      {
        "name": "nonstandard analysis",
        "url": "nonstandard+analysis"
      },
      {
        "name": "functional analysis",
        "url": "functional+analysis"
      }
    ],
    "functional analysis": [
      {
        "name": "functional analysis",
        "url": "functional+analysis"
      }
    ],
    "spectral geometry": []
  },
  "downloaded_generators": {
    "sphere_generate.py": "7775c5a3565beff83da001503c5d3a2605db61d5ddac8caa4f75f78cd1d3c051",
    "dirichlet_generate.py": "42226aa3ee26dd9330c1970dbbf2a244403674381ba639d0e4b4dd88fdb2b381",
    "dirichlet_independent.py": "7c2204fed805a9fc0c7601adf2a22e27d56c22b8739a4cd4578f3bf6da8a4752"
  }
}