Pith. sign in

Researcher Evidence Record

Yuri Matiyasevich

This bounded record lists 12 Pith paper rows and 0 imported work rows attributed to this corpus identity. The enumerated, non-disputed paper rows include math.NT, cs.DC, math.HO work dated 2007 to 2025. The record describes sources and coverage; it makes no judgment about the person.

Compiled coverage vector

Measured lane counts only. Not a trust score or person verdict.

Enumerated paper scope: 4 fields (math.NT, cs.DC, math.HO, +1 more) · 2007-2025 sources: authors, author_identifiers · paper_authors · author_works · current_verdicts · cited_works

A sourced case file for attributed work. It is neither a profile score nor a verdict about this researcher.

Attributed works

A bounded ledger from the Pith paper and imported-work queries. Counts and source confidence stay with each work.

  1. 2025 Pith paper

    Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization

    math.NT provisional current review present

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuri Matiyasevich
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  2. 2024 Pith paper

    Euler Product Sieve

    math.NT provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuri Matiyasevich
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  3. 2022 Pith paper

    Mathematical Proof Between Generations

    math.HO provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuri Matiyasevich
    Author position
    6
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  4. 2020 Pith paper

    On Diophantine equations over $\mathbb Z[i]$ with $52$ unknowns

    math.NT provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuri Matiyasevich
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  5. 2018 Pith paper

    Congruences for Ap\'ery numbers $\beta_{n}=\sum_{k=0}^{n}\binom{n}{k}^2\binom{n+k}{k}$

    math.NT provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuri Matiyasevich
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  6. 2014 Pith paper

    Yet another representation for the sum of reciprocals of the nontrivial zeros of the Riemann zeta-function

    math.NT provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuri Matiyasevich
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  7. 2014 Pith paper

    Approximation of Riemann's zeta function by finite Dirichlet series: multiprecision numerical approach

    math.NT provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuri Matiyasevich
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  8. 2013 Pith paper

    A Parallel Algorithm for Calculation of Large Determinants with High Accuracy for GPUs and MPI clusters

    cs.DC provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuri Matiyasevich
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  9. 2012 Pith paper

    Horizontal Monotonicity of the Modulus of the Riemann Zeta Function and Related Functions

    math.NT provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuri Matiyasevich
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  10. 2008 Pith paper

    Two universal 3-quantifier representations of recursively enumerable sets

    math.LO provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuri Matiyasevich
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  11. 2007 Pith paper

    Hidden Life of Riemann's Zeta Function 2. Electrons and Trains

    math.NT provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuri Matiyasevich
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  12. 2007 Pith paper

    Hidden Life of Riemann's Zeta Function 1. Arrow, Bow, and Targets

    math.NT provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuri Matiyasevich
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.

Evidence apparatus

The machinery behind this record. Every lane states whether Pith measured it, did not query it, could not reach it, or withheld it.

LaneStateObservedBoundary and source
identity Measured 2 Canonical identity row plus public typed identifiers.
source=authors, author_identifiers
papers Measured 12 of 12 bounded rows Rows attributed to this author UUID in the Pith corpus.
source=paper_authors
works Measured zero 0 of 0 bounded rows Imported works not duplicated by the paper ledger.
source=author_works
reviews Measured 1 of 12 bounded rows Coverage count only. No review outcome is projected onto the person.
source=current_verdicts
citations Measured 1 of 12 bounded rows Counts remain itemized by work and source.
source=cited_works
coauthors Measured 19 of 12 bounded rows Shared-work edges from admitted paper rows.
source=paper_authors
account Unavailable No public count of 1 bounded rows Account metadata is separate from corpus evidence.
source=users.author_id
Public identity sources
  • name variant
    Yuri Matiyasevich
    backfill
    confidence 0.6
Enumerated research scope

Fields and dates come only from enumerated, non-disputed Pith paper rows. They do not claim career completeness.

  • math.NT9 rows
  • cs.DC1 rows
  • math.HO1 rows
  • math.LO1 rows
  • 20072 rows
  • 20081 rows
  • 20121 rows
  • 20131 rows
  • 20142 rows
  • 20181 rows
  • 20201 rows
  • 20221 rows
  • 20241 rows
  • 20251 rows
Shared-work index
Record scope

The work queries are bounded. Missing rows may mean measured zero, an unavailable source, a query that did not run, or private data that Pith withheld. The lane table keeps those cases separate.

Paper findings remain attached to papers. They do not become findings about this researcher.