Constrained symbolic simulation with mathematica and ACL2

G. Al Sammane, D. Toma, J. Schmaltz, P. Ostier, D. Borrione

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    3 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Constrained symbolic simulation with mathematica and ACL2'. Together they form a unique fingerprint.

    Computer Science

    Mathematics