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
Idea: Resource to avoid publishing something someone else published [closed]
Researchers often prove theorems but they don't know whether somebody else already published the same result. One strategy is to read papers on the topic or search keywords, however it would take way ...
Dec 20 '11 at 4:19
newest automated-theorem-proving publishing questions feed
Hot Network Questions
Is the apparent lack of (Ricci) curvature in the Schwarzschild metric due to a choice of coordinates?
Does China have the death penalty for spammers?
Single term that describes both "permissions" and "restrictions"
How to join objects with Python?
Setting the default profile in Thunderbird
Why can I use the same name for iterator and sequence in a Python for loop?
Can this result be simplified?
Swap elements in list without copy
American Gothic in the palette of Mona Lisa: Rearrange the pixels
What is the purpose of always locating/starting new chapters on odd pages?
Programming for future use of interfaces
Cannot cat or grep contents of file
Visualforce error Not Serializable: Component.flow.interview
Is it easier to read an inline or vertical names list?
Should I let a user know they have entered an unknown username or email address?
Understanding what contour package does
Why hasn't Jason Statham been nominated for any awards?
Are vectors and covectors the same thing?
Solve The Triangle
When does a particle go through the Higgs Field?
How to create circles and or sections of a circle when the centre is inaccessible
Can I take a finished game based on a licence to the holding company?
What does Hinduism states regarding 'God lives in us'
How effective are cutscenes in table top RPGs?
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