• plfit

  • Referenced in 269 articles [sw23186]
  • different disciplines, each of which has been conjectured to follow a power-law distribution ... some cases we find these conjectures to be consistent with the data, while in others...
  • E Theorem Prover

  • Referenced in 206 articles [sw10187]
  • first-order clauses or formulas, and a conjecture, again either in clausal or full first ... find a formal proof for the conjecture, assuming the axioms. If a proof is found ... that can be individually verified. If the conjecture is existential...
  • GRAFFITI

  • Referenced in 198 articles [sw07495]
  • conjectures of Graffiti The above mentioned article introduces a computer program, Graffiti, which makes graph ... theoretical conjectures. Graffiti has a library of certain types of graphs and it is capable ... graph-theoretical invariants; a formula is a conjecture if none of the graphs known...
  • kepler98

  • Referenced in 194 articles [sw23625]
  • Proof of the Kepler Conjecture. The Kepler conjecture asserts that no packing of congruent balls ... proof of the Kepler Conjecture by Sam Ferguson and Tom Hales. This code...
  • LMFDB

  • Referenced in 162 articles [sw07249]
  • Hypothesis and the Birch and Swinnerton-Dyer Conjecture. L-functions arise from and encode information...
  • AutoGraphiX

  • Referenced in 142 articles [sw06137]
  • extremal graphs could be extracted and conjectures may be generated automatically or found...
  • ROBBINS

  • Referenced in 106 articles [sw11649]
  • paper ”Proof of the alternating sign matrix conjecture” It empirically verifies every non-trivial statement...
  • BoijSoederberg

  • Referenced in 56 articles [sw18577]
  • with the investigation of the Boij-Soederberg conjectures and theorems. For the definitions and conjectures ... Cohen-Macaulay modules and the Multiplicity conjecture”, by Mats Boij, Jonas Soederberg...
  • HR

  • Referenced in 29 articles [sw10392]
  • objects of interest, concepts about those objects, conjectures relating the concepts and proofs ... conjectures. In group theory, for example, the objects of interest are the groups themselves ... include element types, subgroup types, etc., the conjectures include implication and if-and-only ... conjectures and these become theorems if they are proved, non-theorems if disproved. Similar...
  • Ivy

  • Referenced in 39 articles [sw10279]
  • logic. The top ACL2 function takes a conjecture, preprocesses the conjecture, and calls...
  • House of Graphs

  • Referenced in 50 articles [sw06693]
  • graph theoretic problems or as counterexamples to conjectures. This list can be extended by users...
  • Curve25519

  • Referenced in 32 articles [sw30300]
  • other authors’ results at the same conjectured security level (with or without the side benefits...
  • ChaCha

  • Referenced in 31 articles [sw07098]
  • designed to improve diffusion per round, conjecturally increasing resistance to cryptanalysis, while preserving—and often...
  • IsaPlanner

  • Referenced in 30 articles [sw02047]
  • reasoning techniques, which can be used to conjecture and prove theorems automatically. The system provides...
  • Graffiti.pc

  • Referenced in 16 articles [sw07152]
  • DeLaViña) are computer programs that produce conjectures in graph theory. Pointers to information about ... programs and to selected lists of conjectures can be found at [D]. A postscript file ... clarson/wow-july2004.ps) is available containing the first 894 conjectures produced by Fajtlowicz using Graffiti (through ... parameters on a database of graphs, mostly conjecturing inequalities. Here we provide a sample...
  • Blossom V

  • Referenced in 28 articles [sw04780]
  • solving a linear program, contrary to a conjecture by Cook and Rohe...
  • GraPHedron

  • Referenced in 16 articles [sw25129]
  • GraPHedron. Interactive and Automated Conjectures in Extremal Graph Theory. GraPHedron is a conjecture-making system ... published papers contain results that where first conjectured with the help of GraPHedron...
  • HOLyHammer

  • Referenced in 26 articles [sw11553]
  • Light, and to attack arbitrary conjectures that use the concepts defined in some...
  • MathCheck

  • Referenced in 13 articles [sw13642]
  • either counterexample or finitely verify open universal conjectures on any mathematical topic (e.g., graph ... searches for a counterexample to the input conjecture (just like the T in DPLL ... look at two long-standing open mathematical conjectures from graph theory regarding properties of hypercubes ... first conjecture states that any matching of any d-dimensional hypercube can be extended...
  • GRAPH

  • Referenced in 25 articles [sw19079]
  • helping to pose, verify or disprove conjectures. The present article surveys 92 papers, mostly...