Copertina

Power Series Composition in Near-Linear Time

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kinoshita, Yasunori, Li, Baitian
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Symbolic Computation I.1.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Complete Reduction for Derivatives in a Primitive Tower
di: Du, Hao, et al.
Pubblicazione: (2025)

Complete Reduction for Derivatives in a Transcendental Liouvillian Extension
di: Chen, Shaoshi, et al.
Pubblicazione: (2026)

Non-minimality of minimal telescopers explained by residues
di: Chen, Shaoshi, et al.
Pubblicazione: (2025)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
di: England, Matthew
Pubblicazione: (2024)

Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants
di: Sule, Virendra
Pubblicazione: (2023)

Integer Polynomial Factorization by Recombination of Real Factors: Re-evaluating an Old Technique in Modern Era
di: Iravanian, Shahriar
Pubblicazione: (2024)

Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
di: Lin, Yi, et al.
Pubblicazione: (2025)

The Syntax and Semantics of einsum
di: Wenig, Maurice, et al.
Pubblicazione: (2025)

Symbolic Integration in Weierstrass-like Extensions
di: Chen, Shaoshi, et al.
Pubblicazione: (2026)

Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections
di: Eberly, Wayne, et al.
Pubblicazione: (2007)

Certification of the QR factor R, and of lattice basis reducedness
di: Villard, Gilles
Pubblicazione: (2007)

Normalization of Quaternionic Polynomials in Coordinate-Free Quaternionic Variables in Conjugate-Alternating Order
di: Li, Hongbo, et al.
Pubblicazione: (2025)

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
di: Davenport, James H., et al.
Pubblicazione: (2026)

Symbolic Summation of Multivariate Rational Functions
di: Chen, Shaoshi, et al.
Pubblicazione: (2022)

Invariants: Computation and Applications
di: Kogan, Irina A.
Pubblicazione: (2024)

Smith normal forms of bivariate polynomial matrices
di: Lu, Dong, et al.
Pubblicazione: (2025)

Complex reflection groups as differential Galois groups
di: Arreche, Carlos E., et al.
Pubblicazione: (2024)

Semi-Centennial REDUCE
di: Norman, Arthur C., et al.
Pubblicazione: (2025)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
di: Davenport, James H., et al.
Pubblicazione: (2023)

SynPAT: A System for Generating Synthetic Physical Theories with Data
di: Lenchner, Jonathan, et al.
Pubblicazione: (2025)

FePySR: A Neural Feature Extraction Framework for Efficient and Scalable Symbolic Regression
di: Yu, Zhiming, et al.
Pubblicazione: (2026)

Computing square roots in quaternion algebras
di: Koprowski, Przemysław
Pubblicazione: (2023)

D-algebraic Guessing
di: Tabuguia, Bertrand Teguia
Pubblicazione: (2025)

$XX^{t}$ Can Be Faster
di: Rybin, Dmitry, et al.
Pubblicazione: (2025)

Optimal Secure Coded Distributed Computation over all Fields
di: Soto, Pedro
Pubblicazione: (2025)

Performant Dynamically Typed E-Graphs in Pure Julia
di: Cheli, Alessandro, et al.
Pubblicazione: (2024)

Performance Comparison of Function Evaluation Methods
di: Liberti, Leo
Pubblicazione: (2002)

On Minimal and Minimum Cylindrical Algebraic Decompositions
di: Michel, Lucas, et al.
Pubblicazione: (2024)

Further results on Minimal and Minimum Cylindrical Algebraic Decompositions
di: Michel, Lucas, et al.
Pubblicazione: (2026)

Mechanisms of Symbol Processing for In-Context Learning in Transformer Networks
di: Smolensky, Paul, et al.
Pubblicazione: (2024)

Computing with D-Algebraic Sequences
di: Tabuguia, Bertrand Teguia
Pubblicazione: (2024)

Probabilistic Shoenfield Machines
di: Bujok, Maksymilian, et al.
Pubblicazione: (2024)

Hypergeometric-Type Sequences
di: Tabuguia, Bertrand Teguia
Pubblicazione: (2023)

Deciding summability via residues in theory and in practice
di: Arreche, Carlos E.
Pubblicazione: (2025)

Positivity certificates for linear recurrences
di: Ibrahim, Alaa, et al.
Pubblicazione: (2023)

Arboretum.hs: Symbolic manipulation for algebras of graphs
di: Bronasco, Eugen, et al.
Pubblicazione: (2026)

A Symbolic Computing Perspective on Software Systems
di: Norman, Arthur C., et al.
Pubblicazione: (2024)

A computational approach to rational summability and its applications via discrete residues
di: Arreche, Carlos E., et al.
Pubblicazione: (2025)

Random Alloy Codes and the Fundamental Limits of Coded Distributed Tensors
di: Soto, Pedro
Pubblicazione: (2022)

Hypergeometric Solutions of Linear Difference Systems
di: Barkatou, Moulay, et al.
Pubblicazione: (2024)