Výsledky vyhledávání - "Computational verification"

Recursive sufficiency for the Collatz conjecture and computational verification

Autoři: Mohammad Ansari

Zdroj: Notes on Number Theory and Discrete Mathematics, Vol 31, Iss 3, Pp 471-480 (2025)

Témata: collatz conjecture, recursive sufficiency, computational verification, Mathematics, QA1-939

Popis souboru: electronic resource

Relation: https://nntdm.net/papers/nntdm-31/NNTDM-31-3-471-480.pdf; https://doaj.org/toc/1310-5132; https://doaj.org/toc/2367-8275

Přístupová URL adresa: https://doaj.org/article/e03bbb01238c43ecb217bafa25ec1610

Validator-Grade Resolution of Schinzel's Hypothesis H via Analytic Lattice Filtering, Spectral Simulation, and Instructional Replication

Autoři: Forrest M. Anderson, Forrest

Témata: Schinzel's Hypothesis H, Prime-producing polynomials, Irreducible polynomials, Local non-obstruction, Simultaneous primality, Bunyakovsky conjecture, Hardy–Littlewood heuristics, Riemann zeta function, Spectral alignment, Zeta zero spacing, Fourier analysis, Prime gap distribution, PEPM, Prime Emergence Probability Matrix, PPDI, Polynomial Prime Density Index, Spectral Filter Operator, Modular Lattice Filter, Monte Carlo simulation, Convergence analysis, Stability analysis, Validator-grade resolution, Instructional replicability, Analytic lattice filtering, Computational verification, Integrated resolution, Goldbach finite verification, SageMath, Python SymPy, Wolfram Alpha

Relation: https://zenodo.org/records/17197131; oai:zenodo.org:17197131; https://doi.org/10.5281/zenodo.17197131

Dostupnost: https://doi.org/10.5281/zenodo.17197131
https://zenodo.org/records/17197131

Resolution of Zimmer's Conjecture for Volume-Preserving Actions on Low-Dimensional Manifolds

Autoři: Forrest M. Anderson, Forrest

Témata: Zimmer's Conjecture, Volume-Preserving Actions, Low-Dimensional Manifolds, Ergodic Theory, Dynamical Systems, Invariant Measures, Cohomological Classification, Representation Theory, Rigidity Theory, Geometric Group Actions, Lie Groups, Group Cohomology, Measure Rigidity, Smooth Dynamics, Differential Geometry, Topological Dynamics, Numerical Stability, Computational Verification, Formal Mathematical Proofs, Lemmas and Theorems, Operator Definitions, Boundary Conditions, Function Spaces, Replicable Frameworks, Error Analysis, Stability Proofs, High-Dimensional Rigidity, Low-Dimensional Dynamics, Geometric Structures, Symmetry Constraints

Relation: https://zenodo.org/records/16970501; oai:zenodo.org:16970501; https://doi.org/10.5281/zenodo.16970501

Dostupnost: https://doi.org/10.5281/zenodo.16970501
https://zenodo.org/records/16970501

Prime-Indexed Operators and Speculative Links to the Millennium Problems: A Program, Consistency Checks, and Testable Heuristics

Autoři: Gericke, Marco

Témata: Mathematical physics, prime operators, distinction logic, Euler operator, Millennium Problems, gauge invariance, Quantum field theory, Gravitational waves, Riemann zeros, Yang–Mills, computational verification

Relation: https://zenodo.org/records/16901253; oai:zenodo.org:16901253; https://doi.org/10.5281/zenodo.16901253

Dostupnost: https://doi.org/10.5281/zenodo.16901253
https://zenodo.org/records/16901253

A Completely Analytic Proof of the Lagarias Criterion (and hence the Riemann Hypothesis)

Autoři: Harris, Lemuel Schaine orcid:0009-0002-2078-

Témata: Riemann Hypothesis, Lagarias Criterion, Number Theory, Elementary Methods, Computational Verification

Relation: https://zenodo.org/records/16249416; oai:zenodo.org:16249416; https://doi.org/10.5281/zenodo.16249416

Dostupnost: https://doi.org/10.5281/zenodo.16249416
https://zenodo.org/records/16249416

A Completely Analytic Proof of the Lagarias Criterion (and hence the Riemann Hypothesis)

Autoři: Lemuel Schaine Harris orcid:0009-0002-2078-

Témata: Riemann Hypothesis, Lagarias Criterion, Number Theory, Elementary Methods, Computational Verification

Relation: https://zenodo.org/records/16233534; oai:zenodo.org:16233534; https://doi.org/10.5281/zenodo.16233534

Dostupnost: https://doi.org/10.5281/zenodo.16233534
https://zenodo.org/records/16233534

Russell's Paradox: First Computational Survival Certificate ; Collapse Zone Admissibility in Recursive Attractor Geometry

Autoři: Broomhead, Geoffrey orcid:0009-0009-3744- geoffreybroomhead.eth a další

Témata: Russell's Paradox, computational survival certificate recursive attractor geometry contradiction admissibility survivability law collapse zone dynamics recursive logic functional paradox field-certified contradiction F-series mathematics impossibility certificate computational verification paradox survivability geometric mathematics ZFC alternatives first survival certificate

Relation: https://zenodo.org/communities/fseries-survival/; https://zenodo.org/records/17121358; oai:zenodo.org:17121358; firewalkingmath.geoffreybroomhead.eth; https://doi.org/10.5281/zenodo.17121358

Dostupnost: https://doi.org/10.5281/zenodo.17121358
https://zenodo.org/records/17121358

From Infinite to Finite: A Proof of the Collatz Conjecture via Prefix Partition and Height Descent

Autoři: Sherratt, Sadie orcid:0009-0002-3685-

Témata: Collatz Conjecture, Prefix Class, Symbolic Dynamics, Height Function, Ternery Representation, Contradiction Proof, Discrete mathematics, Number Theory, Recursive Structure, Computational Verification, Dynamical systems, Algorithmic Verification, Pure mathematics

Relation: https://zenodo.org/records/15428202; oai:zenodo.org:15428202; https://doi.org/10.5281/zenodo.15428202

Dostupnost: https://doi.org/10.5281/zenodo.15428202
https://zenodo.org/records/15428202

The Riemann Hypothesis via Global Poisson Nullity: A Rigorous Analytic Framework with Numerical Falsification Protocol ; Riemannova hypotéza přes globální Poissonovu nulitu a variační stabilitu

Autoři: Zajda, Marek

Témata: Riemann Hypothesis, Poisson Nullity, Zeta Function Zeros, Analytic Number Theory, Computational Verification, Spectral Methods, Mathematics Number Theory, number theory, riemann, Millennium Prize Problems, Proof-assisted computation, Mathematical physics, Riemann-Siegel optimization, Fourier-Green operators, Poisson summation formula, Quantum chaos, QUEST, Quantum Unified Entropic Spacetime Theory, sensitivity calibration, Poisson kernel

Relation: https://zenodo.org/records/16890518; oai:zenodo.org:16890518; https://doi.org/10.5281/zenodo.16890518

Dostupnost: https://doi.org/10.5281/zenodo.16890518
https://zenodo.org/records/16890518

Causal-Geometric Resolution of the Riemann Hypothesis via Structural Ascension

Autoři: Régent, Xavier J. orcid:0009-0005-9510-

Témata: Riemann Hypothesis, structural ascension, causal geometry, analytic number theory, proof theory, Riemann Zeta Function, Critical Line (Re(s)=½), Peano Arithmetic, Pseudo-Riemannian Metrics, Computational Verification, Mathematical Physics

Relation: https://zenodo.org/records/16621855; oai:zenodo.org:16621855; https://doi.org/10.5281/zenodo.16621855

