Cited in
(61)- Multi-experiment parameter identifiability of ODEs and model theory
- Standard lattices of compatibly embedded finite fields
- Constructing equivariant vector bundles via the BGG correspondence
- On property (T) for \(\Aut(F_n)\) and \(\mathrm{SL}_n(\mathbb{Z})\)
- Exact inference for a class of hidden Markov models on general state spaces
- Effective computations of the Atiyah-Bott formula
- On ideal class group computation of imaginary multiquadratic fields
- Computing isomorphisms between lattices
- Efficient Gröbner bases computation over principal ideal rings
- Interpretable exact linear reductions via positivity
- Nemo/Hecke. Computer algebra and number theory packages for the Julia programming language
- Primes in arithmetic progressions and semidefinite programming
- \(k\)-point semidefinite programming bounds for equiangular lines
- FLINT
- FriCAS
- LMFDB
- Arb
- CHAMP
- CTblLib
- SimplifySum
- mpiP
- OscaR
- BREIT_NO
- Julia
- Antic
- Mmxlib
- ERODE
- Hecke
- LDA
- AVIsogenies
- Ferret
- CAP
- BlackBoxOptim.jl
- Poissonsolver
- COMBOS
- Coleman
- OSCAR
- ObservabilityTest
- JRAF
- Legendre.jl
- SphericalHarmonics.jl
- WignerSymbols.jl
- DualOptimalFiltering
- On the computation of overorders
- Pair correlation estimates for the zeros of the zeta function via semidefinite programming
- alcove
- Reconstruction.m
- LumpingPositiviser
- HyperRAF
- SaferIntegers.jl
- Computation of lattice isomorphisms and the integral matrix similarity problem
- Computation of tight enclosures for Laplacian eigenvalues
- Algorithmically solving the tadpole problem
- Graphs.jl
- Towards the classification of symplectic linear quotient singularities admitting a symplectic resolution
- Imaginary multiquadratic number fields with class group of exponent \(3\) and \(5\)
- Relations among Ramanujan-type congruences. I
- CLUE
- Exact Semidefinite Programming Bounds for Packing Problems
- On the computation of the endomorphism rings of abelian surfaces
- GBGR.mpl
This page was built for software: Nemo
