Software Packages in "questing", Subsection math

4ti2 (1.6.10+ds-1.1build1) [universe]: mathematical tool suite for problems on linear spaces -- tools
acl2 (8.6+dfsg-3) [universe]: Computational Logic for Applicative Common Lisp: main binary
acl2-books (8.6+dfsg-3) [universe]: Computational Logic for Applicative Common Lisp: compiled libraries
acl2-books-certs (8.6+dfsg-3) [universe]: Computational Logic for Applicative Common Lisp: library certificates
acl2-books-source (8.6+dfsg-3) [universe]: Computational Logic for Applicative Common Lisp: library sources