Calling SageMath from an externel

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

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

Comments

On which platform do you want to do this ?

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