Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
The 'family trees' of mathematicsCastelvecchi, DavideNature (London), 2016-09, Vol.537 (7618), p.20 [Periódico revisado por pares]London: Nature Publishing GroupTexto completo disponível |
|
2 |
Material Type: Livro
|
Fast algorithms for structured matrices theory and applications : AMS-IMS-SIAM Joint Summer Research Conference on Fast Algorithms in Mathematics, Computer Science, and Engineering, August 5-9, 2001, Mount Holyoke College, South Hadley, MassachusettsAMS-IMS-SIAM Joint Summer Research Conference on Fast Algorithms in Mathematics, Computer Science, and Engineering (2001 Mount Holyoke College) Vadim Olshevsky 1961-Providence, R.I. American Mathematical Society Philadelphia, PA Society for Industrial and Applied Mathematics c2003Localização: IME - Inst. Matemática e Estatística (S C761 v.323 )(Acessar) |
|
3 |
Material Type: Livro
|
Mathematics of Program Construction: 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 ProceedingsSnepscheut, J. L. A. van de van de Snepscheut, J. L. A.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
|
4 |
Material Type: Livro
|
Computational Biology: First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000 Montpellier, France, May 3-5, 2000 Selected PapersGascuel, Olivier ; Sagot, Marie-France Gascuel, Olivier ; Sagot, Marie-FranceBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
|
5 |
Material Type: Artigo
|
Playing mathematicsWertheim, MargaretAnnals of the New York Academy of Sciences, 2019-12, Vol.1458 (1), p.70-74 [Periódico revisado por pares]United States: Wiley Subscription Services, IncTexto completo disponível |
|
6 |
Material Type: Livro
|
Algorithms, computation and mathematics Student textSchool Mathematics Study GroupStanford, Calif c1965Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (519.92 S372as )(Acessar) |
|
7 |
Material Type: Livro
|
Probabilistic Methods for Algorithmic Discrete MathematicsMichel McDiarmid, Colin Ramirez-Alfonsin, Jorge Habib Colin McDiarmid; Jorge Ramirez-Alfonsin; Bruce ReedSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Artigo
|
Advancing mathematics by guiding human intuition with AIDavies, Alex ; Veličković, Petar ; Buesing, Lars ; Blackwell, Sam ; Zheng, Daniel ; Tomašev, Nenad ; Tanburn, Richard ; Battaglia, Peter ; Blundell, Charles ; Juhász, András ; Lackenby, Marc ; Williamson, Geordie ; Hassabis, Demis ; Kohli, PushmeetNature (London), 2021-12, Vol.600 (7887), p.70-74 [Periódico revisado por pares]England: Nature Publishing GroupTexto completo disponível |
|
9 |
Material Type: Artigo
|
Global Convergence of ADMM in Nonconvex Nonsmooth OptimizationWang, Yu ; Yin, Wotao ; Zeng, JinshanJournal of scientific computing, 2019-01, Vol.78 (1), p.29-63 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
10 |
Material Type: Livro
|
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 ProceedingsBird, R. S ; Morgan, C. C ; Woodcock, J. C. P Woodcock, J. C. P. ; Morgan, C. C. ; Bird, R. S.Berlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |