Pith. sign in

REVIEW 4 major objections 4 minor 1 cited by

Integro-differential rings on species and derived structures

T0 review · 4 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Virtual set and linear species form integro-differential rings, and on set species only the analytic exponential $e^X$ makes the integral work.

desk verdict The main set-species theorem is real and worth knowing; the localization section is not just underproved but genuinely broken for arbitrary K. read the letter →

arxiv 2501.05540 v3 pith:KQ5W7FWH submitted 2025-01-09 math.CO math.CAmath.RA

Xing Gao , Li Guo , Markus Rosenkranz , Huhu Zhang , Shilong Zhang This is my paper · ORCID
classification math.COmath.CAmath.RA MSC 18M3017B3845J0547G2012H0534M15
keywords combinatorialspeciesintegro-differentialringRota-Baxteroperatorvirtuallineardifferentialtoweranalyticexponentialgeneratingseries
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper establishes that the combinatorial calculus of species is an algebraic calculus: the ring of rational virtual set species, together with the species derivative and the integral operator associated to the analytic exponential, satisfies the same axioms as classical calculus, including the Fundamental Theorem and integration by parts. The central result is a uniqueness theorem: for any differential tower $T$, the triple $(\mathbb{Q}\|X\|, \partial, \int_T)$ is an integro-differential ring if and only if $T=e^X$. The same conclusion is proved for virtual linear species with their canonical integral, and, for localized set species, in the weaker form of a modified integro-differential ring. Because these are integro-differential rings, general structural results apply: species inherit a topology, divided powers, composition, exponential and logarithm operations, and the generating-series map becomes a homomorphism of integro-differential rings. The result means combinatorial identities can be translated into integro-differential equations for power series and studied by algebraic or analytic methods.

What carries the argument

The carrying object is the differential tower $T=\sum_{n\ge0}T_n$ and its associated integral operator $\int_T\Phi=\sum_{i\ge1}(-1)^{i-1}T_i\Phi^{(i-1)}$. The proof mechanism is the equivalence in Lemma 2.20: once $\partial\int=\mathrm{id}$ holds (the Fundamental Theorem), the integro-differential axioms are equivalent to multiplicativity of the evaluation $E=\mathrm{id}-\int\partial$. For set species, multiplicativity forces the tower to satisfy $T_pT_q=\binom{p+q}{p}T_{p+q}$, and this analytic-exponential identity characterizes $T=e^X$; the same identity is used to prove the generating-series homomorphism. For linear species the canonical integral is simpler, with evaluation $E(\Phi)=\Phi(0)$; for localization, Lemma 2.39 transfers unital integro-differential rings to modified integro-differential and Reynolds rings.

What would settle it

Take a nontrivial multiplicative subset $S$ of $\mathbb{Q}\|X\|$ (for instance the set generated by $K=e^X+X$) and a fraction $\Phi/s$, then directly compute whether $\partial_{K^{-1}}(K\int_{e^X}(\Phi/s))=\Phi/s$ and whether the modified integro-differential identity holds. The paper's proof of Theorem 2.41 defers this verification, so any concrete instance where the identity fails would refute the claimed localized structure.

Watch

Extended reading notes

Core claim

