Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Herman Geuvers
An Interactive Algebra Course With Formalised Proofs and Definitions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Verifying Computations With Streaming Interactive Proofs
Proceedings of the VLDB Endowment
Computer Science
Interactive Proofs With Provable Security Against Honest Verifiers
Time-Optimal Interactive Proofs for Circuit Evaluation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Publicly Verifiable Non-Interactive Zero-Knowledge Proofs
Minimum-Knowledge Interactive Proofs for Decision Problems
SIAM Journal on Computing
Mathematics
Computer Science
An Analysis of Interactive Learning Environments for Arithmetic and Algebra Through an Integrative Perspective
International Journal of Computers for Mathematical Learning
Proofs and Fundamentals: A First Course in Abstract Mathematics
Choice Reviews Online
The Power of Distributed Verifiers in Interactive Proofs
Divertible Zero Knowledge Interactive Proofs and Commutative Random Self-Reducibility