Dostupnost: https://doi.org/10.5281/zenodo.16621855
https://zenodo.org/records/16621855

The Resolution of the Neutrino Mystery: Dimensional Cascade Framework and the Log(13) Genesis Theory

Autoři: Needham, Eric orcid:0009-0009-1690-

Témata: Log(13), neutrino-physics, dimensional-cascade, mixing-angles, mathematical-validation, golden-ratio, resolution-gap, dimensional-geometry, statistical-analysis, bayesian-inference, particle-physics, theoretical-physics, computational-verification, anomaly-resolution, mathematical-proof, enso-framework

Relation: https://zenodo.org/records/15610824; oai:zenodo.org:15610824; https://doi.org/10.5281/zenodo.15610824

Dostupnost: https://doi.org/10.5281/zenodo.15610824
https://zenodo.org/records/15610824

A Complete Proof of the Collatz Conjecture: Deterministic Descent and Convergence

Autoři: Fisher, Christopher

Témata: Collatz Conjecture, 3n+1 Problem, Number Theory, Deterministic Descent, Mathematical Proof, Odd Iterations, Convergence, Computational Verification, Logarithmic Stopping Time, Recursive Systems, Induction, Discrete Mathematics, Hailstone Sequence, Unsolved Problems, Dynamical Systems

Relation: https://zenodo.org/records/15088509; oai:zenodo.org:15088509; https://doi.org/10.5281/zenodo.15088509

Dostupnost: https://doi.org/10.5281/zenodo.15088509
https://zenodo.org/records/15088509

Final Proof of the Goldbach Conjecture: Hardy-Littlewood Circle Method with Exponential Sums

Autoři: Fisher, Christopher

Témata: Goldbach Conjecture, number theory, Hardy-Littlewood, exponential sums, Vinogradov's Theorem, sieve theory, analytic number theory, prime pairs, circle method, major minor arcs, prime distribution, von Mangoldt function, computational verification, additive number theory, twin prime constant

Relation: https://zenodo.org/records/15069979; oai:zenodo.org:15069979; https://doi.org/10.5281/zenodo.15069979

Dostupnost: https://doi.org/10.5281/zenodo.15069979
https://zenodo.org/records/15069979

Package D - Birch and Swinnerton-Dyer Conjecture - Unconditional Closure and Emission Protocol - Final Validator

Autoři: Forrest M. Anderson, Forrest

Témata: Birch and Swinnerton-Dyer Conjecture, BSD Conjecture, elliptic curves, rational points, Mordell-Weil group, rank of elliptic curve, L-function, Hasse–Weil L-function, analytic rank, algebraic rank, zero of L-function, Taylor expansion, BSD formula, Tamagawa numbers, regulator, torsion subgroup, Tate–Shafarevich group, Selmer group, Galois cohomology, modular forms, Heegner points, Gross–Zagier formula, Waldspurger formula, Iwasawa theory, complex multiplication, arithmetic geometry, algebraic number theory, Diophantine equations, abelian varieties, Jacobian varieties, BSD rank conjecture, BSD parity conjecture, BSD finiteness conjecture, BSD numerical evidence, BSD computational verification, BSD over Q, BSD over number fields, BSD over function fields, BSD and modularity, BSD and L-series, BSD and p-adic methods, BSD and Euler product, BSD and BSD invariants, BSD and BSD constants, BSD and BSD data, BSD and BSD testing, BSD and BSD simulations, BSD and BSD algorithms, BSD and BSD heuristics, BSD and BSD statistics, BSD and BSD cryptography, BSD and BSD applications

Validator-Grade Resolution of the Birch and Swinnerton-Dyer Conjecture

Autoři: Forrest M. Anderson, Forrest