Theorem 2.24 is the load-bearing result: for a differential tower $T$ (a species with $T'=T$ and $T(0)=1$), the triple $(\mathbb{Q}\|X\|, \partial, \int_T)$ is an integro-differential ring precisely when $T=e^X$, the analytic exponential $e^X=\sum_{n\ge0}X^n/n!$. The corresponding evaluation is $E(\Phi)=\sum_{n\ge0}(-X)^n \Phi^{(n)}/n!$, and its multiplicativity is what forces the tower to be exponential. Theorem 2.37 gives the analogous statement for virtual linear species, where the canonical integral (delete the minimum element of a linearly ordered label set) makes $(\mathbb{Z}[[X]],\partial,\int)$ an integro-differential ring with evaluation at the empty set. Theorem 2.41 extends the picture to localized set species: after inverting a multiplicative set generated by a species $K$, the operators $\partial_{K^{-1}}$ and $K\int_{e^X}$ are claimed to form a modified integro-differential ring, and also a differential Reynolds ring. Throughout, the map sending a species to its generating series is shown to preserve the (modified) integro-differential structure.

Load-bearing premise

The localized structure in Theorem 2.41 is assumed rather than proved: the paper says the fractional case is 'similar to the proof of Theorem 2.24' without checking that the Fundamental Theorem and integration-by-parts identity still hold for fractions, so the modified integro-differential and Reynolds ring claims rest on that unexamined step.

Editorial extensions

If this is right

  • The generating-series map is an integro-differential ring homomorphism from species to $(\mathbb{Q}[[x]], d/dx, \int_0^x)$, so species equations become ordinary integro-differential equations for exponential generating functions.
  • Virtual linear species become a complete metric space under $d(\Phi,\Psi)=2^{-\mathrm{ord}(\Phi-\Psi)}$, making limiting and Cauchy-sequence arguments available in combinatorics.
  • The integro-differential structure yields divided powers $\Phi^{[n]}$, an exponential and logarithm on species, and exponentiation $\Phi^\Psi$ relative to an invertible base; for set species these agree with the analytic exponential when the base field has characteristic zero.
  • For virtual set species, the usual functorial composition $\Phi\square\Psi$ is equipotent to the integro-differential composition $\Phi\boxtimes\Psi$, connecting the new algebraic operations to standard species substitution.
  • Localized set species carry a modified integro-differential and differential Reynolds structure, extending the algebraic framework used for integral equations with separable kernels to a species setting.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The forced choice $T=e^X$ suggests that any species-level calculus that obeys the Fundamental Theorem and integration by parts must work with exponential generating functions and rational coefficients; the combinatorial exponential $E$ gives an integral whose evaluation is not multiplicative, so it cannot support a calculus-style integration by parts.
  • Theorem 2.41 should be read as conditional: its proof delegates the verification on $S^{-1}\mathbb{Q}\|X\|$ to Theorem 2.24 without defining $\int_{e^X}$ on fractions, so the modified integro-differential and Reynolds structures are established only insofar as that localization step can be filled in.
  • The matching Rota-Baxter family in Theorem 2.30 suggests a natural parameterized family of species integrals $\omega\int_{e^X}\Phi$ indexed by differential constants, which could serve as a combinatorial counterpart of integrals with a weight function; the paper states the family but does not develop its applications.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The paper defines integro-differential ring structures on species: virtual set species with the Joyal integral with respect to the analytic exponential (Theorem 2.24), virtual linear species with the canonical integral (Theorem 2.37), and localized virtual set species with a modified integro-differential and differential Reynolds ring structure (Theorem 2.41). It also shows that taking generating series is a homomorphism of the corresponding (modified) integro-differential rings (Propositions 2.25 and 2.42), and it imports a topology and further operations from the general theory of integro-differential rings in Section 3.

Significance. If the main theorems held, the paper would provide a clean algebraic framework for calculus on species, unifying Joyal's combinatorial integration with the theory of integro-differential rings and offering new operations on virtual species. The proofs of Theorems 2.24 and 2.37 are largely self-contained and the generating-series compatibility in Proposition 2.25 is a genuine and attractive result. However, the localization results in Section 2.4, which are advertised as a main contribution and are used in Section 3, are not well-defined for the stated generality; this is a load-bearing flaw.

major comments (4)
  1. [Theorem 2.41, Eq. (20)] The operator K∫_{eX} on S^{-1}Q||X|| is not well-defined for arbitrary K. For K = X and Φ/s = 1/X, the i-th summand in K∫_{eX}(1/X) equals X/i, so the series has infinitely many nonzero terms supported on cardinality 1. By Definition 2.5, this family is not summable, and the expression is not an element of S^{-1}Q||X||. The proof's statement 'Similar to the proof of Theorem 2.24' cannot supply the missing verification because the integral operator on fractions has not been defined and, for this example, cannot be defined by the given formula. Thus Theorem 2.41 is false as stated.
  2. [Proposition 2.42] The claimed homomorphism to Q[[x]] is also ill-defined: for K = x, applying K(x)∫_0^x to 1/x gives x log x, which is not in Q[[x]], and the generating series of the localized species 1/X is not a formal power series. Hence the target ring (Q[[x]], d/dx K(x)^{-1}, K(x)∫_0^x) is not defined for the stated examples, and the asserted homomorphism of modified integro-differential rings does not exist as stated.
  3. [Proposition 2.43] Restricting K to be a differential constant does not repair the construction when K has zero constant term. If K has lowest degree d ≥ 1, then each term K X^i (1/K)^{(i-1)} has the same positive degree, so the series produces infinitely many contributions at a fixed cardinality and is not summable. Only K with nonzero constant term avoids this difficulty, but such K is already invertible in Q||X||, making S^{-1}Q||X|| = Q||X|| and the localization claim vacuous.
  4. [Section 3, opening paragraph] The derived structures in Section 3 are explicitly claimed for 'localized virtual species as in Proposition 2.43'. Since Proposition 2.43 is unsupported in all non-vacuous cases, the topological and operational results for localized species are not established. This affects Theorem 3.5, Proposition 3.9, Theorem 3.11, and the subsequent definitions whenever applied to the localized species rings.
minor comments (4)
  1. [Lemma 2.22] The lemma states λ ∈ Z\{0}, but the ambient ring in Theorem 2.24 is Q||X||, where λ may be any nonzero rational. The proof of the characterization is valid over Q; the coefficient ring should be stated correctly.
  2. [Proposition 2.43, proof] In the multiplicativity computation, the factor X^{i1}/i2! should read X^{i2}/i2! in the displayed equations; the correct factor appears later in the same computation.
  3. [Proposition 3.7(b)] The text writes 'w^{-ord}' in the Cauchy-sequence argument; this should be '2^{-ord}' for consistency with the pseudometric defined in Proposition 3.4(a).
  4. [Example 2.27(a)] The notation C for the cycle species in the displayed comparison can be confused with the cycle species C_k; consider using a different symbol or clarifying the convention.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the core equivalence (ID-ring structure forces T=e^X) is derived from the species axioms and is not assumed; later sections import independent general ID-ring theorems, with one under-proved localization step that is a rigor issue rather than circularity.

full rationale

The central claim of the paper, Theorem 2.24, is self-contained rather than circular. The proof starts from the definition of the Joyal integral (9) and the integro-differential ring axioms, invokes the equivalence in Lemma 2.20 that evaluation must be multiplicative, and then computes E(X^p)E(X^q) versus E(X^{p+q}). The resulting leading-term equality T_pT_q = binom(p+q,p)T_{p+q} is literally the definition (16) of an analytic exponential, and Lemma 2.22 then forces T=e^X. No fitted parameter is renamed as a prediction, and the analytic exponential condition is not defined in terms of the integro-differential structure. Proposition 2.25 similarly proves the generating-series homomorphism by a direct binomial/Taylor computation, without assuming the result. Theorem 2.37 uses the canonical integral for linear species and Lemma 2.36, again with direct verification. The later sections import general results from [14] and [16], including papers with overlapping authors, but those are general theorems on integro-differential algebras and Reynolds rings, independent of the species setting, and they are not used to define the species operations. The known gap in Theorem 2.41, where the proof says 'Similar to the proof of Theorem 2.24' and formula (20) defines K∫_{eX} on localized species via infinite sums that may not be summable (for example K=X and Φ/s=1/X), is a serious rigor/correctness concern about whether the localized modified integro-differential structure is well-defined. It is not, however, a circularity: the conclusion does not reduce by the paper's own equations to an equivalent input. Accordingly, the circularity score is low despite the self-citations, because the self-citations are not load-bearing for the main species-level derivation.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters were fitted. The main axioms are the standard species-ring facts (integral domain, localization, molecular decomposition) plus the unstated assumption that localization preserves the integro-differential structure. No new entities are introduced.

assumptions (6)
  • domain assumption Z||X|| is an integral domain and localizations by multiplicative subsets are well-defined.
    Used in Section 2.4 to form S^{-1}Q||X||; cited from [7, p.122] and Yeh [38].
  • domain assumption The derivation ∂ extends to Q||X|| and to localizations via the quotient rule.
    Remark 2.40 defines ∂ on fractions; used in Theorem 2.41.
  • ad hoc to paper Localization of the integro-differential ring (Q||X||, ∂, ∫_eX) is again an integro-differential ring.
    Used without proof in Theorem 2.41; no lemma establishes the section axiom and hybrid Rota-Baxter axiom for fractions.
  • domain assumption The analytic exponential is characterized by the binomial relation (16), with the only analytic exponentials being e^{λX}.
    Lemma 2.22, proved using molecular species classification from [7, §2.6]; this drives Theorem 2.24.
  • standard math General results on integro-differential algebras from [14] apply verbatim to the three species rings.
    Section 3 imports topology, divided powers, composition, exp/log; depends on [14, Thm 2.16, Props 3.2-3.4, 4.5-4.6, 5.3-5.7].
  • ad hoc to paper The generating series of a localized species Φ/s is a formal power series, requiring s(x) invertible in Q[[x]].
    Needed for Proposition 2.42 but never stated; if K(0)=0, K(x) is not a unit in Q[[x]].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Integro-differential rings on species and derived structures." pith.science (2026). https://pith.science/paper/KQ5W7FWH

@misc{pith2026250105540,
  author       = {Pith},
  title        = {Pith review of: Integro-differential rings on species and derived structures},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KQ5W7FWH}},
  note         = {Machine review of arXiv:2501.05540}
}
read the original abstract

