Advanced Search

Question: "Proof Assistant" in to do list of Maple developers (availablity) ?

Question:"Proof Assistant" in to do list of Maple developers (availablity) ?

Fereydoon_Shekofte 223 Maple
July 27 2017
0

salute ! all Maplesoft managers and employee programers ...

Is there any fortune in near future to have some kind of machin based "Proof Assistant" as built in part of Maple IDE ?

it can be better than COQ ?


also there is a great lack of user interactivity by Geometry and Geometry3d packages of maple !!!

for example most of the time it is nessesary (and more facilated) to define geometrical primitive shapes manually or making simple transformations and dissectings attaching ... rather than doing them programaticaly or by commands ?

even having traditional tools like compass ruler ... in pallettes of Geometry window ?


BEST WISHES FOR MAPLESOFT

 
Please Wait...