Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
![]() |
Argumentação e demonstração dos alunos do Ensino Médio: uma proposta de investigação matemática sobre crescimento e decrescimento de funções afinsCampos, Rodrigo RuizBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2017-11-21Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Artigo de Congresso
|
![]() |
An efficient algorithm for representing piecewise linear functions into logicSandro Preto Marcelo Finger; International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020 (15. 2020 Salvador, Brasil)Electronic Notes in Theoretical Computer Science Amsterdam v. 351, p.167-186, 2020Amsterdam Elsevier 2020Localização: IME - Inst. Matemática e Estatística (PROD-3013847 )(Acessar) |
3 |
Material Type: Artigo
|
![]() |
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiabilitySandro Preto Marcelo FingerMathematical Structures in Computer Science Cambridge v. 32, n. 9, p. 1119-1144, 2022Cambridge 2022Localização: IME - Inst. Matemática e Estatística (PROD-3078150 )(Acessar) |
4 |
Material Type: Tese de Doutorado
|
![]() |
Semantics modulo satisfiability with applications: function representation, probabilities and game theoryPreto, Sandro Márcio Da SilvaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2021-06-04Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Formal Power Series and Linear Systems of Meromorphic Ordinary Differential EquationsWerner BalserSpringer New York 2000Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
Leçons sur les fonctions définies par les équations différentielles du premier ordre professées au Collége de FrancePierre Boutroux 1880-1922 Paul Painlevé 1863-1933Paris Gauthier-Villars 1908Localização: ICMC - Inst. Ciên. Mat. Computação (34-02 B781L e.1 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Time-Varying Systems and ComputationsDewilde Alle-Jan van der Veen; Alle-Jan van der VeenSpringer US 1998Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Livro
|
![]() |
Mathematical analysis linear and metric structures and continuityMariano Giaquinta 1947- Giuseppe ModicaBoston Birkhäuser c2007Localização: ICMC - Inst. Ciên. Mat. Computação (15-01 G434ma e.1 )(Acessar) |
9 |
Material Type: Livro
|
![]() |
L functions for the orthogonal groupD. Ginzburg (David) I. I Pëiìateëtìskiæi-Shapiro 1929- (Il§ëiìa Iosifovich); Stephen Rallis 1942-Providence, R.I. American Mathematical Society 1997Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 Memoirs v.611 ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Complex analysis on infinite dimensional spacesSeán Dineen 1944-London Springer New York c1999Localização: IME - Inst. Matemática e Estatística (QA327 D583a e.2 )(Acessar) |