### A breakthrough in estimating the size of a (mostly hidden) network

A newly discovered connection between control theory and network dynamical systems could help estimate the size of a network even when a small portion is accessible.

A newly discovered connection between control theory and network dynamical systems could help estimate the size of a network even when a small portion is accessible.

General Physics

Apr 22, 2020

0

344

After eight years of debate, Japanese mathematician Shinichi Mochizuki has found a publisher for his mammoth undertaking—the inter-universal Teichmüller theory (IUT). As part of the 600-page proof, Mochizuki claims that ...

What if engineers could design a better jet with mathematical equations that drastically reduce the need for experimental testing? Or what if weather prediction models could predict details in the movement of heat from the ...

Mathematics

Dec 11, 2019

0

3458

Ordinary people see beauty in complex mathematical arguments in the same way they can appreciate a beautiful landscape painting or a piano sonata—and you don't need to be a mathematician to get it, a new study by Yale University ...

Mathematics

Sep 05, 2019

0

401

How do you prove something? What even is proof?

Mathematics

Jun 21, 2019

3

3

What motivates people to cooperate in collaborative endeavors? "First carrot, then stick". Tatsuya Sasaki, mathematician from the University of Vienna, has put forth for the first time ever a mathematical proof of this process. ...

Mathematics

Dec 03, 2014

3

1

Dividing bills, credit and material items between two people is a fairly simple and straightforward task.

Software

Nov 25, 2014

0

0

As an astrophysicist, I live and breathe science. Much of what I read and hear is couched in the language of science which to outsiders can seem little more than jargon and gibberish. But one word is rarely spoken or printed ...

Other

Sep 24, 2014

8

0

(Phys.org) —A team of researchers led by the man, Thomas Hales, who came up with written proof of the Kepler conjecture is now reporting that they have constructed a formal proof of the conjecture, which implies the use ...

(Phys.org) —A pair of mathematicians, Alexei Lisitsa and Boris Konev of the University of Liverpool, U.K., have come up with an interesting problem—if a computer produces a proof of a math problem that is too big to study, ...