skip to main content
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: assunto: Mathematics remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
An Operator-Theoretic Existence Proof of Solutions to Planar Dirichlét Problems
Material Type:
Artigo
Adicionar ao Meu Espaço

An Operator-Theoretic Existence Proof of Solutions to Planar Dirichlét Problems

McNicholl, Timothy H.

Complex analysis and operator theory, 2013-08, Vol.7 (4), p.1311-1319 [Periódico revisado por pares]

Basel: Springer Basel

Texto completo disponível

2
Implementing Euclid’s straightedge and compass constructions in type theory
Material Type:
Artigo
Adicionar ao Meu Espaço

Implementing Euclid’s straightedge and compass constructions in type theory

Kellison, Ariel ; Bickford, Mark ; Constable, Robert

Annals of mathematics and artificial intelligence, 2019-04, Vol.85 (2-4), p.175-192 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

3
Using Formal Verification to Evaluate Human-Automation Interaction: A Review
Material Type:
Artigo
Adicionar ao Meu Espaço

Using Formal Verification to Evaluate Human-Automation Interaction: A Review

Bolton, 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: IEEE

Texto completo disponível

4
G-monogenic mappings in a three-dimensional noncommutative algebra
Material Type:
Artigo
Adicionar ao Meu Espaço

G-monogenic mappings in a three-dimensional noncommutative algebra

Kuzmenko, Tetiana ; Shpakivskyi, Vitalii

Complex variables and elliptic equations, 2022-11, Vol.67 (11), p.2759-2769 [Periódico revisado por pares]

Colchester: Taylor & Francis

Texto completo disponível

5
Complex classical fields: An example
Material Type:
Artigo
Adicionar ao Meu Espaço

Complex classical fields: An example

Jaffe, 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 Inc

Texto completo disponível

6
Propagation of Regularity and Positive Definiteness: a Constructive Approach
Material Type:
Artigo
Adicionar ao Meu Espaço

Propagation of Regularity and Positive Definiteness: a Constructive Approach

Buescu, Jorge ; Paixão, António ; Oliveira, Claudemir

Zeitschrift 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 House

Texto completo disponível

7
Constructive description of monogenic functions in a finite-dimensional commutative associative algebra
Material Type:
Artigo
Adicionar ao Meu Espaço

Constructive description of monogenic functions in a finite-dimensional commutative associative algebra

Shpakivskyi, Vitalii

Advances in pure and applied mathematics (Berlin, Germany), 2016-01, Vol.7 (1), p.63-75 [Periódico revisado por pares]

Sem texto completo

8
Some points in formal topology
Material Type:
Artigo
Adicionar ao Meu Espaço

Some points in formal topology

Sambin, Giovanni

Theoretical computer science, 2003-08, Vol.305 (1-3), p.347-408 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

9
Asymptotics for discrete weighted minimal Riesz energy problems on rectifiable sets
Material Type:
Artigo
Adicionar ao Meu Espaço

Asymptotics for discrete weighted minimal Riesz energy problems on rectifiable sets

Borodachov, 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 Society

Texto completo disponível

10
Fixed point properties of C ∗ -algebras
Material Type:
Artigo
Adicionar ao Meu Espaço

Fixed point properties of C ∗ -algebras

Dhompongsa, 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 Inc

Texto completo disponível

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (36)
  2. Revistas revisadas por pares (35)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (33)
  2. Anais de Congresso  (2)
  3. Livros  (2)
  4. Book Chapters  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2001  (4)
  2. 2001Até2005  (10)
  3. 2006Até2009  (13)
  4. 2010Até2014  (9)
  5. Após 2014  (6)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.