Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Institution
- Publication
- Publication Type
Articles 1 - 10 of 10
Full-Text Articles in Entire DC Network
The Pell Equation In India, Toke Knudsen, Keith Jones
The Pell Equation In India, Toke Knudsen, Keith Jones
Number Theory
No abstract provided.
Generating Pythagorean Triples: A Gnomonic Exploration, Janet Heine Barnett
Generating Pythagorean Triples: A Gnomonic Exploration, Janet Heine Barnett
Number Theory
No abstract provided.
Generating Pythagorean Triples: The Methods Of Pythagoras And Of Plato Via Gnomons, Janet Heine Barnett
Generating Pythagorean Triples: The Methods Of Pythagoras And Of Plato Via Gnomons, Janet Heine Barnett
Number Theory
No abstract provided.
Primes, Divisibility, And Factoring, Dominic Klyve
Primes, Divisibility, And Factoring, Dominic Klyve
Number Theory
No abstract provided.
Formalization Of Matrix Theory In Hol4, Zhiping Shi, Yan Zhang, Zhenke Liu, Xinan Kang, Yong Guan, Jie Zhang, Xiaoyu Song
Formalization Of Matrix Theory In Hol4, Zhiping Shi, Yan Zhang, Zhenke Liu, Xinan Kang, Yong Guan, Jie Zhang, Xiaoyu Song
Yong Guan
Matrix theory plays an important role in modeling linear systems in engineering and science. To model and analyze the intricate behavior of complex systems, it is imperative to formalize matrix theory in a metalogic setting. This paper presents the higherorder logic (HOL) formalization of the vector space and matrix theory in the HOL4 theorem proving system. Formalized theories include formal definitions of real vectors and matrices, algebraic properties, and determinants, which are verified in HOL4. Two case studies, modeling and verifying composite two-port networks and state transfer equations, are presented to demonstrate the applicability and effectiveness of our work.
Properties Enjoyed By The Highest Digit In A Base Other Than The Base 10, Sudhir Goel, Kathy Simons
Properties Enjoyed By The Highest Digit In A Base Other Than The Base 10, Sudhir Goel, Kathy Simons
Georgia Journal of Science
The number nine in base ten enjoys some nice arithmetic properties. In this paper, we show that these properties are not intrinsic to the number nine; in fact, they are true for the largest digit in any base b. Four properties involving the final sums of all the digits of a number in a non-decimal base are explored and proofs of these properties are given in the appendix.
Problem Book On Higher Algebra And Number Theory, Ryanto Putra
Problem Book On Higher Algebra And Number Theory, Ryanto Putra
Theses and Dissertations
This book is an attempt to provide relevant end-of-section exercises, together with their step-by-step solutions, to Dr. Zieschang's classic class notes Higher Algebra and Number Theory. It's written under the notion that active hands-on working on exercises is an important part of learning, whereby students would see the nuance and intricacies of a math concepts which they may miss from passive reading. The problems are selected here to provide background on the text, examples that illuminate the underlying theorems, as well as to fill in the gaps in the notes.
Integer Partitions And Why Counting Them Is Hard, Jose A. Ortiz
Integer Partitions And Why Counting Them Is Hard, Jose A. Ortiz
University Honors Theses
Partitions are a subject of study in the field of number theory and have been studied extensively since the eighteenth-century mathematician Leonhard Euler's work on them. More famously, Srinivasa Ramanujan was credited for advancing the field of partition theory with his discoveries in the early 1900's. In the late 1960’s, R.F. Churchouse extensively studied congruences of the binary partition function and made many conjectures about their properties, which went unproven for a time. Some of these were soon after proven by Ø. Rødseth and generalized to p-ary partitions where p is a prime number. In 2015, Andrews et al. …
On P-Adic Fields And P-Groups, Luis A. Sordo Vieira
On P-Adic Fields And P-Groups, Luis A. Sordo Vieira
Theses and Dissertations--Mathematics
The dissertation is divided into two parts. The first part mainly treats a conjecture of Emil Artin from the 1930s. Namely, if f = a_1x_1^d + a_2x_2^d +...+ a_{d^2+1}x^d where the coefficients a_i lie in a finite unramified extension of a rational p-adic field, where p is an odd prime, then f is isotropic. We also deal with systems of quadratic forms over finite fields and study the isotropicity of the system relative to the number of variables. We also study a variant of the classical Davenport constant of finite abelian groups and relate it to the isotropicity of diagonal …
Numbers In Base B That Generate Primes With Help The Luhn Function Of Order Ω, Florentin Smarandache, Octavian Cira
Numbers In Base B That Generate Primes With Help The Luhn Function Of Order Ω, Florentin Smarandache, Octavian Cira
Branch Mathematics and Statistics Faculty and Staff Publications
We put the problem to determine the sets of integers in base b ≥ 2 that generate primes with using a function.