Keywords: اثبات های تعاملی; Property testing; Probabilistic proof systems; Interactive proofs;
مقالات ISI اثبات های تعاملی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Challenging epistemology: Interactive proofs and zero knowledge
Keywords: اثبات های تعاملی; Interactive proofs; Zero knowledge; Epistemology of mathematics
TPS: A hybrid automatic-interactive system for developing proofs
Keywords: اثبات های تعاملی; Tps; Theorem proving system; Automatic proofs; Semi-automatic proofs; Semi-interactive proofs; Interactive proofs; Type theory; Higher-order logic; First-order logic; Automating mathematics; Mathematics assistance system