краткое введение
Книга руководствуется теоретической системой геометрической алгебры и автоматической теоремой, чтобы доказать идею мышления. ..&LDQUO&Rdquo;&LDQUO&Соглашение RDQUO;Основное содержание книги включает в себя: теория прогресса и формализации геометрической алгебры; Движение гироскопии предварительных случаев предварительного применения гироскопии, таких как формализованный анализ.Автор долгое время проводил исследования в области формализации системы и принципов теоремы о белой динамике и продолжает работать в области проверки безопасности робота. Результаты этого процесса.