• Journal of the Chungcheong Mathematical Society
• /
• v.27 no.4
• /
• pp.763-769
• /
• 2014

In this paper, we illustrate a counter example for the converse of a certain conjecture proposed by De Giorgi. De Giorgi suggested a series of conjectures, in which a certain integral condition for singularity or degeneracy of an elliptic operator is satisfied, the solutions are continuous. We construct some singular elliptic operators and solutions such that the integral condition does not hold, but the solutions are continuous.

• Proceedings of the IEEK Conference
• /
• 2000.07b
• /
• pp.649-652
• /
• 2000

Beyond free choice net system this paper presents some liveness knowledge in asymmetric net system including necessary and sufficient condition for an asymmetric net system being live and having liveness monotonicity, and an algorithm, polynomial time complexity, for such deciding. Also two conjectures about system livenss are in the contribution.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.3
• /
• pp.557-561
• /
• 1997

In this paper, we present three new classes of binary pseudorandom sequences of period ${2_n}-1$ with ideal autocorrelation. These sequences are newly found by an extensive computer search, and the conjectures on the construction of these sequences are formulated. We also classify the binary sequences of period ${2_n}-1$ with ideal autocorrelation, and enumerate them.

• Journal of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1391-1409
• /
• 2016

In this paper, we investigate a family of holomorphic functions in several complex variables concerning the total derivative (or called radial derivative), and obtain some well-known normality criteria such as the Miranda's theorem, the Marty's theorem and results on the Hayman's conjectures in several complex variables. A high-dimension version of the famous Zalcman's lemma for normal families is also given.

• Journal of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.67-80
• /
• 2019

For positive integers a, b, c, and an integer n, the number of integer solutions $(x,y,z){\in}{\mathbb{Z}}^3$ of $a{\frac{x(x-1)}{2}}+b{\frac{y(y-1)}{2}}+c{\frac{z(z-1)}{2}}=n$ is denoted by t(a, b, c; n). In this article, we prove some relations between t(a, b, c; n) and the numbers of representations of integers by some ternary quadratic forms. In particular, we prove various conjectures given by Z. H. Sun in [6].

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.1
• /
• pp.111-117
• /
• 2022

Let p_a,b,m(n) be the number of integer partitions of n with more parts congruent to a modulo m than parts congruent to b modulo m. We prove that p_a,b,m(n) ≥ p_b,a,m(n) whenever 1 ≤ a < b ≤ m. We also propose some conjectures concerning series with nonnegative coefficients in their expansions.

• Journal of The Korean Association For Science Education
• /
• v.22 no.1
• /
• pp.32-39
• /
• 2002

Three conjectures as the criteria for developing differentiated science learning program for gifted elementary students were derived from the previous research report: 1) The students' reasons why certain educational programs were thought to be interesting or profitable could be classified into the 3 criteria; novelty, curiosity, participation. 2) Students used to think that the programs were interesting if at least anyone of the above 3 criteria is fulfilled. 3) They think, especially, that the programs were profitable if the curiosity criterion is satisfied. To check these conjectures, 47 students were investigated with a Likert type questionnair asking how much the given program is interesting and profitable to themselves after they finished a set of programs for gifted students.

• Journal of Gifted/Talented Education
• /
• v.15 no.1
• /
• pp.85-102
• /
• 2005

Some properties on the mathematical hyper-dimensional figures by 'the principle of the permanence of equivalent forms' was investigated. It was supposed that there are 2 conjectures on the making n-dimensional figures : simplex (a pyramid type) and a hypercube(prism type). The figures which were made by the 2 conjectures all satisfied the sufficient condition to show the general Euler's Theorem(the Euler's Characteristics). Especially, the patterns on the numbers of the components of the simplex and hypercube are fitted to Binomial Theorem and Pascal's Triangle. It was also found that the prism type is a good shape to expand the Hasse's Diagram. 5 mathematically gifted high school students were mentored on the investigation of the hyper-dimensional figure by 'the principle of the permanence of equivalent forms'. Research products and ideas students have produced are shown and the 'guided re-invention method' used for mentoring are explained.

• Journal of Educational Research in Mathematics
• /
• v.8 no.1
• /
• pp.137-144
• /
• 1998

A common geoboard puzzel serves as the point of departure for an investigation that lends itself to whole-group discussion with a class of prospective secondary school teachers. Students are provided with opportunities to devise and carry out problem-solving strategies (called 'heuristics' by Polya); exploit inerrelationships among geometry, arithmetic and algebra; formulate generalizations and conjectures; plan and execute an computational project; construct mathematical arguments to establish theorems; and find counter-examples to dispose of a false conjecture. In recent tears, Eugene F. Krause wrote two papers having the same title except for the numeral In that papers he arrives at an theorem about the sizes of squares with lattice point vertices in the coordinate plane, In this paper we follow a different path genearlization to coordinate 3-space

• Journal of Educational Research in Mathematics
• /
• v.11 no.1
• /
• pp.193-206
• /
• 2001

This study was designed to develop investigation- and exploration- activities on Euclidean geometry with an exploratory type software, Geometer's Sketchpad, and to gain insights into the geometric reasoning abilities of college students working with the software. A package of Euclidean geometric activities with GSP was developed and four college students worked on the several activities with GSP and their geometric reasoning process were analyzed. Results indicated that GSP helped students solve problems in the several ways: to make conjectures and discover theorems by providing precise construction and measurement; to discover their proofs by providing the visual images and its manipulation; and to make students easily apply "what-if"strategies and expand and deepen their activities. Students' geometric reasoning was highly depended on analytic methods and their abilities with synthetic methods were shown very limited.