cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.15468/dl.pjd6g8
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Maulisia mauli Parr, 1960",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((7.2551 0.4095,6.9596 0.8334,6.5492 0.9061,6.0738 0.5779,5.9713 0.201,6.1078 -0.2929,6.5348 -0.5139,7.0629 -0.1853,7.2551 0.4095))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0011321-250525065834625/datasets/export for details.
DOI: 10.15468/dl.cp5vet
title: Occurrence Download

description: A dataset containing 203 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Occurrence datasets of Freshwater Snails (Gastropoda) of Kenya mobilized from the Zoological Collection of National Museums of Kenya, Nairobi and Literature"
 ]
}

 The dataset includes 203 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0011323-250525065834625/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.15407676
title: Raw Data WLC QQ EP Indonesian Startup
DOI: 10.5281/zenodo.15407675
title: Raw Data WLC QQ EP Indonesian Startup
DOI: 10.15468/dl.xvjejd
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Maulisia mauli Parr, 1960",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((8.2112 -0.773,8.9648 -2.2147,8.9648 1.4824,8.8631 1.3007,8.8278 -0.0747,8.2974 -0.3332,8.2112 -0.773))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0011324-250525065834625/datasets/export for details.
DOI: 10.15468/dl.jbwtp6
title: Occurrence Download

description: A dataset containing 70661 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "TaxonKey is Centaurea jacea L.",
 "Year is less than or equal to 2000",
 "Year is greater than or equal to 1970",
 {
 "or" : [
 {
 "not" : {
 "EstablishmentMeans" : [
 "is one of (MANAGED, INTRODUCED)"
 ]
 }
 },
 "EstablishmentMeans is null"
 ]
 },
 {
 "or" : [
 "CoordinateUncertaintyInMeters is less than 1000",
 "CoordinateUncertaintyInMeters is null"
 ]
 }
 ]
}

 The dataset includes 70661 records from 217 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0011317-250525065834625/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.us246t
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Maulisia mauli Parr, 1960",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((7.9237 1.4388,7.9186 1.8496,6.9096 1.8496,6.7752 1.3312,7.0614 0.9078,7.5027 0.9107,7.9237 1.4388))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0011325-250525065834625/datasets/export for details.
DOI: 10.5281/zenodo.15560811
title: Submitted Galaxy Scores to the Gravitational Wave Treasure Map for event MS250531i Preliminary

description: Attached in a .json file is the ranked galaxy information within the contour region of the EM counterpart search associated with the gravitational wave event MS250531i Preliminary. A reference to these calculations can be found here: https://ui.adsabs.harvard.edu/abs/2017ApJ...848L..33A/abstract
DOI: 10.5281/zenodo.15560812
title: Submitted Galaxy Scores to the Gravitational Wave Treasure Map for event MS250531i Preliminary

description: Attached in a .json file is the ranked galaxy information within the contour region of the EM counterpart search associated with the gravitational wave event MS250531i Preliminary. A reference to these calculations can be found here: https://ui.adsabs.harvard.edu/abs/2017ApJ...848L..33A/abstract
DOI: 10.15468/dl.e4abpw
title: Occurrence Download

description: A dataset containing 4918 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is LX Gardens - Tree layer inventory of the Parque Botânico da Tapada da Ajuda"
 ]
}

 The dataset includes 4918 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0011326-250525065834625/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.8c6auq
title: Occurrence Download

description: A dataset containing 36011 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "TaxonKey is Centaurea nigra L.",
 "Year is less than or equal to 2000",
 "Year is greater than or equal to 1970",
 {
 "or" : [
 {
 "not" : {
 "EstablishmentMeans" : [
 "is one of (MANAGED, INTRODUCED)"
 ]
 }
 },
 "EstablishmentMeans is null"
 ]
 },
 {
 "or" : [
 "CoordinateUncertaintyInMeters is less than 1000",
 "CoordinateUncertaintyInMeters is null"
 ]
 }
 ]
}

 The dataset includes 36011 records from 186 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0011327-250525065834625/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.dhxbsv
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Maulisia mauli Parr, 1960",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((8.9648 28.8496,-0.0352 28.8496,-0.0352 19.8496,8.9648 19.8496,8.9648 28.8496))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0011328-250525065834625/datasets/export for details.
DOI: 10.5281/zenodo.15082372
title: Birch and Swinnerton-Dyer Conjecture via Fourier-Theta Scaling and Selmer Cohomology

