Accéder à la navigation
Accueil
Sign in
Register
Themes
Life
Digital
Earth
Matter
Society
Space
Formats
Articles
Infographics
Opinions
Slideshows
Videos
Making sense of science
Follow
Twitter
Facebook
Instagram
Dailymotion
RSS
Version française
What is the CNRS ?
Search
Sign in
Register
My account
Newsletters
Life
Matter
Society
Space
Earth
Digital
My topics
Customize your navigation
Select your favorite keywords or themes and create your custom section
Log in
Register
Stay
Types
Articles
Infographics
Opinions
Slideshows
Videos
Stay
Top
Share
You are here
Home
/ Themes /
Satisfiability
Satisfiability
RSS feed
Digital
Article
The Longest Proof in the History of Mathematics
07.20.2016
Researchers use computers to create the world's longest proof, and solve a mathematical problem that had remained open for 35 years.
Read more
What's new
Most read
Tracking radioactive barrels in the Atlantic
Chantal Abergel, Viruses under her Skin
In the Days of Human Zoos
Who was Caracalla, the cruel emperor of Gladiator II?
How Many Sexes Are There?
Being gay or lesbian under Nazi rule
