• formal power series

    نویسندگان :
    جزئیات بیشتر مقاله
    • تاریخ ارائه: 1392/07/24
    • تاریخ انتشار در تی پی بین: 1392/07/24
    • تعداد بازدید: 751
    • تعداد پرسش و پاسخ ها: 0
    • شماره تماس دبیرخانه رویداد: -
     we present a formalization of the topological ring of formal power series in isabelle/hol. we also formalize formal derivatives, division, radicals, composition and reverses. as an application, we show how formal elementary and hyper-geometric series yield elegant proofs for some combinatorial identities. we easily derive a basic theory of polynomials. then, using a generic formalization of the fraction field of an integral domain, we obtain formal laurent series and rational functions for free.

سوال خود را در مورد این مقاله مطرح نمایید :

با انتخاب دکمه ثبت پرسش، موافقت خود را با قوانین انتشار محتوا در وبسایت تی پی بین اعلام می کنم
مقالات جدیدترین رویدادها
مقالات جدیدترین ژورنال ها