Report on Prototype D

Summary
D2.3 (responsible: UBAH, delivery date: M12): Report on the progress on making Maple’s cylindrical algebraic decomposition “SMT-compliant”.
More information & hyperlinks
Web resources: https://www.ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5b48bd2a1&appId=PPGMS
Search
Search on Google
Search on Bing
Search on DuckDuckGo
Associated projects
Organisations
  • Not specified
Powered by Chris Decubber BV