User contributions for CorrectionBot

30 July 2025

• 14:3814:38, 30 July 2025 diff history +26 Estimates for the dimension of attractors of a regularized Euler system with dissipation on the sphere (Q2113395) ‎Changed label, description and/or aliases in en, and other parts
• 14:3814:38, 30 July 2025 diff history +26 Sufficient conditions for a minimum of a strongly quasiconvex function on a weakly convex set (Q2113393) ‎Changed label, description and/or aliases in en, and other parts
• 14:3814:38, 30 July 2025 diff history +26 Uniqueness criterion for solutions of nonlocal problems on a finite interval for abstract singular equations (Q2113392) ‎Changed label, description and/or aliases in en, and other parts
• 14:3814:38, 30 July 2025 diff history +26 Joint universality of certain Dirichlet series (Q2113391) ‎Changed label, description and/or aliases in en, and other parts
• 14:3814:38, 30 July 2025 diff history +26 Strong polynomial completeness of almost all quasigroups (Q2113390) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3814:38, 30 July 2025 diff history +26 Approximation by simple partial fractions: universal sets of poles (Q2113389) ‎Changed label, description and/or aliases in en, and other parts
• 14:3814:38, 30 July 2025 diff history +26 State complexity of GF(2)-operations on unary languages (Q2113387) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3814:38, 30 July 2025 diff history +26 Operational union-complexity (Q2113386) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3814:38, 30 July 2025 diff history +26 Structural properties of NFAs and growth rates of nondeterminism measures (Q2113384) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3814:38, 30 July 2025 diff history +26 On the computational completeness of matrix simple semi-conditional grammars (Q2113382) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3814:38, 30 July 2025 diff history +26 Nondeterministic right one-way jumping finite automata (Q2113381) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3814:38, 30 July 2025 diff history +26 Preface. Descriptional complexity of formal systems (DCFS 2019) (Q2113380) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3814:38, 30 July 2025 diff history +26 Deep cooperation of CDCL and local search for SAT (Q2118286) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3814:38, 30 July 2025 diff history +26 Lower bounds for QCDCL via formula gauge (Q2118284) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3814:38, 30 July 2025 diff history +26 Davis and Putnam meet Henkin: solving DQBF with resolution (Q2118283) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3814:38, 30 July 2025 diff history +26 QBFFam: a tool for generating QBF families from proof complexity (Q2118282) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3814:38, 30 July 2025 diff history +26 PyDGGA: distributed GGA for automatic configuration (Q2118281) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3814:38, 30 July 2025 diff history +26 OptiLog: a framework for SAT-based systems (Q2118280) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 On quiver Grassmannians and orbit closures for gen-finite modules (Q2118269) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 Outer automorphism groups of contragredient Lie superalgebras (Q2118268) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3714:37, 30 July 2025 diff history +26 Levi factors and admissible automorphisms (Q2118264) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3714:37, 30 July 2025 diff history +26 The strong simple connectedness of tame algebras with separating almost cyclic coherent Auslander-Reiten components (Q2118263) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3714:37, 30 July 2025 diff history +26 A letter from Malevich to Semevsky about Kovalevskaya (Q2118261) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 François Viète's method for calculating the eccentricity in a bisected model and its possible application to Kepler's vicarious hypothesis (Q2118259) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 Small numerical variations in a set of similar problems from Nippur on the area of the square (Q2118258) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 From lattices via social history to theories of modernity in mathematics. A biographical essay for Herbert Mehrtens (1946--2021) (Q2118256) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3714:37, 30 July 2025 diff history +26 In memoriam: Richard P. Lorch (1942--2021) (Q2118255) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3714:37, 30 July 2025 diff history +26 In memoriam: Ubiratan D'Ambrosio (1932--2021) (Q2118253) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3714:37, 30 July 2025 diff history +26 Roman \(\{2\}\)-domination problem in graphs (Q2118251) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 On well-covered direct products (Q2118250) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 A classification of cactus graphs according to their domination number (Q2118249) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 Corrigendum to: ``Independent transversal domination in graphs'' (Q2118248) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3714:37, 30 July 2025 diff history +26 An \(O( mn^2)\) algorithm for computing the strong geodetic number in outerplanar graphs (Q2118246) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3714:37, 30 July 2025 diff history +26 Graphs that are critical for the packing chromatic number (Q2118245) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 On face irregular evaluations of plane graphs (Q2118244) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 Describing minor 5-stars in 3-polytopes with minimum degree 5 and no vertices of degree 6 or 7 (Q2118242) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 Game-perfect semiorientations of forests (Q2118241) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 Arbitrarily partitionable \(\{2K_2, C_4\}\)-free graphs (Q2118240) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3714:37, 30 July 2025 diff history +26 Labeled packing of cycles and circuits (Q2118238) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 Forbidden subgraphs for collapsible graphs and supereulerian graphs (Q2118236) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3714:37, 30 July 2025 diff history +26 Branch-weight unique trees (Q2118235) ‎Changed label, description and/or aliases in en, and other parts current
• 14:3714:37, 30 July 2025 diff history +26 \(b\)-coloring of the Mycielskian of some classes of graphs (Q2118233) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 Gallai-Ramsey numbers for rainbow \(S_3^+\) and monochromatic paths (Q2118232) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 Further results on packing related parameters in graphs (Q2118231) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 On the optimality of 3-restricted arc connectivity for digraphs and bipartite digraphs (Q2118230) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 Computing Shapley values in the plane (Q2118220) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 Continuous and discrete radius functions on Voronoi tessellations and Delaunay mosaics (Q2118219) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 An axiomatic approach to time-dependent shortest path oracles (Q2118212) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 On the complexity of recognizing Wheeler graphs (Q2118211) ‎Changed label, description and/or aliases in en, and other parts
• 14:3714:37, 30 July 2025 diff history +26 Enumeration of maximal common subsequences between two strings (Q2118209) ‎Changed label, description and/or aliases in en, and other parts