2025/04/06 by Motaz Mokatren, Mokatren, Motaz
Computer Science · Mathematics · #Advanced Combinatorial Mathematics #Commutative Algebra (math.AC) #FOS: Mathematics #Formal Methods in Verification #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.2504.04433
openalex publication_date 2025/04/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The paper provides a necessary and sufficient condition for the composition of multivariable formal power series and present the Generalized Chain Rule for formal power series of multiple variables.