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
Does knowing the ratio of masses of the elements in a compound lead to the unique chemical identity of the compound?
bashrc in custom folder
Splitting strings at lower case characters and numbers
When does L' Hospital's rule fail?
Should I call my adviser by her first name?
Poker in the Star Trek universe : What are the stakes?
Is it possible to travel around the world using JUST Low-cost carriers?
"Open and closed doors" riddle
Do professional cooks use measuring cups and spoons?
Anime with special weapons and female characters fighting?
Generate random numbers without repetitions
Does Spiritual Weapon stay until the end of its duration if the caster goes uncounscious?
If a program terminates and there is no one to see it, does it halt?
How to review a major revision of a paper?
What's wrong with public variables?
How did "stuck-up" get to mean "snob"?
Can I make a lump sum contribution to my employer's 401(k) plan?
Using funny error messages in Finance
What do 'hitbox' and 'hurtbox' mean?
These Primes of Mine Are Always Solid Lines
Symbol for "defined to be logically equivalent" (:⇔)
Does dark colour affect user's trust?
Using Python Add-In to delete/remove ArcMap layers that are turned off?
Sophocles — "Success is dependent on effort"?
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 Exchange
Stack Overflow Careers
site design / logo © 2014 stack exchange inc; user contributions licensed under
cc by-sa 3.0