swMATH440MaRDI QIDQ13198FDOQ13198
Author name not available (Why is that?)
Official website: https://cs.uwaterloo.ca/~astorjoh/iml.html
Cited In (23)
- Simultaneous rational function reconstruction with errors: handling multiplicities and poles
- A BLAS based C library for exact linear algebra on integer matrices
- The SAGEX review on scattering amplitudes Chapter 5: Analytic bootstraps for scattering amplitudes and beyond
- Heptagons from the Steinmann cluster bootstrap
- Floating-Point LLL: Theoretical and Practical Aspects
- Algorithms for solving linear systems over cyclotomic fields
- An algebraic algorithm for solving parametric integer programs
- An algorithm for solving parametric integer program
- An introspective algorithm for the integer determinant
- Title not available (Why is that?)
- LinBox
- isl
- The shifted number system for fast linear algebra on integer matrices
- JavaSMT
- PipLib
- SpaSM
- A survey of satisfiability modulo theory
- bgg-cohomology
- Cryptographic aspects of real hyperelliptic curves
- Deformed quantum cohomology and (0,2) mirror symmetry
- Exact solutions to linear systems of equations using output sensitive lifting
- A computer algorithm for the BGG resolution
- Relaxed \(p\)-adic Hensel lifting for algebraic systems
This page was built for software: IML - Integer Matrix Library
