swMATH20280MaRDI QIDQ32100FDOQ32100
Author name not available (Why is that?)
Official website: http://nemocas.org/
Cited In (61)
- Reconstruction.m
- LumpingPositiviser
- HyperRAF
- SaferIntegers.jl
- 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
- On ideal class group computation of imaginary multiquadratic fields
- Effective computations of the Atiyah-Bott formula
- Computing isomorphisms between lattices
- Efficient Gröbner bases computation over principal ideal rings
- alcove
- 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
- On the computation of overorders
- Arb
- CHAMP
- CTblLib
- SimplifySum
- mpiP
- OscaR
- BREIT_NO
- Julia
- Antic
- Pair correlation estimates for the zeros of the zeta function via semidefinite programming
- Mmxlib
- ERODE
- Hecke
- LDA
- AVIsogenies
- Ferret
- CAP
- BlackBoxOptim.jl
- Poissonsolver
- COMBOS
- Coleman
- OSCAR
- ObservabilityTest
- JRAF
- Legendre.jl
- SphericalHarmonics.jl
- WignerSymbols.jl
- DualOptimalFiltering
- Computation of lattice isomorphisms and the integral matrix similarity problem
- GBGR.mpl
- 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
- Exact Semidefinite Programming Bounds for Packing Problems
- On the computation of the endomorphism rings of abelian surfaces
- CLUE
- Multi-experiment parameter identifiability of ODEs and model theory
- Standard lattices of compatibly embedded finite fields
This page was built for software: Nemo
