Calling SageMath from an externel

asked 2020-07-03 17:28:17 +0200

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 10:07:52 +0200 )edit