PROOF IN ELEMENTARY MATHEMATICS: A CASE OF ALGEBRA

Date

2009-07-24

Author

Ubuz, Behiye

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

61
views

0
downloads

URI

https://hdl.handle.net/11511/53594

Collections

Department of Mathematics and Science Education, Conference / Seminar

Suggestions

OpenMETU
Core

Logic, logicism, and intuitions in mathematics Karakadılar, Besim; Grünberg, Teo; Grünberg, David; Department of Philosophy (2001)
Arithmetic exceptionality of generalized Lattes maps Küçüksakallı, Ömer; Önsiper, Mustafa Hurşit (2018-04-01) We consider the arithmetic exceptionality problem for the generalized Lattes maps on P-2. We prove an existence result for maps arising from the product E x E of elliptic curves E with CM.
Proof of the basic theorem on concept lattices in Isabelle/HOL Sertkaya, Barış; Oğuztüzün, Mehmet Halit S.; Tiefenbach, Andreas; Department of Computer Engineering (2003) Formel Concept Analysis is an emerging field of applied mathematics based on a lattice-theoretic formalization of the notions of concept and conceptual hierarchy. It thereby facilitates mathematical thinking for conceptual data analysis and knowledge processing. Isabelle, on the other hand, is a generic interactive theory development environment for implementing logical formalisms. It has been instantiated to support reasoning in several object-logics. Specialization of Isabelle for Higher Order Logic is ca...
Proof of the basic theorem on concept lattices in Isabelle/HOL Sertkaya, B; Oğuztüzün, Mehmet Halit S. (2004-01-01) This paper presents a machine-checked proof of the Basic Theorem on Concept Lattices, which appears in the book "Formal Concept Analysis" by Canter and Wille, in the Isabelle/HOL Proof Assistant. As a by-product, the underlying lattice theory by Kammueller has been extended.
Geometric characterizations of existentially closed fields with operators Pierce, D (Duke University Press, 2004-12-01) This paper concerns the basic model-theory of fields of arbitrary characteristic with operators. Simplified geometric axioms are given for the model-companion of the theory of fields with a derivation. These axioms generalize to the case of several commuting derivations. Let a D-field be a field with a derivation or a difference-operator, called D. The theory of D-fields is companionable. The existentially closed D-fields can be characterized geometrically without distinguishing the two cases in which D can...

Citation Formats

B. Ubuz, “PROOF IN ELEMENTARY MATHEMATICS: A CASE OF ALGEBRA,” 2009, vol. 1, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/53594.