Keyword:integers

Publications
Groundbreaking Proof for Goldbach’s Conjecture Verification with Mathematical Induction Formula Budee U Zaman EasyChair Preprint 13920
Discover a Proof of Goldbach’s Conjecture Budee U Zaman EasyChair Preprint 13595
Towards a Precise Formula for Counting Prime Numbers Budee U Zaman EasyChair Preprint 13087
Every Prime Number Greater than Three Has Finitely Many Prime Friends Budee U Zaman EasyChair Preprint 12398
Prime Solutions to the Diophantine Equation 2^n = p^2 + 7 Budee U Zaman EasyChair Preprint 12323
Inductive Benchmarks for Automated Reasoning Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint 5531
A Theory of Arrays with set and copy Operations Stephan Falke, Carsten Sinz and Florian Merz In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories