Implementation of the Shell and Knowledge Portal for Mathematical Proofs Verification on the Iacpaas Platform

Ontology of designing
doi 10.18287/2223-9537-2018-8-3-427-448
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Samara State National Research University

Related search

On the Application of Tychonoff's Theorem in Mathematical Proofs

Fundamenta Mathematicae
Number TheoryAlgebra
1951English

On the Concrete Complexity of Zero-Knowledge Proofs

English

Formal Proofs of Code Generation and Verification Tools

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Efficient Certification and Zero-Knowledge Proofs of Knowledge on Infrastructure Topology Graphs

2014English

Strategic Maneuvering in Mathematical Proofs

Argumentation
LinguisticsPhilosophyLanguage
2008English

The Dementias Platform UK (DPUK) Data Portal

European Journal of Epidemiology
Epidemiology
2020English

Minimum-Knowledge Interactive Proofs for Decision Problems

SIAM Journal on Computing
MathematicsComputer Science
1989English

The Why/Krakatoa/Caduceus Platform for Deductive Program Verification

English

The Knowledge Medium - A Conceptual Framework for the Design and Implementation of a Platform Supporting the Community of AIDS Researchers and Practitioners

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy