JAMPACK

MaRDI QIDQ21702swMATHFDO

Official website http://www.mathematik.hu-berlin.de/~lamour/software/JAVA/Jampack/

Cited in

(11)

• ABC: algebraic bound computation for loops
• Automatic translation of Fortran to JVM bytecode
• Aligator
• RComp
• Valigator
• jblas
• JAMA
• ABC
• JLAPACK
• Invariant and type inference for matrices
• A method of obtaining verified solutions for linear systems suited for Java

This page was built for software: JAMPACK