description: This paper presents a complete and rigorous proof of the Birch and Swinnerton-Dyer Conjecture for all elliptic curves defined over the rational numbers. The central result establishes that the number of independent rational solutions of an elliptic curve—its so-called rank—corresponds precisely to the behavior of a special mathematical function, known as the L-function, at a specific point.

The proof introduces a new analytic method based on a Fourier–Theta scaling construction. This approach captures the underlying arithmetic structure of the curve by linking the distribution of rational points to a type of oscillating function with deep connections to modularity and symmetry. By analyzing this function, the proof identifies the exact rate at which the L-function vanishes and relates it directly to the group of rational solutions on the curve.

Furthermore, the work confirms that a subtle and mysterious algebraic object called the Shafarevich–Tate group—which measures hidden obstructions to solving equations globally—is always finite. This part of the argument is supported by advanced techniques from p-adic number theory, particularly Iwasawa theory, which provides a bridge between local and global arithmetic information.

The overall approach is consistent with and extends foundational work by Gross, Zagier, and Kolyvagin. However, this proof offers a fully analytic framework that unifies several deep ideas in number theory, leading to a general and unconditional resolution of the Birch and Swinnerton-Dyer Conjecture.
DOI: 10.5281/zenodo.15082373
title: Birch and Swinnerton-Dyer Conjecture via Fourier-Theta Scaling and Selmer Cohomology

description: This paper presents a complete and rigorous proof of the Birch and Swinnerton-Dyer Conjecture for all elliptic curves defined over the rational numbers. The central result establishes that the number of independent rational solutions of an elliptic curve—its so-called rank—corresponds precisely to the behavior of a special mathematical function, known as the L-function, at a specific point.

The proof introduces a new analytic method based on a Fourier–Theta scaling construction. This approach captures the underlying arithmetic structure of the curve by linking the distribution of rational points to a type of oscillating function with deep connections to modularity and symmetry. By analyzing this function, the proof identifies the exact rate at which the L-function vanishes and relates it directly to the group of rational solutions on the curve.

Furthermore, the work confirms that a subtle and mysterious algebraic object called the Shafarevich–Tate group—which measures hidden obstructions to solving equations globally—is always finite. This part of the argument is supported by advanced techniques from p-adic number theory, particularly Iwasawa theory, which provides a bridge between local and global arithmetic information.

The overall approach is consistent with and extends foundational work by Gross, Zagier, and Kolyvagin. However, this proof offers a fully analytic framework that unifies several deep ideas in number theory, leading to a general and unconditional resolution of the Birch and Swinnerton-Dyer Conjecture.
DOI: 10.5281/zenodo.15560801
title: The experimental data of WebCQ
DOI: 10.5281/zenodo.15560802
title: The experimental data of WebCQ
DOI: 10.15468/dl.ze8qgt
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Maulisia mauli Parr, 1960",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((8.9648 19.8496,-0.0352 19.8496,-0.0352 10.8496,8.9648 10.8496,8.9648 19.8496))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0011329-250525065834625/datasets/export for details.
DOI: 10.5281/zenodo.15082487
title: Riemann Hypothesis via Spectral Operator Construction and Fredholm Determinant Analysis

description: This paper presents a rigorous proof of the Riemann Hypothesis based on the spectral theory of a newly constructed self-adjoint compact operator acting on a Hilbert space. The construction follows the Hilbert-Pólya approach and introduces an operator Hζ′′′Hζ′′′ whose spectrum corresponds exactly to the imaginary parts of the nontrivial zeros of the Riemann zeta function.

By analyzing the symmetry and kernel structure of the operator, we prove self-adjointness and Hilbert-Schmidt compactness. We then use a Fredholm determinant formulation to show that the only eigenvalues of the operator correspond to the nontrivial zeros of ζ(s)ζ(s). A contradiction argument ensures that any hypothetical zero off the critical line would violate the completeness of the spectrum.

This completes a full spectral proof of the Riemann Hypothesis using functional analytic methods and opens the door to further applications of operator theory in number theory.
DOI: 10.5281/zenodo.15082486
title: Riemann Hypothesis via Spectral Operator Construction and Fredholm Determinant Analysis

description: This paper presents a rigorous proof of the Riemann Hypothesis based on the spectral theory of a newly constructed self-adjoint compact operator acting on a Hilbert space. The construction follows the Hilbert-Pólya approach and introduces an operator Hζ′′′Hζ′′′ whose spectrum corresponds exactly to the imaginary parts of the nontrivial zeros of the Riemann zeta function.

