Convergence of Newton's method over commutative semirings

DOI10.1016/j.ic.2015.11.008zbMath1333.68188OpenAlexW116818910MaRDI QIDQ899320

Michael Luttenberger, Maximilian Schlund

Publication date: 28 December 2015

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2015.11.008

zbMATH Keywords

Newton's methodsemiringsalgebraic language theoryHorton-Strahler numberpolynomial fixed-point equations

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Related Items (3)

Rational index of languages with bounded dimension of parse trees ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algorithms for combinatorial structures: well-founded systems and Newton iterations
• A simple linear-time algorithm for finding path-decompositions of small width
• Handbook of weighted automata
• Quickly excluding a forest
• The average number of registers needed to evaluate a binary tree optimally
• The number of registers required for evaluating arithmetic expressions
• Equational elements in additive algebras
• Parikh's theorem: a simple and direct automaton construction
• Axiomatizing rational power series over natural numbers
• Derivation-bounded languages
• Weighted pushdown systems and their application to interprocedural dataflow analysis
• A lattice-theoretical fixpoint theorem and its applications
• Newtonian program analysis
• FPsolve: A Generic Solver for Fixpoint Equations over Semirings
• On programming of arithmetic operations
• Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations
• On Fixed Point Equations over Commutative Semirings
• On Etol Systems with Finite Tree-Rank
• Commutative Regular Equations and Parikh's Theorem
• PATHWIDTH AND LAYERED DRAWINGS OF TREES
• Automated Deduction – CADE-20
• An Extension of Newton’s Method to ω-Continuous Semirings
• Inclusion relations among families of context-free languages
• A Generic Approach to the Static Analysis of Concurrent Programs with Procedures

This page was built for publication: Convergence of Newton's method over commutative semirings