
BoijSoederberg
 Referenced in 46 articles
[sw18577]
 CohenMacaulay modules and the Multiplicity conjecture”, by Mats Boij, Jonas Soederberg...

LexIdeals
 Referenced in 10 articles
[sw27128]
 several functions for use with the multiplicity conjectures of Herzog, Huneke, and Srinivasan...

ELLFF
 Referenced in 4 articles
[sw06804]
 paper presents empirical evidence supporting Goldfeld’s conjecture on the average analytic rank ... possessing two places of multiplicative reduction and one place of additive reduction. The case ... distributions as they pertain to the density conjecture...

MHS
 Referenced in 1 article
[sw31594]
 typically transcendental numbers, there is a conjectural Galois theory of periods coming from the theory ... analogy between a class of periods called multiple zeta values and congruences for rational numbers...

NeuroVectorizer
 Referenced in 1 article
[sw32381]
 solution using deep reinforcement learning (RL). We conjecture that deep RL can capture different instructions ... further extend our framework to support multiple supervised learning methods. We evaluate our approaches against...

AXIOM
 Referenced in 169 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

CASA
 Referenced in 88 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CoCoA
 Referenced in 605 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1751 articles
[sw00161]
 Coq is a formal proof management system. It...

CXSC
 Referenced in 106 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

FLINT
 Referenced in 40 articles
[sw00297]
 Fast library for number theory: an introduction. We...

GAP
 Referenced in 2702 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gfun
 Referenced in 127 articles
[sw00344]
 The gfun package provides tools for determining and...

gmp
 Referenced in 256 articles
[sw00363]
 GMP is a free library for arbitrary precision...

HOM4PS
 Referenced in 70 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

Isabelle
 Referenced in 598 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

KNITRO
 Referenced in 165 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

LEDA
 Referenced in 258 articles
[sw00509]
 In the core computer science areas  data structures...

Macaulay2
 Referenced in 1576 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 2718 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...