#Tapecalc 2.1 software#
Software Packages in "focal", Subsection math 4ti2 (1.6.9+ds-2build1) mathematical tool suite for problems on linear spaces - tools acl2 (8.2dfsg-3build1) Computational Logic for Applicative Common Lisp: main binary acl2-books (8.2dfsg-3build1) Computational Logic for Applicative Common Lisp: compiled libraries acl2-books-certs (8.2dfsg-3build1) Computational Logic for Applicative Common Lisp: library certificates acl2-books-source (8.2dfsg-3build1) Computational Logic for Applicative Common Lisp: library sources acl2-emacs (8.2dfsg-3build1) Computational Logic for Applicative Common Lisp: emacs interface acl2-infix (8.2dfsg-3build1) Computational Logic for Applicative Common Lisp: infix interface acl2-infix-source (8.2dfsg-3build1) Computational Logic for Applicative Common Lisp: infix source acl2-source (8.2dfsg-3build1) Computational Logic for Applicative Common Lisp: source files admesh (0.98.4-1) Tool for processing triangulated solid meshes.
0 kommentar(er)
