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