Old Web
English
Sign In
Acemap
>
Paper
>
THEORETICAL FOUNDATIONS FOR CREATION OF A SHELL FOR INTERACTIVE SYSTEMS OF INTUITIVE MATHEMATICAL PROOFS VERIFICATION
THEORETICAL FOUNDATIONS FOR CREATION OF A SHELL FOR INTERACTIVE SYSTEMS OF INTUITIVE MATHEMATICAL PROOFS VERIFICATION
2018
A. S. Kleschev
V. A. Timchenko
Keywords:
Theoretical computer science
Mathematical proof
Mathematics
Calculus
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]