Search Results - "Carballosa, Walter"

Education-oriented Proof Assistant Based on Calculational Logic: Proof Theory Algorithms and Assessment Experience by Flaviani, Federico, Carballosa, Walter

“…This work presents an interactive proof assistant, based on Dijkstra-Scholten logic, aimed at teaching logic and discrete mathematics in higher education. The…”
Get full text

Exponential topological indices: optimal inequalities and applications by Carballosa, Walter, Quintana, Yamilet, Rodríguez, José M., Sigarreta, José M.

“…In this work we obtain inequalities relating a general topological index of a graph, F ( G ) = ∑ u v ∈ E ( G ) f ( d u , d v ) , with its corresponding…”
Get full text

Computational properties of the arithmetic–geometric index by Carballosa, Walter, Granados, Ana, Méndez Bermúdez, José Antonio, Pestana, Domingo, Portilla, Ana

“…The concept of arithmetic–geometric index was introduced in the chemical graph theory recently, but it has shown to be useful. We obtain in this paper new…”
Get full text

Relations between the general sum connectivity index and the line graph by Carballosa, Walter, Pestana, Domingo, Sigarreta, José M., Tourís, Eva

“…The concept of general sum connectivity index was introduced in the area of chemical graph theory recently. Several of its particular cases have proven to…”
Get full text

Relations between some topological indices and the line graph by Carballosa, Walter, Granados, Ana, Pestana, Domingo, Portilla, Ana, Sigarreta, José M.

“…The concepts of geometric–arithmetic and harmonic indices were introduced in the area of chemical graph theory recently. They have proven to correlate well…”
Get full text

Regularity and Planarity of Token Graphs by Carballosa, Walter, Fabila-Monroy, Ruy, Leaños, Jesús, Rivera, Luis Manuel

“…Let = ( , ) be a graph of order and let 1 ≤ be an integer. The of is the graph whose vertices are all the -subsets of , two of which are adjacent whenever…”
Get full text

On the hyperbolicity of Delaunay triangulations by Carballosa, Walter, Rodríguez, José M., Sigarreta, José M.

“…If $ X $ is a geodesic metric space and $ x_1, x_2, x_3\in X $, a geodesic triangle $ T = \{x_1, x_2, x_3\} $ is the union of the three geodesics $ [x_1 x_2]…”
Get full text

f-Polynomial on Some Graph Operations by Carballosa, Walter, Rodríguez, José Manuel, Sigarreta, José María, Vakhania, Nodari

“…Given any function f : Z + → R + , let us define the f-index I f ( G ) = ∑ u ∈ V ( G ) f ( d u ) and the f-polynomial P f ( G , x ) = ∑ u ∈ V ( G ) x 1 / f ( d…”
Get full text

Hyperbolicity of Direct Products of Graphs by Carballosa, Walter, de la Cruz, Amauris, Martínez-Pérez, Alvaro, Rodríguez, José

“…It is well-known that the different products of graphs are some of the more symmetric classes of graphs. Since we are interested in hyperbolicity, it is…”
Get full text

Total k-domination in Cartesian product of complete graphs by Carballosa, Walter, Wisby, Justin

“…Let G=(V,E) be a finite undirected graph. A set S of vertices in V is said to be total k-dominating if every vertex in V is adjacent to at least k vertices in…”
Get full text

Alliance polynomial of regular graphs by Carballosa, Walter, Rodríguez, José M., Sigarreta, José M., Torres-Nuñez, Yadira

“…The alliance polynomial of a graph G with order n and maximum degree Δ is the polynomial A(G;x)=∑k=−ΔΔAk(G)xn+k, where Ak(G) is the number of exact defensive…”
Get full text

Gromov hyperbolicity in lexicographic product graphs by Carballosa, Walter, de la Cruz, Amauris, Rodríguez, José M

“…If X is a geodesic metric space and x 1 , x 2 , x 3 ∈ X , a geodesic triangle T = { x 1 , x 2 , x 3 } is the union of the three geodesics [ x 1 x 2 ] , [ x 2 x…”
Get full text

Proof Assistant Based on Calculational Logic to Assist the Learning of Propositional Logic and Boolean Algebras by Flaviani, Federico, Carballosa, Walter

“…Through a friendly user interface it is possible to bring students closer to the proof assistants, so that they can use this type of software as educational…”
Get full text

On the Differential Polynomial of a Graph by Basilio-Hernández, Ludwin A., Carballosa, Walter, Leaños, Jesús, Sigarreta, José M.

“…We introduce the differential polynomial of a graph. The differential polynomial of a graph G of order n is the polynomial B ( G ; x ) := ∑ k = − n ∂ ( G ) B k…”
Get full text

Cohen-Macaulayness of triangular graphs by de Alba, Hernán, Carballosa, Walter, Duarte, Daniel, Rivera, Luis Manuel

“…We study the Cohen-Macaulay property of triangular graphs Tn. We show that T2, T3 and T5 are Cohen-Macaulay graphs, and that T4, T6, T8 and Tn are not…”
Get full text

Hyperbolicity in the corona and join of graphs by Carballosa, Walter, Rodríguez, José M., Sigarreta, José M.

“…If X is a geodesic metric space and x 1 , x 2 , x 3 ∈ X , a geodesic triangle T  = { x 1 , x 2 , x 3 } is the union of the three geodesics [ x 1 x 2 ], [ x 2 x…”
Get full text

On the Hyperbolicity of Edge-Chordal and Path-Chordal Graphs by Bermudo, Sergio, Carballosa, Walter, Rodríguez, José M., Sigarreta, José M.

“…If X is a geodesic metric space and 𝑥₁, 𝑥₂, 𝑥₃ ∈ 𝑋, ageodesic triangle𝑇 = {𝑥₁, 𝑥₂, 𝑥₃} is the union of the three geodesics [𝑥₁𝑥₂], [𝑥₂𝑥₃] and…”
Get full text

Distortion of the hyperbolicity constant in minor graphs by Carballosa, Walter, Pestana, Domingo, Rodríguez, José M., Sigarreta, José M.

“…The main aim in this work is to obtain quantitative information about the distortion of the hyperbolicity constant of the graph G\e (respectively, G/e)…”
Get full text

Characterization of the hyperbolicity in the lexicographic product by Carballosa, Walter, de la Cruz, Amauris, Rodríguez, José M.

“…If X is a geodesic metric space and x1,x2,x3∈X, a geodesic triangleT={x1,x2,x3} is the union of the three geodesics [x1x2], [x2x3] and [x3x1] in X. The space X…”
Get full text

On the Hyperbolicity Constant in Graph Minors by Carballosa, Walter, Rodríguez, José M., Rosario, Omar, Sigarreta, José M.

“…A graph H is a minor of a graph G if a graph isomorphic to H can be obtained from G by contracting some edges, deleting some edges, and deleting some isolated…”
Get full text