TheoryGuru: A Mathematica Package to apply Quantifier Elimination

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Casey B. Mulligan, James H. Davenport, Matthew England

Journal title: In: J.H. Davenport, M. Kauers, G. Labahn and J. Urban, eds. Mathematical Software - ICMS 2018, pp. 369-378. (Lecture Notes in Computer Science 10931). Springer, 2018.

Journal number: 10931

Journal publisher: Springer International Publishing

Published year: 2018

Published pages: 369-378

DOI identifier: 10.1007/978-3-319-96418-8_44