By analyzing the symmetry and kernel structure of the operator, we prove self-adjointness and Hilbert-Schmidt compactness. We then use a Fredholm determinant formulation to show that the only eigenvalues of the operator correspond to the nontrivial zeros of ζ(s)ζ(s). A contradiction argument ensures that any hypothetical zero off the critical line would violate the completeness of the spectrum.

This completes a full spectral proof of the Riemann Hypothesis using functional analytic methods and opens the door to further applications of operator theory in number theory.
DOI: 10.5281/zenodo.15487447
title: Feature Prevalence in Java Programs
DOI: 10.5281/zenodo.15560719
title: Feature Prevalence in Java Programs
DOI: 10.15468/dl.ybhzd8
title: Occurrence Download

description: A dataset containing 37410 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "TaxonKey is Centaurea scabiosa L.",
 "Year is less than or equal to 2000",
 "Year is greater than or equal to 1970",
 {
 "or" : [
 {
 "not" : {
 "EstablishmentMeans" : [
 "is one of (MANAGED, INTRODUCED)"
 ]
 }
 },
 "EstablishmentMeans is null"
 ]
 },
 {
 "or" : [
 "CoordinateUncertaintyInMeters is less than 1000",
 "CoordinateUncertaintyInMeters is null"
 ]
 }
 ]
}

 The dataset includes 37410 records from 194 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0011330-250525065834625/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.15082432
title: Global Existence and Smoothness of Solutions to the 3D Navier-Stokes Equations

description: This paper presents a rigorous and complete proof of the global existence and smoothness of solutions to the three-dimensional incompressible Navier-Stokes equations—resolving one of the Clay Millennium Problems. The proof shows that for any smooth and divergence-free initial velocity field with finite H2H2-energy, the solution remains smooth for all time and no singularities can develop.

The method is based on a spectral decomposition of the velocity field into frequency bands, allowing precise control of energy at each scale. By proving that the dissipative terms dominate nonlinear energy transfer across all scales, we show that energy in high-frequency modes decays exponentially over time. Additionally, we derive bounds on the vorticity to guarantee regularity using classical criteria such as the Beale-Kato-Majda theorem.

The result demonstrates that incompressible fluid motion, under physically realistic conditions, evolves smoothly forever without forming singularities. This work provides a definitive resolution of the Navier-Stokes global regularity problem and introduces a spectral-vorticity framework that may be applicable to other nonlinear PDEs.
DOI: 10.5281/zenodo.15082433
title: Global Existence and Smoothness of Solutions to the 3D Navier-Stokes Equations

description: This paper presents a rigorous and complete proof of the global existence and smoothness of solutions to the three-dimensional incompressible Navier-Stokes equations—resolving one of the Clay Millennium Problems. The proof shows that for any smooth and divergence-free initial velocity field with finite H2H2-energy, the solution remains smooth for all time and no singularities can develop.

The method is based on a spectral decomposition of the velocity field into frequency bands, allowing precise control of energy at each scale. By proving that the dissipative terms dominate nonlinear energy transfer across all scales, we show that energy in high-frequency modes decays exponentially over time. Additionally, we derive bounds on the vorticity to guarantee regularity using classical criteria such as the Beale-Kato-Majda theorem.

The result demonstrates that incompressible fluid motion, under physically realistic conditions, evolves smoothly forever without forming singularities. This work provides a definitive resolution of the Navier-Stokes global regularity problem and introduces a spectral-vorticity framework that may be applicable to other nonlinear PDEs.
DOI: 10.15468/dl.7xxmqc
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Maulisia mauli Parr, 1960",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((1.2219 37.0382,-0.0352 36.4794,-0.0352 28.8496,8.9648 28.8496,8.9648 37.5879,8.4538 37.4177,7.4601 37.5841,6.845 37.4576,6.4593 37.5936,5.3421 37.2141,4.9133 37.3804,3.8874 37.4256,1.2219 37.0382))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0011331-250525065834625/datasets/export for details.
DOI: 10.5281/zenodo.15082528
title: Yang-Mills Mass Gap via Fractal Cohomology and Spectral Analysis

description: This paper provides a complete and rigorous proof of the Yang-Mills Mass Gap Conjecture. It demonstrates that in a non-abelian gauge theory in four-dimensional Minkowski space, the lowest non-zero eigenvalue of the Hamiltonian is strictly positive. This result confirms the existence of a mass gap, resolving one of the seven Clay Millennium Problems.

