• Kyungpook Mathematical Journal
• /
• v.63 no.3
• /
• pp.345-353
• /
• 2023

Reduced solutions of size 2 and degree n of the Tarry-Escott problem over M₂(ℚ) are determined. As an application, the diophantine equation αAⁿ + βBⁿ = αCⁿ + βDⁿ, where α, β are rational numbers satisfying α + β ≠ 0 and n ∈ {1, 2}, is completely solved for A, B, C, D ∈ M₂(ℚ).

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2004.04a
• /
• pp.9-16
• /
• 2004

This paper deals with the development of computational schemes for the dynamic analysis of flexible and nonlinear multibody systems. Different from the existing method, this paper introduces the quaternion algebra to develop the equation of the conservation of energy. Simultaneously, Rodrigues parameters are used to express the finite rotation for the proposed scheme. The proposed energy scheme is derived such that it provides unconditionally stable conditions for the nonlinear problems. Several examples of dynamic systems are presented which illustrate the efficiency and accuracy of the developed energy schemes.

• Journal of applied mathematics & informatics
• /
• v.26 no.5_6
• /
• pp.1185-1189
• /
• 2008

In this paper we show that the polynomial of degree 9 called generalized algebraicity is a polynomial identity for $3{\times}3$ matrices. ([5])

• Journal of applied mathematics & informatics
• /
• v.13 no.1_2
• /
• pp.405-411
• /
• 2003

We prove that 25 different Artinian O-Sequences of codimension 3 type 3 with length 7 among all possible 334 cases are not level.

• Journal of applied mathematics & informatics
• /
• v.36 no.3_4
• /
• pp.237-244
• /
• 2018

Let ${\mathcal{H}}$ be an infinite dimensional separable Hilbert space with a fixed orthonormal base $\{e_1,e_2,{\cdots}\}$. Let L be the subspace lattice generated by the subspaces $\{[e_1],[e_1,e_2],[e_1,e_2,e_3],{\cdots}\}$ and let $Alg{\mathcal{L}}$ be the algebra of bounded operators which leave invariant all projections in ${\mathcal{L}}$. Let p and q be natural numbers (p < q). Let ${\mathcal{A}}$ be a linear manifold in $Alg{\mathcal{L}}$ such that $T_{(p,q)}=0$ for all T in ${\mathcal{A}}$. If ${\mathcal{A}}$ is a Lie ideal, then $T_{(p,p)}=T_{(p+1,p+1)}={\cdots}=T_{(q,q)}$ and $T_{(i,j)}=0$, $p{\eqslantless}i{\eqslantless}q$ and i < $j{\eqslantless}q$ for all T in ${\mathcal{A}}$.

• Journal of applied mathematics & informatics
• /
• v.23 no.1_2
• /
• pp.517-523
• /
• 2007

Let R/I be an Artinian algebra of codimension 3 with Hilbert function H such that $h_{d-1}>h_d=h_{d+1}$. Ahn and Shin showed that A cannot be level if ${\beta}_{1,d+2}(Gin(I))={\beta}_{2,d+2}(Gin(I))$ where Gin(I) is a generic initial ideal of I. We prove that some certain graded Artinian algebra R/I cannot be level if either ${\beta}_{1,d}(I^{lex})={\beta}_{2,d}(I^{lex})+1\;or\;{\beta}_{1,d+1}(I^{lex})={\beta}_{2,d+1}(I^{lex})\;where\;I^{lex}$ is a lex-segment ideal associated to I.

• Journal of applied mathematics & informatics
• /
• v.23 no.1_2
• /
• pp.369-383
• /
• 2007

This paper is devoted to the foldness theory of implicative ideals in BCK-algebras. We use the fuzzy point concept to give some characterizations of fuzzy n-fold implicative ideals and establish some relationships with various n-fold ideals. We also construct some algorithms for studying the foldness of implicative ideals in BCK-algebras.

• Computational Structural Engineering
• /
• v.9 no.2
• /
• pp.16-22
• /
• 1996

스페이스 프레임의 설계과정에서 컴퓨터의 급진적인 진보와 많은 연구노력의 결과로 전체 설계과정이 통합자동화 방향으로 진행되고 있으며, 특히 구조해석과 구조설계분야에서 중요한 진보가 이루어져 왔다. 본문에서는 스페이스 프레임의 설계과정을 시스템화함에 있어서 자동화 방법론의 개괄적인 내용과 스페이스 프레임의 3차원적인 복잡한 형태를 표현하기 위한 Formex 대수학 (FORMEX ALGEBRA)의 적용사례에 대한 설명 및 후처리단계에서 해석결과치를 가지고 코드검토에 대한 규준식의 소개와 프로그램에 대한 내용을 설명한다.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.591-603
• /
• 2005

A representation for non-commutative Banach algebras is discussed, which generalizes the Gelfand representation for commutative Banach algebras and the Gelfand-Naimark representation for $C^{\ast}$-algebras. Its basic properties are also investigated. In appendix, an example of Banach algebra that is neither semi-simple nor radical is presented.

• Journal of applied mathematics & informatics
• /
• v.26 no.1_2
• /
• pp.427-436
• /
• 2008

The notion of vague deductive systems in subtraction algebras is introduced, and several properties are investigated. Conditions for a vague set to be a vague deductive system are provided. Characterizations of a vague deductive system are established.