| CARVIEW |
Select Language
HTTP/2 302
content-type: text/html; charset=utf-8
location: //fmv.jku.at/lpac/
vary: Origin
x-request-id: 01KF3DKZ9PD3M4PJ35T4PFJEQX
content-length: 41
date: Fri, 16 Jan 2026 12:48:53 GMT
HTTP/2 200
accept-ranges: bytes
cache-control: max-age=600
content-type: text/html; charset=utf-8
etag: "6eb996eab52cf1ece84e8bcdf0c9098455aa98f8d4214cdc612732cacd3708a8"
expires: Fri, 16 Jan 2026 13:58:53 CET
last-modified: Thu, 25 Sep 2025 14:38:37 GMT
vary: Origin
x-request-id: 01KF3DKZE9RXF8GBQSGWK76M0J
content-length: 5959
date: Fri, 16 Jan 2026 12:48:53 GMT
Linear Practical Algebraic Calculus
|
team
|
Linear Practical Algebraic CalculusThis page provides access to the source code, benchmarks, and experiments. News2021: First release of Pacheck 2.0 (available here) and Pastèque 2.0 (available here). CompilationFor Pacheck 2.0, ensure GMP (on linux, use your package manager) is installed and use ``./configure.sh && make''. For Pasteque 2.0, ensure MLton is installed and use ``make llvm'' (or ``make'' if your MLton does not support LLVM code generation or if it fails due to fPIC errors). Experimental Data[ KaufmannFleuryBiereKauers-FMSD-data.tar.xz ] experimental data (21.3 MB) |
