證明者（prover）是2008年經全國科學技術名詞審定委員會審定發布的海峽兩岸信息科學技術名詞。
基本介紹
- 中文名：證明者
- 外文名：prover
- 所屬學科：信息科學技術
- 發布時間：2008年
- 台灣名：證明者
發布時間,出處,
發布時間
2008年經全國科學技術名詞審定委員會審定發布的海峽兩岸信息科學技術名詞。
出處
《海峽兩岸信息科學技術名詞》
證明者
相關詞條
- 證明者
證明者（prover）是2008年經全國科學技術名詞審定委員會審定發布的海峽兩岸信息科學技術名詞。發布時間2008年經全國科學技術名詞審定委員會審定發布的海峽兩岸信息科學技術名詞。1出處《海峽兩岸信息科學技術名詞》1...
- demonstrator
demonstrator，英語單詞，主要用作名詞，作名詞時譯為“示威者；論證者；指示者；證明者”。單詞用法 柯林斯英漢雙解大詞典 demonstrator /ˈdɛmənˌstreɪtə/ ( demonstrators )1.N-COUNTDemonstrators are people who are...
- certifier
certifier，英語單詞，主要用作名詞，作名詞時譯為“[法] 證明者”。短語搭配 Battery Certifier 電池產品認證工程師 Instructor Certifier 教練考試簽證官 Central Certifier 簽證官 Gas Certifier 燃氣具產品認證工程師 Certifier ID 證者ID...
- justifier
justifier，英語單詞，主要用作名詞，作名詞時譯為“辯護者；辯解者；證明者；整版工人”。短語搭配 TOPSPEED JUSTIFIER 父 text justifier 正文整版程式 justifier pleader 辯解者 雙語例句 God is justifier: that is grace.上帝是稱義...
- 零幣協定
它指的是證明者能夠在不向驗證者提供任何有用信息的情況下，使驗證者相信某個論斷是正確的，在零鈔的設計中，就採用了一種叫作zkSNARK （ zeroknowledge succinct noninteractive arguments ofknowledge）的非互動式的零知識證明。
- 費馬大定理(數學定理定律)
1816年巴黎科學院把費馬猜想轉化簡化歸結為n是奇素數的情況，認為費馬猜想應該成立，並稱之為費馬大定理（以區別費馬關於同餘的小定理），並為證明者設立大獎和獎章，費馬大定理之謎從此進一步風靡全球。費馬自己證明了n=4的情形。十九世紀...
- NEXPTIME
MIP證明系統可以解決NEXPTIME中的每個問題這一事實令人印象深刻，當我們考慮到當只有一個證明者存在時，我們只能識別所有PSPACE;驗證者“交叉檢查”兩個證明者的能力賦予它巨大的力量。有關詳細信息，請參閱互動式校樣系統#MIP。另一種表征...
