DocumentCode
2086322
Title
Mathematical structure of the system of an automated admission of the formulas of algebra of algorithms-sequences
Author
Brytkovskyj, Vasil
Author_Institution
Autom. & Comput. Technol., Ukranian Acad. of Printing, Lviv, Ukraine
fYear
2001
fDate
12-17 Feb. 2001
Firstpage
285
Lastpage
286
Abstract
The algorithms at the formalized level in the analytical form are described by algebra of algorithms-sequences, which ensures the exact description of an algorithm with possibilities of identical transformations with the purpose of optimization behind selected criteria, construction and research of a mathematical model. A synthesis and optimization of mathematical structure, which decreased the amount of symbols and amount of operators, was performed.
Keywords
algorithm theory; modelling; optimisation; algorithms-sequences algebra; automated admission; mathematical model; mathematical structure; optimization; Algebra; Algorithm design and analysis; Application software; Computer graphics; Design automation; Mathematical model; Mice; Printing; Software packages;
fLanguage
English
Publisher
ieee
Conference_Titel
CAD Systems in Microelectronics, 2001. CADSM 2001. Proceedings of the 6th International Conference. The Experience of Designing and Application of
Conference_Location
Lviv-Slavsko, Ukraine
Print_ISBN
966-553-079-8
Type
conf
DOI
10.1109/CADSM.2001.975841
Filename
975841
Link To Document