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
Moving out three months into my one year lease. What happens?
Are peoples' competencies really as flat in D&D 5e as its math suggests?
Quick and Easy Beef Stew and Dumplings
Is it better to include shipping cost in the product price?
As a GM, how can I stop killing my games?
downloading files using wget
Bonus points, only negative
Significance of the name "Lorien"
Why is polling accepted in programming?
How to get to know my players' expectations?
MAC using a modified CBC mode of operation
Does \Twoheadleftrightarrow exist? How to write my own?
How do I include nulls during comparisons in SQL Server?
Does the Sleep spell use current or maximum hit points?
Where is data for items added to cart stored, if not logged in
Recovering a point embedding from a graph with edges weighted by point distance
How likely is it that Smartphone Camera GPS coordinates are wrong?
Grounding unused leg of bussed resistor?
How to deal with touchy/irritable supervisor?
What other living apex lifeforms are there other than dragons?
Who is the character with Palutena?
When I test out the difference in time between shifting and multiplying in C, there is no difference. Why?
Making 400k random choices from 400k samples seems to always end up with 63% distinct choices, why?
Does the SSL termination happen with the ISP or a mobile service provider?
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