maple, контр. по алгебраическим структурам, компьют. эксп. в геометрии с программ. в maple_рос 243

Предмет- Алгебраические структуры, дан многогранник - дважды наращенный октаэдр(шестиромб), доказательство сформулировано, но его нужно править, а так же забить это в программу maple, методические материалы все есть , задание для него в текстовом файле, , пример доказательства на фото,Предмета 2, но зачет по нему стоит один. Одно в другое переходит. Сначала доказательство, а уж потом программирование этого доказательства в maple. Все подробности в МУ.