GitHub topics: conjectures
chriscow/ramanujan-machine
The Ramanujan Machine is a brute force, algorithmic approach to finding conjectures for fundamental constants of mathematics.
Language: Go - Size: 1.27 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 2 - Forks: 0
mikkelmilo/rooster-spec
Automated Theory Exploration in Coq using Haskell's QuickSpec
Language: Coq - Size: 160 KB - Last synced at: 14 days ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 1
VrindaJoshi/Conjectures
programs to test the validity of mathematical conjectures
Language: Java - Size: 1.95 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
enisbeziau/Syracuse-NSI
Projet NSI | Conjecture de Syracuse
Language: HTML - Size: 4.77 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
josefdc/Conjeturas
Repositorio que explora conjeturas matemáticas icónicas a través de simulaciones y códigos en Python.
Language: Python - Size: 11.7 KB - Last synced at: 15 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1
thejessicafelts/collatz-conjecture
The Collatz Conjecture in multiple languages
Language: JavaScript - Size: 33.2 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
FKW9/collatz-visualization
Showcase of some properties of the collatz conjecture 3N+1
Language: Python - Size: 102 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
suryasashankgundepudi/my-first-shiny-app
This is my first shiny application. Plots the collatz conjecture movement for an input from the user
Language: R - Size: 26.4 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
nafSadh/Collatz-sequence
Half Or Triple Plus One
Language: Java - Size: 43.9 KB - Last synced at: 3 days ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
aureooms-research/radon
:spaghetti: Some conjecture
Language: Python - Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0
