conjecture

There are 0 repository under conjecture topic.

• data61 / PSL

  proofpslisabelleproof-strategiesconjectureholmachine-learningartificial-intelligenceitpinteractive-theorem-provingdomain-specific-languageinductionproof-assistantformal-proofsformal-verificationformal-methodsproof-search
  Language:Isabelle 63

• markgoodhead / dictate-wizard

  Dictate Wizard is an open source dictation tool powered by OpenAI's Whisper. The goal is to obsolete as much typing as possible and let you speak your emails, instant messages etc instead.

  conjecturefaster-whisperopenaiwhispersoniox
  Language:Python 18

• bitwyre / chebyshev_primality_testing

  Chebyshev polynomials of the first kind and primality testing

  cchebyshev-polynomialsconjectureprimecongruenceprime-numbersmodprimality-test
  Language:C++ 7

• SuprDewd / jay

  Given initial terms of an unknown generating function F, conjecture a functional equation that F satisfies.

  conjecturegenerating-functionmathematics
  Language:C++ 6

• Anigulig / Collatz

  A python program to run the Collatz algorithm

  collatz-algorithmpythonconjecture
  Language:Python 5

• dickeyy / Collatz-Calculator

  A calculator to test numbers against the collatz conjecture

  collatzconjecturepythoncalculatorcollatz-conjectureguitkinteralgorithm
  Language:Python 2

• enisbeziau / Syracuse-NSI

  Projet NSI | Conjecture de Syracuse

  collatz-conjectureconjectureskakutani-s-problemsyracuse-problemcollatzconjecturekakutanisyracuse
  Language:HTML 1

• gexahedron / cycle-double-covers

  Various code related to the problem of cycle (circuit) double covers

  berge-fulkerson-conjectureconjecturecycle-coverscycle-double-cover-conjecturegraph-theorynz5-flowsperfect-matchingspetersen-graph
  Language:Jupyter Notebook 1

• markuszeller / collatz-strokes

  Create colorful background images utilizing the Collatz conjecture

  processingcollatzconjecturestrokesvisualizationdatasciencerenderdigital-artjava
  Language:Processing 1

• non-compliant / Collatz-Conjecture

  Calculate the number of steps before a given input reaches one, when the rules of Collatz Conjecture are applied.

  conjecturemathlibgmpcbig-number
  Language:C 1

• ranjanistic / collatz-conjecture

  Collatz Conjecture implementation in various languages and or environments.

  conjecturecollatz-conjecturemathematics
  Language:HTML 1

• Zelakolase / CycleBruteForce

  Optimized Cycle finder for Collatz Conjecture generalization (qx+c)

  collatzconjecturejava
  Language:Java 1

• 01one / AdvancedCalculation

  advanced-calculationsconjecturecythongoldbach-conjecturemathematicspygamepythontravelling-salesman-problem
  Language:Python 0

• amolgorithm / collatz-conjecture-visualizer

  Enter a natural number and watch how it transforms to 1 through the Collatz process.

  conjecturemathpythonvisualization
  Language:Python 0

• CaptainChicky / Hailstone-Numbers

  The mysteries of the Collatz Conjecture

  collatzconjecturehistogrammathplotsprime-numberspythonscatterplotvisuals
  Language:Python 0

• enisbeziau / Rendu-1

  Conjecture de Syracuse | partie n°1

  collatzconjecturekakutanisyracuse
  Language:HTML 0

• johnnynalley / collatz_conjecture

  The Collatz Conjecture is a mathematical conjecture where if you enter any integer into the program, it will be divided by half or multiplied by 3 however many times it takes to reach 1, depending on if the number is even or odd..

  collatz-conjectureconjecturepython
  Language:Python 0

• JSalmon11 / CONJETURA-DE-COLLATZ

  Programa de la Conjetura de Collatz (Teorema 3x+1) hecho con programación de hilos.

  hiloshilos-sincronizadosnetbeansconjecturecollatz-conjecturemathsthreadjava
  Language:Java 0

• Kartmaan / collatz_conjecture

  Graphic representations of Collatz sequences

  collatz-conjectureconjecturesyracusemathematicspyqt5pyqtgraphgraphicscollatzcollatz-sequencescollatz-problemcollatz-algorithmcollatzconjecturemathunsolved-problems
  Language:Python 0

• mavreyn / collatz-streamlit

  Interactive Visualization of the Collatz conjecture using Streamlit

  collatzconjectureinteractivemathematicsstreamlit
  Language:Python 0

• RandyRDavila / Linear_TxGraffiti

  A python program that automatically produces mathematical conjectures in the field of graph theory.

  conjecturegraph-theoryinvariants
  Language:Python 0

• SporadicDrake / Collatz-Conjecture-C-Sharp-

  This is a simple program that runs through C# to prove the Collatz Conjecture. This repository includes the code (in PDF format) and the .EXE file (to run).

  c-sharpconjecturefirst-project
  0

• void4main / collatz-conjecture

  Get to understand the Collatz conjecture

  conjecturecollatzsimple
  Language:C 0

• ibLeDy / exercism-submissions

  Completed exercisms on exercism.io

  python3exercismexercism-solutionsexercism-pythonexercism-exercisesexercisesconjectureferverifiergardenfactorscipherschooltranslationsongscoreexercise-solutionsexercism-python-challengesexercism-python-trackexercism-track
  Language:Python

• Kartmaan / prime-number-analysis

  Analysis notebook on prime numbers

  prime-numbersmathmathematicsprimeanalysisconjecturefibonaccifibonacci-numbersfibonacci-sequencematplotlibnotebooknumber-theorynumpypolyfitprime-number-algorithmtrends
  Language:Jupyter Notebook

• Rudxain / 82k

  Find numbers that can be written as 0s and 1s in all bases

  binarybitsconjecturenumbersnumeralsradixseximal82000
  Language:Rust

• Rudxain / collatz_finder

  Tries to find a counter-example to the Collatz Conjecture, in Rust

  3nplus1collatzcollatz-conjecturecollatz-problemconjecturemathsearchcomputer-science
  Language:Rust