Purpose of the development: It is intended for automation of scientific and educational activities of theoretical and applied research within the framework of obviousness Algorithm (Evidence Algorithm). And also - to create a means of deductive and analytical processing of computer knowledge, submitted close to the natural formal language.

Recommended application field: - automation of reasons; - validation of mathematical (and other formal) texts; - distance learning mathematical disciplines; - the allocation of knowledge of mathematical operations; - the creation of formalized knowledge bases; - checking protocol correctness (cryptography, communications, etc.); - verification of software and hardware.

Advantages over analogues: - SAD is one of the leading systems help a person in the intellectual (mathematical) operations; - on a number of decisions and performance GARDEN surpasses them; - SAD has no analogues in Ukraine.

The development stage readiness: Ready for application

Description of the development:
()
A linguistic-deductive approach to the implementation of the automation of reasoning to support human intellectual activity in various areas. Version will automatically search findings in the logic of the 1st order and verifies the math texts submitted formal natural language.

corresponds technical description
Guarantees stable results getting

Photo

Country Ukraine

For additional information turn to:
E-mail: gal@uintei.kiev.ua