• BoijSoederberg

  • Referenced in 46 articles [sw18577]
  • Cohen-Macaulay 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 special-purpose 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...
  • C-XSC

  • Referenced in 106 articles [sw00181]
  • C-XSC. 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]
  • HOM4PS-2.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...