Transseries: Ratios, Grids, and Witnesses
G. A. Edgar
TL;DR
This paper discusses the structure of transseries, focusing on ratio sets, grids, and witnesses, highlighting open questions and gaps in the current theoretical framework.
Contribution
It introduces the concept of witnesses in the grid-based formulation of transseries and explores related questions and missing proofs.
Findings
Analysis of ratio sets and grids in transseries
Introduction of the witness concept for tracking ratios
Identification of open questions and gaps in proofs
Abstract
More remarks and questions on transseries. In particular we deal with the system of ratio sets and grids used in the grid-based formulation of transseries. This involves a "witness" concept that keeps track of the ratios required for each computation. There are, at this stage, questions and missing proofs in the development.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsConstraint Satisfaction and Optimization · Formal Methods in Verification · Logic, programming, and type systems