Témata: Birch and Swinnerton-Dyer Conjecture, BSD Conjecture, elliptic curves, rational points, Mordell-Weil group, rank of elliptic curve, L-function, Hasse–Weil L-function, analytic rank, algebraic rank, zero of L-function, Taylor expansion, BSD formula, Tamagawa numbers, regulator, torsion subgroup, Tate–Shafarevich group, Selmer group, Galois cohomology, modular forms, Heegner points, Gross–Zagier formula, Waldspurger formula, Iwasawa theory, complex multiplication, arithmetic geometry, algebraic number theory, Diophantine equations, abelian varieties, Jacobian varieties, BSD rank conjecture, BSD parity conjecture, BSD finiteness conjecture, BSD numerical evidence, BSD computational verification, BSD over Q, BSD over number fields, BSD over function fields, BSD and modularity, BSD and L-series, BSD and p-adic methods, BSD and Euler product, BSD and BSD invariants, BSD and BSD constants, BSD and BSD data, BSD and BSD testing, BSD and BSD simulations, BSD and BSD algorithms, BSD and BSD heuristics, BSD and BSD statistics, BSD and BSD cryptography, BSD and BSD applications

The Riemann Hypothesis via Global Poisson Nullity: A Rigorous Analytic Framework with Numerical Falsification Protocol

Autoři: Zajda, Marek

Témata: Analytic Number Theory, Computational Verification, Poisson summation formula, Poisson kernel, Millennium Prize Problems, Riemann Hypothesis, Poisson Nullity, Quantum Unified Entropic Spacetime Theory, number theory, QUEST, Mathematical physics, Zeta Function Zeros, Mathematics Number Theory, Spectral Methods, Proof-assisted computation, sensitivity calibration, Fourier-Green operators, riemann, Riemann-Siegel optimization, Quantum chaos

The Algorithim Behind P- Full derivation

Autoři: Needham, Eric J

Témata: spiral geometry, computational verification, FOS: Physical sciences, algorithmic generation, transcendental numbers, computational mathematics, Engineering, Needham Spiral Constant, Number Theory, arbitrary precision, Physical Sciences and Mathematics, FOS: Mathematics, Quantum Physics, Applied Mathematics, Physics, mathematical proof, constant emergence, pi algorithm, mathematical constants, geometric scaling, recursive duality, Atomic, Molecular and Optical Physics, Geometry and Topology, Other Mathematics, golden ratio, Mathematics, mathematical discovery

The Baseline Resonance Theory

Autoři: Needham, Eric J

Témata: fundamental-constants, mathematical-universe, computational-verification, trigram-analysis, Computer Sciences, statistical-validation, Applied Mathematics, Physics, mathematical-sequences, Elementary Particles and Fields and String Theory, Atomic, Molecular and Optical Physics, mathematical-constants, harmonic-convergence, Physical Sciences and Mathematics, FOS: Mathematics, harmonic-analysis, pi-e-relationship, open-science, mathematical-physics, physical-constants, baseline-resonance, universal-frequency

A New Strategy to Identify ceRNA-Based CCDC144NL-AS1/SERPINE1 Regulatory Axis as a Novel Prognostic Biomarker for Stomach Adenocarcinoma via High Throughput Transcriptome Data Mining and Computational Verification

Autoři: Zhihong Huang Xinkui Liu Chao Wu a další

Zdroj: Frontiers in Oncology, Vol 11 (2022)

Témata: stomach adenocarcinoma, competitive endogenous RNA, CCDC144NL-AS1/SERPINE1 axis, prognostic biomarker, high throughput transcriptome data mining and computational verification, Neoplasms. Tumors. Oncology. Including cancer and carcinogens, RC254-282

Popis souboru: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/fonc.2021.802727/full; https://doaj.org/toc/2234-943X

Přístupová URL adresa: https://doaj.org/article/c55a9f930d40404c956d37c7da74d307

Existence Tests for Solutions of Nonlinear Equations Using Borsuk's Theorem

Autoři: Frommer, Andreas

Zdroj: SIAM Journal on Numerical Analysis, 2006 Jan 01. 43(3), 1348-1361.

Přístupová URL adresa: https://www.jstor.org/stable/4101292