Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 28 for “"Mathematical proof"”.
-
Machine verification of mathematical proof
Thesis: Sc. D., Massachusetts Institute of Technology, Department of Mathematics, 1963
-
An investigation of pre-service teachers' and professional mathematicians' perceptions of mathematical proof at the secondary school level
… teachers have difficulty with many aspects of mathematical proof, including its nature and meaning. In addition, there appears to be a disconnect between school teachers' and university mathematicians' expectations for their respective students regarding mathematical proof. This study examined …
-
Changes in Student Proving Skills and Attitudes Following a Cooperative Learning Seminar
… math students beliefs and attitudes about mathematical proof, ability to compose valid proofs, and ability to read and validate purported proofs written by other students. In two studies, a cohort of seminar participants were assessed twice on their attitudes and beliefs about mathematical …
-
The Infinite Ladder in Mathematics: Transfinite Induction
This project explores the mathematical proof method of transfinite induction. Transfinite induction is mathematical induction beyond the natural numbers. These numbers are called ordinals, denoted by Greek letters. This thesis will introduce fundamental concepts of set theory, starting from the …
-
An Information-centric Algorithm for Feature Extraction in High-dimensional Data
… are proposed to solve this problem and mathematical proof is provided to validate the effectiveness of them.
-
What Are Some of the Common Traits in the Thought Processes of Undergraduate Students Capable of Creating Proof?
<p>Mathematical proof is an important topic in mathematics education research. Many researchers have addressed various aspects of proof. One aspect that has not been addressed is what common traits are shared by those who are successful at creating proof. This research investigates the common …
-
On the Efficient and Accurate Application of Partial Differential Equation Solvers of Maxwell's Equations in the Time Domain
… It is found that there is no rigorous mathematical proof which demonstrates the consistency and convergence of the symmetric condensed node TLM method under the field/voltage relation originally introduced. It is proposed that other field/voltage relations may exist which may be more …
-
Proof and Reasoning in Secondary School Algebra Textbooks
… to which the modeling of deductive reasoning and proof-type thinking occurs in a mathematics course in which students are not explicitly preparing to write formal mathematical proofs. Algebra was chosen because it is the course that typically directly precedes a student's first formal introduction …
-
Concurrence Between the Displaced Libor Market and Hull-White Models
… corresponding DLFM model. This was sufficient mathematical proof of the concurrence, but numerical confirmation is also essential. The HW, GHJM and DLFM models were implemented, with applications to pricing European swaptions. Numerical results show that swaption prices are consistent across …
-
A proposal for an improved version of EigenAnt algorithm with performance evaluation on combinatorial optimization problems
… pheromone evaporation. This algorithm has a mathematical proof of convergence to the shortest path between two nodes. In this thesis, the stability and parameter impact analysis of EigenAnt algorithm applied to N-node Binary Chain Problems is carried out. Motivated by this analysis, an …
-
Tensors and Stochastic Automata Networks with Application to Chemical Kinetics
… by computational examples on one hand and a mathematical proof on the other hand. The second key outcome is the development of a tensor-based representation of the chemical master equation modeling states as the number of times a given reaction has fired. This means that states are reaction …
-
Functionally Encapsulated Modules: A Computer Aided Software Engineering Methodology for the Implementation of Computer Integrated Manufacturing
… also retain the abilities of simulation tool and mathematical proof of the original Petri net. The methodology and modelling tools are evaluated by applying them to a discrete event manufacturing system.Conclusions are then drawn on the various aspects of the work and details of further research …
-
Automatic Linear and Curvilinear Mesh Generation Driven by Validity Fidelity and Topological Guarantees
… good quality as measured by their Jacobians. The mathematical proof shows that the meshes generated by our algorithm are guaranteed to be homeomorphic to the input images, and all the elements inside the meshes are guaranteed to be with good quality. Experimental results show that the mesh …
-
The mechanics of precision presplitting
… and mechanics of materials to present a mathematical proof to determine the borehole pressure from a decoupled charge and the magnitude of the hoop stress developed in the rock.</p> <p>This modelling approach analyzes the stress from both the shockwave and gas pressure, which are …
-
Validation of a Task Network Human Performance Model of Driving
… to predict workload. Validation would provide mathematical proof that workload of driving is high and that additional tasks impact the performance. This study consisted of two experiments. The purpose of each experiment was to measure performance and workload while driving and attending to an …
-
Topological Approaches to Chromatic Number and Box Complex Analysis of Partition Graphs
… search confirming χ(P(33)) = 6. A potential mathematical proof strategy for this equality involves identifying a Z2-invariant S4 with non-trivial homology in the box complex of the partition graph P(33), namely Bedge(︁P(33))︁, and applying the Borsuk-Ulam theorem to compute its Z2-index. This …
-
Enculturational practices in the teaching of proof in mathematics
… theories whose focus is on students’ mastery of mathematical practices. As Cobb (1994) pointed out, these theorizations are inconsistent with one another, leading to conflict as some theorists seek to promote their approach as the correct one. Alternatively, Cobb, and many others in the social …
-
Topological Phases in Perovskite Iridates with Strong Spin-Orbit Coupling
… SrIrO3 as an example, we give an explicit mathematical proof on the validity of this condition as well as verify the existence of such bulk nodal-line band degeneracy in the tight-binding model. Thirdly, we propose that a topological insulator can exist in a two-dimensional single layer …
-
Novel Properties: Communication, Copyright, and the British Novel, 1710-1774
… sovereignty, land ownership, marriage, mathematical proof, and sentimental exchange--to serve as models of communication. Each of these models had different implications for the concept of literary property, and many of them were compatible with literary property, while remaining …
-
Low Latency Compressive Sensing using Multi-Resolution Analysis In Radar Signal Processing
… for the S-transform algorithm. We introduce a mathematical proof to derive an upper bound for the number of detectable targets.
Page 1 of 2