Please use this identifier to cite or link to this item:
http://localhost:8081/xmlui/handle/123456789/9397
Title: | TEXT GENERATION FROM FORMAL PROOFS |
Authors: | Singh, Shyam Veer |
Keywords: | ELECTRONICS AND COMPUTER ENGINEERING;ELECTRONICS AND COMPUTER ENGINEERING;ELECTRONICS AND COMPUTER ENGINEERING;ELECTRONICS AND COMPUTER ENGINEERING |
Issue Date: | 1993 |
Abstract: | The work presented in this dissertation is concerned with the generation of En$Zish text from the formal proofs. In order to generate the text one formal proof of a theorem has been taken as an example formal proof. If a theorem is given to a mathematician to check its validity he , using the logical mathematics do it easily. The proof so achieved is called the formal proof. The steps of formal proof are nothing but the complex network of mathematical symbols. The major task performed by this package is to translate the formal proofs into written proofs in English language. The package was written in TURBO 'C' and tested on IBM PC/XT/AT in MS-DOS environment. |
URI: | http://hdl.handle.net/123456789/9397 |
Other Identifiers: | M.Tech |
Research Supervisor/ Guide: | Garg, Kum Kum |
metadata.dc.type: | M.Tech Dessertation |
Appears in Collections: | MASTERS' THESES (E & C) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
ECD246023.pdf | 2.39 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.