to customize your list.
more stack exchange communities
Start here for a quick overview of the site
Detailed answers to any questions you might have
Discuss the workings and policies of this site
Is there an automated way to prove really boring elementary number theoretic results?
Motivation: I'm writing a proof, and within it, I need to prove: Conjecture: Let $p$ be an odd prime (i.e. $p \neq 2$). Let $c \geq 2$, $d \geq 1$ and $r \geq 1$. If $p^r$ divides $cd$, then ...
Mar 10 '11 at 3:20
Douglas S. Stones
newest automated-theorem-proving elementary-number-theory questions feed
Hot Network Questions
What does ImageSize -> 1 -> 1 mean?
Prove that a polynomial has at least one nonreal complex root
What's the English equivalent of "Drilling one's head"?
What? No error?
Why do we not shower every night?
What's the origin of the English infix?
What really happened to sound design?
No user-defined variables EXTREME POINT FREENESS
Is it possible for a modern commercial airplane (namely Boeing 777) to stop being tracked without substantial mechanical failure?
Where can I find the Chasam Sofer's poems?
Why do the Jedi insist on the concept of "No Attachment"?
Print from command line
What is wrong with this Windows shutdown command?
New players missing the big picture?
Page Numbering: Prime Numbers
Why would spacetime curvature cause gravity?
Any issue with nesting "using" statements in c#?
Bringing the fox, the goose and the cereal across the river unharmed
Scary Font Echo Effect
If I target my own Rancor with a Terastodon will the effect still take place and give me a 3/3 elephant token?
Are the following IF statements acceptable?
Trolling the troll
Understanding Haskell Type Signatures
Is an infinite line the same thing as an infinite circle?
more hot questions
Life / Arts
Culture / Recreation
TeX - LaTeX
Unix & Linux
Ask Different (Apple)
Geographic Information Systems
Science Fiction & Fantasy
Seasoned Advice (cooking)
Personal Finance & Money
English Language & Usage
Mi Yodeya (Judaism)
Cross Validated (stats)
Theoretical Computer Science
Meta Stack Overflow
Stack Overflow Careers
site design / logo © 2014 stack exchange inc; user contributions licensed under
cc by-sa 3.0