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
Who was Caracalla, the cruel emperor of Gladiator II?
The long-lost sarcophagus of Ramses II has finally been found
Why birds do not fall while sleeping
WWI: Origins of a Conflict
Mont Saint Michel Reveals New Secrets
Van Eyck was a precursor of augmented reality