In the theory of species, differential as well as integral operators are known to arise in a natural way. In this paper, we shall prove that they precisely fit together in the algebraic framework of integro-differential rings, which are themselves an abstraction of classical calculus (incorporating its Fundamental Theorem). The results comprise (set) species as well as linear species. Localization of (set) species leads to the more general structure of modified integro-differential rings, previously employed in the algebraic treatment of Volterra integral equations. Furthermore, the ring homomorphism from species to power series via taking generating series is shown to be a (modified) integro-differential ring homomorphism. As an application, a topology and further algebraic operations are imported to virtual species from the general theory of integro-differential rings.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Species of Rota-Baxter algebras by rooted trees, twisted bialgebras and Fock functors

    math.CO 2025-01 conditional novelty 7.0 of 10

    The species of simple angularly decorated forests is shown to be the free Rota-Baxter species and to carry a twisted bialgebra structure; Fock functors recover known Rota-Baxter algebra structures.

Reference graph

Works this paper leans on

41 extracted references · 39 canonical work pages · cited by 1 Pith paper

  1. [1]

    Aguiar and S

    M. Aguiar and S. Mahajan, Monoidal Functors, Species and Hopf Algebras, Amer . Math. Soc.2010. 2, 4

    work page 2010

  2. [2]

    Albrecher, C

    H. Albrecher, C. Constantinescu, Z. Palmowski, G. Regen sburger and M. Rosenkranz, Exact and asymptotic results for insurance risk models with surplus-dependent p remiums, SIAM J. Appl. Math. 73 (2013), 47-66. 3

    work page 2013

  3. [3]

    Albrecher, C

    H. Albrecher, C. Constantinescu, G. Pirsic, G. Regensbu rger and M. Rosenkranz, An algebraic operator ap- proach to the analysis of Gerber-Shiu functions, Insurance: Math. Economics 46 (2010), 42-51. 3

    work page 2010

  4. [4]

    A. V . Arkhangel’skii and L. S. Pontryagin, General Topol ogy I: Basic Concepts and Constructions Dimension Theory, Springer, 1990. 22

    work page 1990

  5. [5]

    M. F. Atiyah and I. G. MacDonald, Introduction to Commuta tive Algebra, CRC Press, 1969. 6

    work page 1969

  6. [6]

    Baxter, An analytic problem whose solution follows fr om a simple algebraic identity, Pacific J

    G. Baxter, An analytic problem whose solution follows fr om a simple algebraic identity, Pacific J. Math. 10 (1960), 731-742. 2, 9

    work page 1960

  7. [7]

    Bergeron, G

    F. Bergeron, G. Labelle and P . Leroux, Combinatorial spe cies and tree-like structures, Cambridge U. Press,

    work page

  8. [8]

    L. A. Bokut, Y . Chen and J. Qiu, Gr¨ obner-Shirshov bases f or associative algebras with multiple operators and free Rota-Baxter algebras, Journal of Pure and Applied Algebra 214(1) (2010), 89-100. 3

    work page 2010

