• Journal for History of Mathematics
• /
• v.26 no.5_6
• /
• pp.355-370
• /
• 2013

Thomas Harriot has been introduced in middle school textbooks as a great mathematician who created the sign of inequality. This study is about Harriot's symbolism and the theory of equation. Harriot made symbols of mathematical concepts and operations and used the algebraic visual representation which were combinations of symbols. He also stated solving equations in numbers, canonical, and by reduction. His epoch-making inventions of algebraic equation using notation of operation and letters are similar to recent mathematical representation. This study which reveals Harriot's contribution to general and structural approach of mathematical solution shows many developments of algebra in 16th and 17th centuries from Viete to Harriot and from Harriot to Descartes.

• Annual Conference on Human and Language Technology
• /
• 2018.10a
• /
• pp.310-315
• /
• 2018

본 논문에서는 한국어 수학 문장제 문제 자동 풀이를 위한 방법을 소개한다. 수학 문장제 문제란 수학적 관계가 언어와 숫자로 주어질 때, 문제에서 요구하는 정보를 도출하는 수학 문제로, 언어 의미 분석과 수학적 관계 추출이 요구된다. 본 논문에서는 이원 일차 연립 방정식을 포함한 514 문제의 영어 데이터셋을 번역해 한국어 문제를 확보하였다. 또한 한국어의 수학적 관계 표현과 언어 유형적 특성을 고려한 자질 추출을 제안하고, 템플릿 기반 Log-linear 모델이 정답 방정식을 분류하도록 학습하였다. 5겹 교차 검증을 실시한 결과, 영어 문제를 풀이한 선행 연구의 정답률 79.7% 대비 1%p 낮은 78.6%의 정답률을 보였다.

• Communications of Mathematical Education
• /
• v.12
• /
• pp.363-376
• /
• 2001

To educate students to adjust and lead their future society oriented on technologies and information communications, most of the countries in the world try to reform their traditional mathematics education. Contemporary Mathematics in Context (CMIC) developed by Core-Plus Mathematics Project in WMU has been developed in order to assist school districts in reforming their high schools mathematics programs in the United States, and $7^{th}$ Korean National Mathematics Curriculum was developed to guide reforming Korean mathematics program in 1997. In this presentation, by analyzing essential differences between the two curricula according to Korean Mathematics Curriculum, we may find some implications of CMIC for Korean mathematics education.

• Journal of Educational Research in Mathematics
• /
• v.8 no.2
• /
• pp.541-551
• /
• 1998

Recently, the importance of participating in classes activity and cultivating student's thinking ability is emphasized in the mathematics education society. Teachers are demanded to change their teaching style centered pencile-and paper into using the variety instructional aids, such as calculator, video tape, computer, ohp, and projector, etc. In this paper, we search for the mathematica's function and the method that apply mathematical to the secondary school mathematics. Mathematical has many functions: calculator, algebra, graphics, animations, programing, notebook. We find that mathematica can be applied to the graph of function, the understand of simultaneous equations, the graph of trigonometry function, the calculation of limit, the computation of areas as limits, the derivative of a function and tangent line, a solid figure, and others in secondary school mathematics.

• Journal of the Korean School Mathematics Society
• /
• v.22 no.1
• /
• pp.81-94
• /
• 2019

The purpose of this study is to investigate the meaning of CAS(Computer Algebra System) using in mathematics teaching and learning, and the change of the theory of mathematics teaching and learning caused by introduction of CAS. Especially, when CAS was introduced, some categories of assessment items were examined, and alternative assessment directions were presented and the implications of them were discussed.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.973-981
• /
• 2021

Let R be a commutative ring with identity 1, n ≥ 3, and let 𝒯_n(R) be the linear Lie algebra of all upper triangular n × n matrices over R. A linear map 𝜑 on 𝒯_n(R) is called to be strong commutativity preserving if [𝜑(x), 𝜑(y)] = [x, y] for any x, y ∈ 𝒯_n(R). We show that an invertible linear map 𝜑 preserves strong commutativity on 𝒯_n(R) if and only if it is a composition of an idempotent scalar multiplication, an extremal inner automorphism and a linear map induced by a linear function on 𝒯_n(R).

• Journal of the Korean Mathematical Society
• /
• v.59 no.4
• /
• pp.733-756
• /
• 2022

In this paper, we introduce the notion of Gorenstein quasiresolving subcategories (denoted by 𝒢𝒬𝓡_𝒳 (𝓐)) in term of quasi-resolving subcategory 𝒳. We define a resolution dimension relative to the Gorenstein quasi-resolving categories 𝒢𝒬𝓡_𝒳 (𝓐). In addition, we study the stability of 𝒢𝒬𝓡_𝒳 (𝓐) and apply the obtained properties to special subcategories and in particular to modules categories. Finally, we use the restricted flat dimension of right B-module M to characterize the finitistic dimension of the endomorphism algebra B of a 𝒢𝒬_𝒳-projective A-module M.

• Journal of applied mathematics & informatics
• /
• v.41 no.3
• /
• pp.657-685
• /
• 2023

This paper aims to apply the concept of Pythagorean fuzzy soft sets (PFSSs) to UP-algebras. Then we introduce five types of PFSSs over UP-algebras, study their generalization, and provide illustrative examples. In addition, we study the results of four operations of two PFSSs over UP-algebras, namely, the union, the restricted union, the intersection, and the extended intersection. Finally, we will also discuss t-level subsets of PFSSs over UP-algebras to study the relationships between PFSSs and special subsets of UP-algebras.

• Journal of the Korean Mathematical Society
• /
• v.61 no.4
• /
• pp.713-742
• /
• 2024

From the ordinary notion of upper-tail quantitle function, a new concept called conditionally upper-tail quantitle function given a σ-algebra is proposed. Some basic properties of this terminology and further properties of conditionally strictly stationary sequences are derived. By means of these properties, several conditional central limit theorems for a sequence of conditionally strong mixing and conditionally strictly stationary random variables are established, some of which are the conditional versions corresponding to earlier results under non-conditional case.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.9
• /
• pp.3458-3481
• /
• 2021

Existing methods for blind identification of linear block codes without a candidate set are mainly built on the Gauss elimination process. However, the fault tolerance will fall short when the intercepted bit error rate (BER) is too high. To address this issue, we apply the reverse algebra approach and propose a novel "two-step-screening" algorithm by solving the linear error equations on the binary Galois field, or GF(2). In the first step, a recursive matrix partition is implemented to solve the system linear error equations where the coefficient matrix is constructed by the full codewords which come from the intercepted noisy bitstream. This process is repeated to derive all those possible parity-checks. In the second step, a check matrix constructed by the intercepted codewords is applied to find the correct parity-checks out of all possible parity-checks solutions. This novel "two-step-screening" algorithm can be used in different codes like Hamming codes, BCH codes, LDPC codes, and quasi-cyclic LDPC codes. The simulation results have shown that it can highly improve the fault tolerance ability compared to the existing Gauss elimination process-based algorithms.