Calling SageMath from an externel

asked 2020-07-03 10:28:17 -0600

We want to link Rodin (prover of Event-B writing in java) to SageMath software using the notion of Eclipse plugins. So we wonder if there is a method that allows us to call SageMath predifined functions from an outside environment (Rodin for example). ᐧ

edit retag flag offensive close merge delete


On which platform do you want to do this ?

Emmanuel Charpentier gravatar imageEmmanuel Charpentier ( 2020-07-04 03:07:52 -0600 )edit