你即將離開本站

並前往https://coq.inria.fr/refman/addendum/nsatz.html

Nsatz: a solver for equalities in integral domains - The Coq ...

where P,Q,P1,Q1,…,Ps,Qs are polynomials and A is an integral domain, i.e. a commutative ring with no zero divisors. For example, A can be R, Z, ...

確定！ 回上一頁

查詢 「Integral domain」的人也找了：

  1. integral domain中文
    2.
  2. Field is integral domain
    3.
  3. Principal ideal
    4.
  4. Integral domain 中文
    5.
  5. Finite integral domain is a field
    6.
  6. Principal ideal domain
    7.
  7. Unique factorization domain
    8.
  8. Integral domain characteristics
    9.