Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by A.S. Kleschev
Implementation of the Shell and Knowledge Portal for Mathematical Proofs Verification on the Iacpaas Platform
Ontology of designing
Related publications
On the Application of Tychonoff's Theorem in Mathematical Proofs
Fundamenta Mathematicae
Number Theory
Algebra
On the Concrete Complexity of Zero-Knowledge Proofs
Formal Proofs of Code Generation and Verification Tools
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Certification and Zero-Knowledge Proofs of Knowledge on Infrastructure Topology Graphs
Strategic Maneuvering in Mathematical Proofs
Argumentation
Linguistics
Philosophy
Language
The Dementias Platform UK (DPUK) Data Portal
European Journal of Epidemiology
Epidemiology
Minimum-Knowledge Interactive Proofs for Decision Problems
SIAM Journal on Computing
Mathematics
Computer Science
The Why/Krakatoa/Caduceus Platform for Deductive Program Verification
The Knowledge Medium - A Conceptual Framework for the Design and Implementation of a Platform Supporting the Community of AIDS Researchers and Practitioners
