T. L. Gavrilova, A. S. Kleschev, “An internal model of mathematical practice for interactive systems of theorem proof construction. Part 3. A proof model”, Probl. Upr., 2006, no. 6, 68

Problemy Upravleniya

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	General information
	Latest issue
	Archive
	Impact factor

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Probl. Upr.:
Year:
Volume:
Issue:
Page:
	Find

Personal entry:
Login:
Password:
	Save password
	Enter
	Forgotten password?
	Register

Problemy Upravleniya, 2006, Issue 6, Pages 68–71 (Mi pu394)

This article is cited in 5 scientific papers (total in 5 papers)

Artificial intelligence

An internal model of mathematical practice for interactive systems of theorem proof construction. Part 3. A proof model

T. L. Gavrilova, A. S. Kleschev

Institute for Automation and Control Processes, Far Eastern Branch of the Russian Academy of Sciences

Full-text PDF (166 kB) Citations (5)

References:

PDF

HTML

Abstract: The paper completes the series of 3 articles describing the model of mathematical practice for an automated theorem proving system. Reasoning rules used in proof construction are formulated. A model of a complete proof is determined. The examples of mathematical statements in MMD language – a formal model of a mathematical dialect – and a model of correct complete proof for one of them are presented.

Document Type: Article

UDC: 681.3.057.51-7.311.17

Language: Russian

Citation: T. L. Gavrilova, A. S. Kleschev, “An internal model of mathematical practice for interactive systems of theorem proof construction. Part 3. A proof model”, Probl. Upr., 2006, no. 6, 68–71

Citation in format AMSBIB

\Bibitem{GavKle06}

\by T.~L.~Gavrilova, A.~S.~Kleschev

\paper An internal model of mathematical practice for interactive systems of theorem proof construction. Part~3. A~proof model

\jour Probl. Upr.

\yr 2006

\issue 6

\pages 68--71

\mathnet{http://mi.mathnet.ru/pu394}

Linking options:

https://www.mathnet.ru/eng/pu394

https://www.mathnet.ru/eng/pu/v6/p68

Cycle of papers

An internal model of mathematical practice for interactive systems of theorem proof construction. Part 1. General model description
T. L. Gavrilova, A. S. Kleschev
Probl. Upr., 2006, 4, 32–35
An internal model of mathematical practice for interactive systems of theorem proof construction. Part 2. A mathematical dialect model
T. L. Gavrilova, A. S. Kleschev
Probl. Upr., 2006, 5, 68–73
An internal model of mathematical practice for interactive systems of theorem proof construction. Part 3. A proof model
T. L. Gavrilova, A. S. Kleschev
Probl. Upr., 2006, 6, 68–71

This publication is cited in the following 5 articles:

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Statistics & downloads:
Abstract page:	173
Full-text PDF :	75
References:	38

Что такое QR-код?

Registration to the website

Logotypes