T. L. Gavrilova, A. S. Kleschev, “An internal model of mathematical practice for interactive systems of theorem proof construction. Part 2. A mathematical dialect model”, Probl. Upr., 2006, no. 5, 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 5, Pages 68–73 (Mi pu377)

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

Artificial intelligence

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

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

Full-text PDF (302 kB) Citations (6)

Abstract: A formal model of the mathematical dialect is described. The mathematical dialect is the language used in the mathematical practice to prove mathematical statements. Its model is a formal language whose syntax, semantics and pragmatics as well as basic structures such as the definitions of mathematical terms and propositional, mathematical and metamathematical statements are defined.

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 2. A mathematical dialect model”, Probl. Upr., 2006, no. 5, 68–73

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~2. A~mathematical dialect model

\jour Probl. Upr.

\yr 2006

\issue 5

\pages 68--73

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

Linking options:

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

https://www.mathnet.ru/eng/pu/v5/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 6 articles:

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

Statistics & downloads:
Abstract page:	162
Full-text PDF :	66

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

Registration to the website

Logotypes