Code optimization in FORM

ما اجرای اجرای بهینه سازی کد خروجی را در فرم سیستم جبر کامپیوتری منبع باز توصیف می کنیم. این پیاده سازی بر اساس تکنیک های اخیر کشف شده درخت درخت مونت کارلو برای یافتن چندین متغیر هورنر در ترکیب با سایر الگوریتم های بهینه سازی، از قبیل حذف فرعی متعارف است. برای سیستم هایی که هیچ دانش خاصی ارائه نمی شود، آن ها به طور قابل ملاحظه ای بهتر از سایر روش های ما می توانند مقایسه کنند. از آنجا که این روش دارای تعدادی پارامتر آزاد است، ما همچنین برخی از روش های مختلفی را برای تنظیم آنها به انواع مختلف مشکلات نشان می دهد.