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 publishing automated-theorem-proving questions feed
Hot Network Questions
Maintaining a bunch of generic functions
Occasional counter too large error despite \MakePerPage
How can you decompose a constructor?
Why aren't most suspension bikes extremely long travel?
Cubicle assigned seating in office, requesting change in the face of refusal
Should I add sound effects to my web site?
Is the BTTF Series of games considered canon?
Mandelbrot image in every language
Figure numbering in \chapter*
A coworker beat me to resignation. How can I resign in a professional manner?
Is Hard Link equivalent to Windows Shortcut
Why can't find -regex match a newline?
Is my coding technique progressing in terms of C# loops?
What is a tactful way to address client's lack of cooperation with a project?
What are the benefits to a two-page login system for a webapp?
Can two mediums have same refractive indices?
Finding differences between Pi with varying number of decimals
Are there any rugged ebook readers out there?
How can I know if someone has logged into my account in Windows 7?
Loop optimization for image processing
Exception to Number Format Exception with "D" and "F"?
Trolling the troll
How to get the geometry type of an empty PostGIS table?
What is the source for the view that the Third Temple will be built by G-d and transported intact to Jerusalem?
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