Zobrazeno 1 - 10
of 336
pro vyhledávání: '"Dyson, Nicholas"'
In this work, we describe our experience in learning the use of a computer proof assistant - specifically, Lean - from scratch, through proving formulae for the solutions of polynomial equations. Specifically, in this work we characterize the solutio
Externí odkaz:
http://arxiv.org/abs/2201.00255
Autor:
Zaino, Angela M., Dash, Radha Charan, James, Stephy J., MacGilvary, Nathan, Crompton, Andrew, McPherson, Kerry S., Stanzione, Marcello, Korzhnev, Dmitry M., Dyson, Nicholas J., Chatterjee, Nimrat, Cantor, Sharon B., Hadden, M. Kyle
Publikováno v:
In Bioorganic & Medicinal Chemistry 15 May 2024 106
Publikováno v:
In Trends in Cell Biology April 2024 34(4):288-298
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Geng, Yan, Yu, Qunyan, Whoriskey, Wendy, Dick, Fred, Tsai, Kenneth Y., Ford, Heide L., Biswas, Debajit K., Pardee, Arthur B., Amati, Bruno, Jacks, Tyler, Richardson, Andrea, Dyson, Nicholas, Sicinski, Piotr
Publikováno v:
Proceedings of the National Academy of Sciences of the United States of America, 2001 Nov 01. 98(23), 13138-13143.
Externí odkaz:
https://www.jstor.org/stable/3057053
Publikováno v:
Proceedings of the National Academy of Sciences of the United States of America, 1998 Sep . 95(20), 11945-11950.
Externí odkaz:
https://www.jstor.org/stable/49292
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.