TL;DR
The paper discusses new features of the symbolic manipulation system FORM, presents recent results from its multithreaded version TFORM, and outlines future development plans.
Contribution
It introduces new features of FORM, reports on the performance of TFORM, and discusses future enhancements.
Findings
Recent results demonstrate TFORM's multithreaded performance.
New features improve FORM's capabilities.
Future plans aim to enhance system scalability.
Abstract
Some of the new features of the symbolic manipulation system FORM are discussed. Then some recent results running its multithreaded version TFORM are shown. Finally the plans for the future are presented.
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.