User contributions for CorrectionBot
From MaRDI portal
Results for CorrectionBot talk block log uploads logs
A user with 1,051,737 edits. Account created on 25 September 2024.
A user with 1,051,737 edits. Account created on 25 September 2024.
30 July 2025
- 13:1713:17, 30 July 2025 diff history +26 Account management in proof of stake ledgers (Q2106625) Changed label, description and/or aliases in en, and other parts
- 13:1713:17, 30 July 2025 diff history +26 Insertion-deletion systems with substitutions. I (Q2106623) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Recent advances in text-to-pattern distance algorithms (Q2106622) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Faster online computation of the succinct longest previous factor array (Q2106621) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 \#P-completeness of counting update digraphs, cacti, and series-parallel decomposition method (Q2106620) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 On the perceptron's compression (Q2106618) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Formal languages in information extraction and graph databases (Q2106616) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Two-dimensional codes (Q2106615) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Balancing straight-line programs for strings and trees (Q2106614) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Theoretical and implementational aspects of the formal language server (LaSer) (Q2106613) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 On simulation in automata networks (Q2106612) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Repetitions in Toeplitz words and the Thue threshold (Q2106611) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Number of prefixes in trace monoids: clique polynomials and dependency graphs (Q2106610) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 The computational significance of Hausdorff's maximal chain principle (Q2106609) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Combinatorial properties of degree sequences of 3-uniform hypergraphs arising from Saind arrays (Q2106608) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Functions of Baire class one over a Bishop topology (Q2106607) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Quantitative coding and complexity theory of compact metric spaces (Q2106606) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Time-aware uniformization of winning strategies (Q2106605) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Degrees of non-computability of homeomorphism types of Polish spaces (Q2106604) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 On the complexity of validity degrees in Łukasiewicz logic (Q2106603) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Ackermannian Goodstein sequences of intermediate growth (Q2106602) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 \textsc{Prawf}: an interactive proof system for program extraction (Q2106598) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 On the interplay between inductive inference of recursive functions, complexity theory and recursive numberings (Q2106597) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Non-coding enumeration operators (Q2106596) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Computable analysis and classification problems (Q2106595) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Deterministic and nondeterministic iterated uniform finite-state transducers: computational and descriptional power (Q2106594) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 On the complexity of conversion between classic real number representations (Q2106593) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 On interpretability between some weak essentially undecidable theories (Q2106592) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Liouville numbers and the computational complexity of changing bases (Q2106591) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Parallelizations in Weihrauch reducibility and constructive reverse mathematics (Q2106590) Changed label, description and/or aliases in en, and other parts current
- 13:1713:17, 30 July 2025 diff history +26 Comparison of \(n\)-categorical nerves (Q2106580) Changed label, description and/or aliases in en, and other parts
- 13:1613:16, 30 July 2025 diff history +26 Corrigendum to: ``Linear first order Riemann-Liouville fractional differential and perturbed Abel's integral equations'' (Q2106561) Changed label, description and/or aliases in en, and other parts
- 13:1613:16, 30 July 2025 diff history +26 The Trotter product formula for nonlinear Fokker-Planck flows (Q2106555) Changed label, description and/or aliases in en, and other parts
- 13:1613:16, 30 July 2025 diff history +26 On the stability of symmetric periodic solutions of the generalized elliptic Sitnikov \((N + 1)\)-body problem (Q2106551) Changed label, description and/or aliases in en, and other parts
- 13:1613:16, 30 July 2025 diff history +26 Linear parabolic operators of Monge-Ampère. I: Nondivergence-form degenerate/singular PDEs (Q2106550) Changed label, description and/or aliases in en, and other parts
- 13:1613:16, 30 July 2025 diff history +26 The Poincaré maps of a slow-fast stochastic system (Q2106549) Changed label, description and/or aliases in en, and other parts
- 13:1613:16, 30 July 2025 diff history +26 Singular strange attractors beyond the boundary of hyperbolic flows (Q2106548) Changed label, description and/or aliases in en, and other parts
- 13:1613:16, 30 July 2025 diff history +26 Energy in Newtonian gravity (Q2106538) Changed label, description and/or aliases in en, and other parts
- 13:1613:16, 30 July 2025 diff history +26 Existence and asymptotic properties of solutions of an integro-differential evolution equation with nonlocal conditions on infinite interval (Q2106536) Changed label, description and/or aliases in en, and other parts current
- 13:1613:16, 30 July 2025 diff history +26 Classification of nonnegative solutions to Schrödinger equation with logarithmic nonlinearity (Q2106535) Changed label, description and/or aliases in en, and other parts
- 13:1613:16, 30 July 2025 diff history +26 An overview of the emergence of weaker continuity notions, various classes of contractive mappings and related fixed point theorems (Q2106533) Changed label, description and/or aliases in en, and other parts current
- 13:1613:16, 30 July 2025 diff history +26 On self-maps of complex flag manifolds (Q2106532) Changed label, description and/or aliases in en, and other parts
- 13:1613:16, 30 July 2025 diff history +26 A new proof of Hartman and Winter's theorem (Q2106529) Changed label, description and/or aliases in en, and other parts
- 13:1613:16, 30 July 2025 diff history +26 Construction of optimal codes from a class of constacyclic codes (Q2103114) Changed label, description and/or aliases in en, and other parts
- 13:1613:16, 30 July 2025 diff history +26 A meshless method for solving nonlinear variable-order fractional Ginzburg-Landau equations on arbitrary domains (Q2103112) Changed label, description and/or aliases in en, and other parts
- 13:1613:16, 30 July 2025 diff history +26 On a three dimensional nonautonomous system of difference equations (Q2103111) Changed label, description and/or aliases in en, and other parts
- 13:1613:16, 30 July 2025 diff history +26 Mathematical assessment of the role of illicit drug use on terrorism spread dynamics (Q2103109) Changed label, description and/or aliases in en, and other parts current
- 13:1613:16, 30 July 2025 diff history +26 Lee distance distribution of repeated-root constacyclic codes over \(\mathrm{GR}(2^e,m)\) and related MDS codes (Q2103108) Changed label, description and/or aliases in en, and other parts
- 13:1613:16, 30 July 2025 diff history +26 Fractional order SIR epidemic model with Beddington-De Angelis incidence and Holling type II treatment rate for COVID-19 (Q2103107) Changed label, description and/or aliases in en, and other parts
- 13:1613:16, 30 July 2025 diff history +26 Constacyclic codes over \(\mathbb{F}_{q^2}[u]/\langle u^2-w^2 \rangle\) and their application in quantum code construction (Q2103106) Changed label, description and/or aliases in en, and other parts