Show all 41 references
  1. [9]

    Bourbaki, Elements of Mathematics: General Topology , Springer, 1995

    N. Bourbaki, Elements of Mathematics: General Topology , Springer, 1995. 22

    1995

  2. [10]

    Connes and D

    A. Connes and D. Kreimer, Renormalization in quantum fie ld theory and the Riemann-Hilbert problem. I. The Hopf algebra structure of graphs and the main theorem, Comm. Math. Phys. 210 (2000), 249-273. 3

    2000

  3. [11]

    Crespo and Z

    T. Crespo and Z. Hajto, Algebraic Groups and Di fferential Galois Theory, Amer. Math. Soc., 2011. 2

    2011

  4. [12]

    Foissy, L

    L. Foissy, L. Guo. X. S. Peng, Y . Xie and Y . Zhang, Species of Rota-Baxter algebras by rooted trees, twisted bialgebras and Fock functors, arXiv:2501.07009, 2025. 3

    2025 arXiv

  5. [13]

    X. Gao, L. Guo, and M. Rosenkranz, Free integro-di fferential algebras and Gr¨ obner–Shirshov bases,J. Algebra 442 (2015), 354-396. 3

    2015

  6. [14]

    X. Gao, W . Keigher and M. Rosenkranz, Divided powers and composition in integro-di fferential algebras, J. Pure Appl. Algebra 10(221) (2017), 2525-2556. 3, 22, 23, 24, 25

    2017

  7. [15]

    Guo, Introduction to Rota-Baxter Algebra, Higher Ed ucation Press and International Press, 2012

    L. Guo, Introduction to Rota-Baxter Algebra, Higher Ed ucation Press and International Press, 2012. 3

    2012

  8. [16]

    L. Guo, R. Gustavson and Y . Li, Generalized Reynolds alg ebras from V olterra integrals and their free construc- tion by complete shu ffle product, arXiv:2411.02633, 2024. 3, 19, 20

    2024 arXiv

  9. [17]

    Guo and W

    L. Guo and W . Keigher, On di fferential Rota-Baxter algebras, J. Pure Appl. Algebra, 212 (2008), 522-540. 3, 9

    2008

  10. [18]

    L. Guo, G. Regensburger and M. Rosenkranz, On integro-d ifferential algebras, J. Pure Appl. Algebra 218 (2014), 456-471. 3, 10, 13

    2014

  11. [19]

    L. Guo, W . Sit and R. Zhang, Di fferential type operators and Gr¨ obner-Shirshov bases,J. Symbolic Computation 52 (2013), 97-123. 19

    2013

  12. [20]

    Joyal, Une th´ eorie combinatoire des s´ eries formelles, Adv

    A. Joyal, Une th´ eorie combinatoire des s´ eries formelles, Adv. in Math. 42 (1981), 1-82. 2, 16 INTEGRO-DIFFERENTIAL RINGS ON SPECIES AND DERIVED STRUCTU RES 27

    1981

  13. [21]

    Joyal, R` egie des signes en alg` ebre combinatoire, Comptes Rendus Math´ ematiques de I’Acad´ emie des Sci- ences, La soci´ el´ e royale du Canada, VII, 1985,285-290.6

    A. Joyal, R` egie des signes en alg` ebre combinatoire, Comptes Rendus Math´ ematiques de I’Acad´ emie des Sci- ences, La soci´ el´ e royale du Canada, VII, 1985,285-290.6

    1985

  14. [22]

    A. Joyal, Calcul int´ egral combinatoire et homologie du groupe sym´ etrique,Comptes Rendus Math´ ematiques de I’Acad´ emie des Sciences, La soci´ el´ e royale du Canada, VII, 1985, 337-342.6

    1985

  15. [23]

    E. R. Kolchin, Di fferential Algebras and Algebraic Groups, Academic Press, 19 73. 2

  16. [24]

    Labelle, On combitonarial di fferential equations, J

    G. Labelle, On combitonarial di fferential equations, J. Math. Anal. Appl. 113(2) (1986), 344-381. 3, 8

    1986

  17. [25]

    Labelle, New combinatorial computational methods a rising from pseudo-singletons, Proc

    G. Labelle, New combinatorial computational methods a rising from pseudo-singletons, Proc. of the 20th Annual International Conference on F ormal Power Series and Algebraic Combinatorics, 2008. 6

    2008

  18. [26]

    Labelle, Combinatorial integration, in: ACM Comm Comput

    G. Labelle, Combinatorial integration, in: ACM Comm Comput. Algebra 49(1) (2015), 35-35. 3, 8

    2015

  19. [27]

    Labelle, Binomial Species and Combinatorial Expone ntiation, in S´ eminaire Lotharingien de Combinatoire, 78 (2018), Article B78a, 1-46

    G. Labelle, Binomial Species and Combinatorial Expone ntiation, in S´ eminaire Lotharingien de Combinatoire, 78 (2018), Article B78a, 1-46. 10, 11, 12, 25

    2018

  20. [28]

    X. S. Peng, Y . Zhang, X. Gao and Y . F. Luo, Universal envel oping of (modified) λ-differential Lie algebras, Linear Multilinear Algebra 70 (2022), 1102-1127. 19

    2022

  21. [29]

    van der Put and M

    M. van der Put and M. F. Singer, Galois Theory of Linear Di fferential Equations, Springer, 2003. 2

    2003

  22. [30]

    J. F. Ritt, Di fferential Algebra, Amer. Math. Soc., 1950. 2

    1950

  23. [31]

    Rosenkranz, A new symbolic method for solving linear two-point boundary value problems on the level of operators, J

    M. Rosenkranz, A new symbolic method for solving linear two-point boundary value problems on the level of operators, J. Symb. Comput. 39 (2005), 171-199. 3

    2005

  24. [32]

    Rosenkranz, B

    M. Rosenkranz, B. Buchberger and H.W . Engl, Solving lin ear boundary value problems via non-commutative Gr¨ obner bases,Appl. Anal. 82 (2003), 655-675. 3

    2003

  25. [33]

    Rosenkranz and G

    M. Rosenkranz and G. Regensburger, Solving and factori ng boundary problems for linear ordinary di fferential equations in di fferential algebras, J. Symbolic Computation 43 (2008), 515-544. 3

    2008

  26. [34]

    Rosenkranz, G

    M. Rosenkranz, G. Regensburger, L. Tec, and B. Buchberg er, Symbolic analysis for boundary problems: From rewriting to parametrized Gr¨ obner bases, in: Numerical and Symbolic Scientific Computing: Progress and Prospects, Springer, 2012, 273-331. 3, 10

    2012

  27. [35]

    Rota, Baxter algebras and combinatorial identit ies (I, II)

    G.-C. Rota, Baxter algebras and combinatorial identit ies (I, II). Bull. Amer . Math. Coc.75 (1969), 325-334. 3

    1969

  28. [36]

    Rota, Baxter operators, an introduction, in: Gia n-Carlo Rota on Combinatorics, Introductory Papers and Commentaries, Birkh¨ auser, 1995.3

    G.-C. Rota, Baxter operators, an introduction, in: Gia n-Carlo Rota on Combinatorics, Introductory Papers and Commentaries, Birkh¨ auser, 1995.3

    1995

  29. [37]

    Y . N. Y eh, On the Combinatorial Species of Joyal, Ph.D. Dissertation, State University of New Y ork at Buffalo,

  30. [38]

    Colloque de combinatoire ´ enum´ erative

    Y . N. Y eh, The calculus of virtual species and K-species , in: Combinatoire ´ enum´ erative: Proceedings of the “Colloque de combinatoire ´ enum´ erative”, Springer, 2006, 351-369. 6

    2006

  31. [39]

    Zhang, X

    Y . Zhang, X. Gao and L. Guo, Matching Rota-Baxter algebr as, matching dendriform algebras and matching pre-Lie algebras, J. Algebra 552 (2020), 134-170. 15

    2020

  32. [40]

    Zhang, L

    S. Zhang, L. Guo and W . Keigher, 2016. Monads and distributive laws for Rota–Baxter and di fferential algebras, Adv. Appl. Math. 72 (2016), 139-165. 3 School of Mathematics and Statistics, L anzhou University Lanzhou, 730000, C hina; G ansu Provincial Re- search Center for Bas...

    2016

  33. [1998]

    2, 3, 4, 5, 6, 7, 8, 9, 11, 14, 15, 16, 18, 24, 25

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.