The proof introduces a novel approach using fractal cohomology, where gauge field spaces are analyzed through an inverse limit over Sobolev norms. A new spectral framework is constructed via spectral sequences and energy estimates. The resulting analysis yields an explicit lower bound for the smallest eigenvalue of the Yang-Mills Hamiltonian, establishing a strictly positive mass gap dependent on the gauge coupling and energy scale.

This work contributes a foundational mathematical structure for non-perturbative quantum field theory and offers new tools for the spectral analysis of gauge theories.
DOI: 10.5281/zenodo.15082529
title: Yang-Mills Mass Gap via Fractal Cohomology and Spectral Analysis

description: This paper provides a complete and rigorous proof of the Yang-Mills Mass Gap Conjecture. It demonstrates that in a non-abelian gauge theory in four-dimensional Minkowski space, the lowest non-zero eigenvalue of the Hamiltonian is strictly positive. This result confirms the existence of a mass gap, resolving one of the seven Clay Millennium Problems.

The proof introduces a novel approach using fractal cohomology, where gauge field spaces are analyzed through an inverse limit over Sobolev norms. A new spectral framework is constructed via spectral sequences and energy estimates. The resulting analysis yields an explicit lower bound for the smallest eigenvalue of the Yang-Mills Hamiltonian, establishing a strictly positive mass gap dependent on the gauge coupling and energy scale.

This work contributes a foundational mathematical structure for non-perturbative quantum field theory and offers new tools for the spectral analysis of gauge theories.
DOI: 10.5281/zenodo.15082025
title: Collatz Conjecture via Logarithmic Reduction and Cycle Elimination

description: This work presents a rigorous analytical proof of the Collatz Conjecture based on a recursive reduction scheme applied to the odd numbers in each sequence. The central idea is to evaluate how the values shrink on average with each iteration by analyzing the combined effect of multiplication, addition, and division steps.

Through a logarithmic analysis of these reduction steps, it is shown that the sequence decreases in expectation, leading to exponential convergence toward the number one. Additionally, the work includes a complete classification of potential cycles and demonstrates that no other loop besides the trivial cycle (1 → 4 → 2 → 1) is mathematically possible.

The result proves that every natural number eventually reaches one under the Collatz iteration, resolving a long-standing open problem in mathematics. This proof combines elements of analytic number theory, probabilistic expectation, and symbolic dynamics.
DOI: 10.5281/zenodo.15082026
title: Collatz Conjecture via Logarithmic Reduction and Cycle Elimination

description: This work presents a rigorous analytical proof of the Collatz Conjecture based on a recursive reduction scheme applied to the odd numbers in each sequence. The central idea is to evaluate how the values shrink on average with each iteration by analyzing the combined effect of multiplication, addition, and division steps.

Through a logarithmic analysis of these reduction steps, it is shown that the sequence decreases in expectation, leading to exponential convergence toward the number one. Additionally, the work includes a complete classification of potential cycles and demonstrates that no other loop besides the trivial cycle (1 → 4 → 2 → 1) is mathematically possible.

The result proves that every natural number eventually reaches one under the Collatz iteration, resolving a long-standing open problem in mathematics. This proof combines elements of analytic number theory, probabilistic expectation, and symbolic dynamics.
DOI: 10.15468/dl.6nusc9
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Maulisia mauli Parr, 1960",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((27.0623 31.9334,26.9648 31.9498,26.9648 28.8496,35.2246 28.8496,35.4082 29.442,34.5107 31.7446,34.2089 31.83,33.6449 31.6171,32.7153 31.5989,32.1134 31.9914,31.0159 32.1003,30.233 31.9935,29.1426 31.3343,27.0623 31.9334))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0011332-250525065834625/datasets/export for details.
DOI: 10.15468/dl.avwrqa
title: Occurrence Download

description: A dataset containing 3272 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "TaxonKey is Centaurea stoebe L.",
 "Year is less than or equal to 2000",
 "Year is greater than or equal to 1970",
 {
 "or" : [
 {
 "not" : {
 "EstablishmentMeans" : [
 "is one of (MANAGED, INTRODUCED)"
 ]
 }
 },
 "EstablishmentMeans is null"
 ]
 },
 {
 "or" : [
 "CoordinateUncertaintyInMeters is less than 1000",
 "CoordinateUncertaintyInMeters is null"
 ]
 }
 ]
}

 The dataset includes 3272 records from 110 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0011333-250525065834625/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.