• BoijSoederberg

  • Referenced in 56 articles [sw18577]
  • Cohen-Macaulay modules and the Multiplicity conjecture”, by Mats Boij, Jonas Soederberg...
  • LexIdeals

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

  • Referenced in 4 articles [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...
  • 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...
  • 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 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • CASA

  • Referenced in 105 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • FLINT

  • Referenced in 58 articles [sw00297]
  • Fast library for number theory: an introduction. We...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gfun

  • Referenced in 144 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • HOM4PS

  • Referenced in 81 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KNITRO

  • Referenced in 197 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

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