Hi Meryem,
I guess what you are looking for is a sagemath API, or more precisely, a
Python API. The most straightforward approaches which are actually
independent of Java/the JVM are going over the operating system (calling a
shell or system command) or the network (using an Interface such as the
Hello,
I am Meryem Afendi, a Phd Student at Paris-Est Créteil University. My Phd
thesis is about formal verification of Cyber Physical Systems (CPSs) using
the formal method Event-B [1] and its support tool Rodin [2,3]. Rodin is an
Eclipse-based IDE that allows modelling and verifying systems in
