Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"California State University – San Marcos" +contributor:("Aitken, Wayne"). Showing records 1 – 2 of 2 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Brich, Jennifer. Formalizing Factorization in Monoids and Noetherian Rings.

Degree: 2015, California State University – San Marcos

This thesis focuses on the formalization of basic topics in commutative algebra using the proof assistant Isabelle. This written exposition will provide an overview of the work that was completed to formalize the following objectives in Isabelle: 1. Define a Noetherian ring using three di!erent characterizations. 2. Show the existence of factorization in a Noetherian domain. 3. Show the uniqueness of factorization in a principal ideal domain. 4. Lay the ground work needed to prove unique factorization in K[x1, ..., xn], where K is a UFD. Chapter 1 provides a brief introduction to formalization and a detailed outline of the five theory files that were formalized for this project. Chapter 2 explains the fundamentals of formalization in Isabelle and serves as a reference guide to the formal work completed for my thesis. In Chapters 3 through 7, we explore the outlined mathematical concepts in greater detail. In each of these five chapters we will define and prove the results that were formalized in each of the theory files. This exposition ends with a few closing remarks about this project and ideas for future development in Isabelle, using the work from this thesis. After the exposition an appendix is provided that gives all of the Isabelle file that were produced for this project. Advisors/Committee Members: Aitken, Wayne (advisor).

Subjects/Keywords: Formalization; Commutative Algebra; Isabelle; Noetherian Rings; Factorization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Brich, J. (2015). Formalizing Factorization in Monoids and Noetherian Rings. (Thesis). California State University – San Marcos. Retrieved from http://hdl.handle.net/10211.3/139734

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Brich, Jennifer. “Formalizing Factorization in Monoids and Noetherian Rings. ” 2015. Thesis, California State University – San Marcos. Accessed July 03, 2020. http://hdl.handle.net/10211.3/139734.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Brich, Jennifer. “Formalizing Factorization in Monoids and Noetherian Rings. ” 2015. Web. 03 Jul 2020.

Vancouver:

Brich J. Formalizing Factorization in Monoids and Noetherian Rings. [Internet] [Thesis]. California State University – San Marcos; 2015. [cited 2020 Jul 03]. Available from: http://hdl.handle.net/10211.3/139734.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Brich J. Formalizing Factorization in Monoids and Noetherian Rings. [Thesis]. California State University – San Marcos; 2015. Available from: http://hdl.handle.net/10211.3/139734

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

2. Talsania, Bhavisha. Formalization of Basic Linear Algebra .

Degree: 2013, California State University – San Marcos

This thesis discusses the formalization of basic results from linear algebra up to the following theorems, using the computer proof checker Isabelle. Chapter 1 provides a discussion of informal and formal proofs and an introduction to the thesis topic. Chapter 2 provides a brief overview of the proof assistant Isabelle and it's layout and syntax. Chapter 3 to Chapter 13 go into detail of the formalized proofs done in Isabelle. In Chapter 14, we end with remarks and conclusion of the thesis. Advisors/Committee Members: Aitken, Wayne (advisor).

Subjects/Keywords: Formalization; Linear Algebra; Isabelle

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Talsania, B. (2013). Formalization of Basic Linear Algebra . (Thesis). California State University – San Marcos. Retrieved from http://hdl.handle.net/10211.8/405

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Talsania, Bhavisha. “Formalization of Basic Linear Algebra .” 2013. Thesis, California State University – San Marcos. Accessed July 03, 2020. http://hdl.handle.net/10211.8/405.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Talsania, Bhavisha. “Formalization of Basic Linear Algebra .” 2013. Web. 03 Jul 2020.

Vancouver:

Talsania B. Formalization of Basic Linear Algebra . [Internet] [Thesis]. California State University – San Marcos; 2013. [cited 2020 Jul 03]. Available from: http://hdl.handle.net/10211.8/405.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Talsania B. Formalization of Basic Linear Algebra . [Thesis]. California State University – San Marcos; 2013. Available from: http://hdl.handle.net/10211.8/405

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.