Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
An Operator-Theoretic Existence Proof of Solutions to Planar Dirichlét ProblemsMcNicholl, Timothy H.Complex analysis and operator theory, 2013-08, Vol.7 (4), p.1311-1319 [Periódico revisado por pares]Basel: Springer BaselTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Implementing Euclid’s straightedge and compass constructions in type theoryKellison, Ariel ; Bickford, Mark ; Constable, RobertAnnals of mathematics and artificial intelligence, 2019-04, Vol.85 (2-4), p.175-192 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Using Formal Verification to Evaluate Human-Automation Interaction: A ReviewBolton, M. L. ; Bass, E. J. ; Siminiceanu, R. I.IEEE transactions on systems, man, and cybernetics. Systems, 2013-05, Vol.43 (3), p.488-503 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
G-monogenic mappings in a three-dimensional noncommutative algebraKuzmenko, Tetiana ; Shpakivskyi, VitaliiComplex variables and elliptic equations, 2022-11, Vol.67 (11), p.2759-2769 [Periódico revisado por pares]Colchester: Taylor & FrancisTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Complex classical fields: An exampleJaffe, Arthur ; Jäkel, Christian D. ; Martinez, Roberto E.Journal of functional analysis, 2014-02, Vol.266 (3), p.1833-1881 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Propagation of Regularity and Positive Definiteness: a Constructive ApproachBuescu, Jorge ; Paixão, António ; Oliveira, ClaudemirZeitschrift für Analysis und ihre Anwendungen, 2018-01, Vol.37 (1), p.1-24 [Periódico revisado por pares]Zuerich, Switzerland: European Mathematical Society Publishing HouseTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Constructive description of monogenic functions in a finite-dimensional commutative associative algebraShpakivskyi, VitaliiAdvances in pure and applied mathematics (Berlin, Germany), 2016-01, Vol.7 (1), p.63-75 [Periódico revisado por pares]Sem texto completo |
8 |
Material Type: Artigo
|
![]() |
Some points in formal topologySambin, GiovanniTheoretical computer science, 2003-08, Vol.305 (1-3), p.347-408 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Asymptotics for discrete weighted minimal Riesz energy problems on rectifiable setsBorodachov, S. V. ; Hardin, D. P. ; Saff, E. B.Transactions of the American Mathematical Society, 2008-03, Vol.360 (3), p.1559-1580 [Periódico revisado por pares]Providence, RI: American Mathematical SocietyTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Fixed point properties of C ∗ -algebrasDhompongsa, S. ; Fupinwong, W. ; Lawton, W.Journal of mathematical analysis and applications, 2011-02, Vol.374 (1), p.22-28 [Periódico revisado por pares]Amsterdam: Elsevier IncTexto completo disponível |