你即將離開本站

並前往https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.61.3041&rep=rep1&type=pdf

Proving Equalities in a Commutative Ring Done Right in Coq

After the experiences of mar- rying computer algebra systems with theorem provers to get both efficiency and reliability [9], it now seems reasonable to use Coq ...

確定！ 回上一頁

查詢 「Commutative ring」的人也找了：

  1. Commutative ring
    2.
  2. Boolean ring
    3.
  3. Group ring
    4.
  4. Division ring
    5.
  5. Integer ring
    6.
  6. Lie algebra
    7.
  7. Ring math
    8.
  8. Group ring field
    9.