conjectures

There are 11 repositories under conjectures topic.

mikkelmilo/rooster-spec
Automated Theory Exploration in Coq using Haskell's QuickSpec
Language:Coq4 1 11
chriscow/ramanujan-machine
The Ramanujan Machine is a brute force, algorithmic approach to finding conjectures for fundamental constants of mathematics.
Language:Go2 0 00
JOSMAN-UE/Computer-Algebra-System
C.Algebra System derived fron own Author works.
Language:C2 1 00
enisbeziau/Syracuse-NSI
Projet NSI | Conjecture de Syracuse
Language:HTML1 1 00
EricOfWilliams/BatemanHorn
Code relating to the Bateman-Horn Conjecture
Language:Jupyter Notebook1 1 00
josefdc/Conjeturas
Repositorio que explora conjeturas matemáticas icónicas a través de simulaciones y códigos en Python.
Language:Python1 1 01
thejessicafelts/collatz-conjecture
The Collatz Conjecture in multiple languages
Language:C++1 2 00
aureooms-research/radon
:spaghetti: Some conjecture
Language:Python0 2 00
FKW9/collatz-visualization
Showcase of some properties of the collatz conjecture 3N+1
Language:Python0 1 60
suryasashankgundepudi/my-first-shiny-app
This is my first shiny application. Plots the collatz conjecture movement for an input from the user
Language:R0 1 00
nafSadh/Collatz-sequence
Half Or Triple Plus One
Language:Java2 0