Results 31 to 40 of about 264,685 (296)
Economía Agraria y Recursos Naturales, 2016 José Juan Romero y Gabriel Ferrero (Eds.) 2004 Editorial Desclée de Brouwer ...
José Mª March Poquet
doaj +1 more source
On Brouwer's conjecture for the sum of k largest Laplacian eigenvalues of graphs
Linear Algebra and its Applications, 2019 Let G be a simple graph with n vertices. For 1 ≤ k ≤ n , denote by S k ( G ) the sum of k largest Laplacian eigenvalues of G. It is conjectured by Brouwer that S k ( G ) ≤ e ( G ) + ( k + 1 2 ) , where e ( G ) is the number of edges in G. This conjecture
Xiaodan Chen
semanticscholar +1 more source
Leo Brouwer: 80 años sublimando el lenguaje guitarrístico
Opus, 2019 Leo Brouwer, el guitarrista, el compositor, el teórico que une los extremos de los diversos estilos musicales en un continuum sabio y vital. A seguir, mostraremos una conversación en la que el músico cubano da muestra de su sofisticado pensamiento ...
Fernando Elías Llanos
doaj +1 more source
, 2017 We explore the relationship between Brouwer's intuitionistic mathematics and Euclidean geometry. Brouwer wrote a paper in 1949 called "The contradictority of elementary geometry".
M. Beeson
semanticscholar +1 more source
Interpolation in Normal Extensions of the Brouwer Logic [PDF]
, 2016 The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer ...
Kostrzycka, Zofia
core +1 more source
Spectral threshold dominance, Brouwer's conjecture and maximality of Laplacian energy [PDF]
, 2016 The Laplacian energy of a graph is the sum of the distances of the eigenvalues of the Laplacian matrix of the graph to the graph's average degree. The maximum Laplacian energy over all graphs on n nodes and m edges is conjectured to be attained for ...
C. Helmberg, V. Trevisan
semanticscholar +1 more source
Brouwer's fixed-point theorem in real-cohesive homotopy type theory [PDF]
Mathematical Structures in Computer Science, 2015 We combine homotopy type theory with axiomatic cohesion, expressing the latter internally with a version of ‘adjoint logic’ in which the discretization and codiscretization modalities are characterized using a judgemental formalism of ‘crisp variables ...
Michael Shulman
semanticscholar +1 more source
Implementing Brouwer’s database of strongly regular graphs [PDF]
Des. Codes Cryptogr., 2016 Andries Brouwer maintains a public database of existence results for strongly regular graphs on $$n\le 1300$$n≤1300 vertices. We have implemented most of the infinite families of graphs listed there in the open-source software Sagemath (The Sage ...
Nathann Cohen, D. Pasechnik
semanticscholar +1 more source
Revista de Fomento Social, 2003 Reseñas de la obra de: BARCELÓ, B., (2003), Crecer en grupo. Una aproximación desde el enfoque centrado en la persona, Bilbao, Desclée de Brouwer, 324 págs. MONTERO SIMÓ, M.J., (2003), El marketing de las ONGD. La gestión del cambio social, Bilbao,
José Luis Trechera Herreros +2 more
doaj +1 more source
Higher order functions and Brouwer’s thesis [PDF]
Journal of functional programming, 2016 Extending Martín Escardó’s effectful forcing technique, we give a new proof of a well-known result: Brouwer’s monotone bar theorem holds for any bar that can be realized by a functional of type (ℕ→ℕ)→ℕ in Gödel’s System T.
Jonathan Sterling
semanticscholar +1 more source