理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- point separator
- point sequence
- point set
- point-set topology
- point singularity
- point slope form
- point slope method
- points of finite order on elliptic curve
- point source
- Point Source Catalog Redshift Survey
- point-source function
- point-source hologram
- point-source model
- point source of water pollution
- Point source pollution
- point source pollution in ocean
- point source wastewater treatment
- point space
- point spectrum
- point spectrum type flow
- point sphere
- point spread function
- points problem
- point stabilizer
- point-state control