An Interactive Algebra Course With Formalised Proofs and Definitions

Lecture Notes in Computer Science - Germany
doi 10.1007/11618027_21
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Verifying Computations With Streaming Interactive Proofs

Proceedings of the VLDB Endowment
Computer Science
2011English

Interactive Proofs With Provable Security Against Honest Verifiers

English

Time-Optimal Interactive Proofs for Circuit Evaluation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Publicly Verifiable Non-Interactive Zero-Knowledge Proofs

English

Minimum-Knowledge Interactive Proofs for Decision Problems

SIAM Journal on Computing
MathematicsComputer Science
1989English

An Analysis of Interactive Learning Environments for Arithmetic and Algebra Through an Integrative Perspective

International Journal of Computers for Mathematical Learning
2009English

Proofs and Fundamentals: A First Course in Abstract Mathematics

Choice Reviews Online
2000English

The Power of Distributed Verifiers in Interactive Proofs

2020English

Divertible Zero Knowledge Interactive Proofs and Commutative Random Self-Reducibility

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy