Dynamical sequences: closure properties and automatic identity proving

MaRDI QIDQ7216751arXivFDO

Authors Jason P. Bell, Yuxuan Sun

Publication date 2026

Published in arXiv

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Rational and birational maps (14E05)

arXiv classification

cs.SC

This page was built for publication: Dynamical sequences: closure properties and automatic identity proving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7216751)