Mathematics Professor (retired), father and grandfather

Missouri University of Science and

Technology

Department of Mathematics

United States

******@***.***

Phone: 573-***-****

Mobile: 573-***-****

Fax: 573-***-****

Website: https://web.mst.edu/~insall/

Matt Insall, PhD

https://www.researchgate.net/profile/Matt_Insall

Education

Aug 1987 – Aug 1989 University of Houston

Doctor of Philosophy, Mathematics

Houston, United States

Aug 1985 – Aug 1987 University of Houston

Master of Science, Mathematics

Houston, United States

Aug 1979 – Dec 1985 University of Houston

Bachelor of Science, Mathematics with Minor in Chemistry Houston, United States

Aug 1979 – May 1986 University of Houston

Bachelor of Science, Chemical Engineering

Houston, United States

Thesis

Research Experience

Aug 1995 – present Associate Professor of Mathematics Missouri University of Science and Technology, Department of Mathematics Rolla, United States

Algebra, Logic, Nonstandard Analysis, Metric Fixed Point Theory, Engineering, Education, Advising and Mentoring Junior Researchers, Advising and Mentoring Student Research Assistants, Research Policy, Conference Organization, Refereeing

Aug 1989 – Aug 1995 Assistant Professor of Mathematics Missouri University of Science and Technology, Department of Applied Mathematics

Rolla, United States

Algebra, Logic, Nonstandard Analysis, Metric Fixed Point Theory, Engineering, Education, Advising and Mentoring Student Research Assistants, Conference Organization

Aug 1987 – Aug 1989 PhD Student in Mathematics

University of Houston, Department of Mathematics

Houston, United States

Dissertation: ``Nonstandard Methods and Finiteness Conditions in Algebra''. Supervisor: Klaus Kaiser.

Aug 1985 – Aug 1987 Master's Student in Mathematics University of Houston, Department of Mathematics

Houston, United States

Thesis: ``Finding Generic Points''. Supervisor: Klaus Kaiser. Statistics

RI Score (previously

RG Score):

154.0 (72

nd

percentile on ResearchGate, 36th percentile among ResearchGate members who first published in 1990)

Publications: 51 (24 listed in MathSciNet, 48 items on Scholars Mine, Reads 2,306

Citations 73

Awards & Grants

Skills & Activities

Interests Topology, Continuum Theory, metric spaces, Ring Theory, Computer Science, Lattice Theory, Model Theory, Nonstandard mathematics, Real Analysis, Computational Chemistry, Universal Algebra, Logic, Nonstandard Analysis, topological fields, Temporal Logic, formal program verification, Fixed Point Theory, Algebra, Set Theory, Mathematical Modelling, Fluid Mechanics, Mathematical Analysis, Heat Transfer, Nonlinear Systems, Aeronautics, Fuzzy Logic, Optimization, Functional Analysis, Mechanical Design, Discrete Mathematics, Finite Element Method, Semigroup Theory, Geometry, Logic Programming, Linear Algebra, Complex Systems, Knowledge Representation, Computer Languages, Mathematical Biology, Engineering, Applied and Computational Mathematics, Differential Equations, Complex Networks, Numerical Analysis, Nonlinear Analysis, Integration, Asymptotic Theory, Real and Complex Analysis, Normalization, Applied Analysis, Complex Analysis, Numerical Mathematics, Stars, Algebraic Modeling, Differentiation, Boolean algebra, Chemical Kinetics, Distributed Computing, Data Structures, Mathematical Chemistry, Theory of Computation, Matrices, Mathematical Physics, Applied Mathematics, Industrial Mathematics, Computing in Mathematics, Mathematical Logic, Theory Of Mathematical Modeling, Computational Mathematics, Mathematical Software, Mathematical Thinking, Mathematical Epidemiology, Pure Mathematics, Fuzzy Mathematical Models, Mathcad, Mathematical Models, Mathematica, Mathematics Education, Mathematical Computing, Math Modeling, Mathematical Sciences, Wolfram Mathematica, Mathematical Concepts, Mathematical Methods, Mathematical Cognition, Numerical Modeling, Operator Theory, Nonlinear Dynamics, Mathematical Programming, Mathematical Economics, Math Biology, Philosophy of Mathematics, Fuzzy Mathematics, Computer Engineering, Mathematical Psychology, Measure Theory, Music, Poetry, Computers, Networking, Chemistry, Chemical Engineering, Philosophy, Biology, Biochemistry, Arabic, English, French, Spanish

Scientific

Memberships

American Mathematical Society Lifetime member, Math Alliance Publication Highlights

Books Published

Mahelet G. Fikru, Matt Insall, Luis Gautier, Davide Dragone, Luca Lambertini, Arsen Palestini, Rafael Salvador Espinosa Ramirez, Leonard F. S. Wang, Chu-chuan Hsu, Tien-Der Han: Economics of Environmental Policy in Oligopolistic Markets. 1 edited by Mahelet G Fikru; Matt Insall, 12/2014; Nova Science Publishers., ISBN: 978-1-63463-165-5

Matt Insall: Multi-Structure Logics. 08/2007; Matt Insall., ISBN: 978-0615152349 Books in Progress

Matt Insall, Ryan Jensen, Introduction to Linear Algebra Matt Insall: Multi-Structure Logics, second editiobn Matt Insall: Squares Everywhere

Book Chapters

Chao Zeng, Wen Deng, Chenglin Wu, Matt Insall: Thermal Stress Effect on Fracture Integrity in Enhanced Geothermal Systems. Proceedings of GeoShanghai 2018 International Conference: Rock Mechanics and Rock Engineering, 01/2018: pages 388-396;, ISBN: 978-***-**-****-4, DOI:10.1007/978-981- 13-0113-1_41

Mahelet Fikru, Matt Insall: Emission tax and acquisition incentives in Oligopoly markets. Economics of Environmental Policy in Oligopolistic Markets, 1 edited by Mahelet G. Fikru, Matt Insall, 01/2014: chapter 5; Nova Science., ISBN: 978-1-63463-165-5

Articles In Preparation

C. H. Wu and Matt Insall: Counter-argument to the Penrose-Hameroff theory of Consciousness Danielle Bowerman and Matt Insall: Loeb Measures and Universal Algebra Nicholas Fleece and Matt Insall: Nonabelian 3-Magic Groups Tom Cuchta and Matt Insall: Hypergeometric Functions with Infinite Parameters Danielle Bowerman and Matt Insall: Finiteness Conditions in Algebras, including Infinitary Operations Eric Hanson, Ryan Jensen, and Matt Insall: Large Scale Geometry and Persistent Homology Pre-print ArXiv

Danielle Bowerman and Nicholas Fleece and Matt Insall: Introducing $n$-Magic Groups and Characterizing

$3$-Magic Finitely Generated Abelian Groups, 2023, https://doi.org/10.48550/arXiv.2308.01858 Daniel Luckhardt and Matt Insall: Norms on Categories and Analogs of the Schr\"oder-Bernstein Theorem, 2023, https://doi.org/10.48550/arXiv.2105.06832

Matt Insall and Peter A. Loeb and Malgorzata Aneta Marciniak: Hausdorff Compactifications, 2020, https://doi.org/10.48550/arXiv.2009.04511

Journal Submissions

Danielle Bowerman and Nicholas Fleece and Matt Insall: Introducing $n$-Magic Groups and Characterizing

$3$-Magic Finitely Generated Abelian Groups, 2023

Journal Publications

Danielle Bowerman and Nicholas Fleece and Matt Insall: Introducing $n$-Magic Groups and Characterizing

$3$-Magic Finitely Generated Abelian Groups, Accepted in 2024; to appear in Advances in Group Theory and Applications

Wlodzimierz J. Charatonik, Matt Insall, and Daria Michalik: Metrizable subspaces of representation spaces. Topology and its Applications 325/2023; ISSN 0166-8641; DOI:10.1016/j.topol. 2022.108351 Matt Insall, Peter A. Loeb, Malgorzata Aneta Marciniak: Hausdorff compactifications. Topology and its Applications 296/2021; ISSN 0166-8641; 6:7:1-13., DOI: 10.1016/j.topol.2021.107699. Samer Assaf, Tom Cuchta, Matt Insall, Binary metrics, Topology and its Applications, Volume 274, 2020, 107116, ISSN 0166-8641, https://doi.org/10.1016/j.topol.2020.107116. Chao Zeng, Wen Deng, Chenglin Wu, Matt Insall, Thermal effect of cold fluid injection on fracture integrity of host rock: a microscale analysis of single asperity, Geothermics, Volume 87, 2020, 101872, ISSN 0375-6505, https://doi.org/10.1016/j.geothermics.2020.101872. BUNN, R., GROW, D., INSALL, M., & THIEM, P. (2020). A MINIMAL CONGRUENCE LATTICE REPRESENTATION FOR $mathbb{M}_{p 1}$. Journal of the Australian Mathematical Society, 108(3), 332-340. doi:10.1017/S1446788720000014

Włodzimierz J. Charatonik, Matt Insall: Measures on hyperspaces. Proceedings of the American Mathematical Society 12/2016; 144(11)., DOI:10.1090/proc/13215 Mahelet G. Fikru, Matt Insall: Is it more profitable to acquire cleaner or dirtier firms?. Environmental Economics and Policy Studies 12/2015;, DOI:10.1007/s10018-015-0118-1 Matt Insall, Peter A. Loeb, Malgorzata Aneta Marciniak: End Compactifications and General Compactifications. Journal of Logic and Analysis 11/2014; 6:7:1-13., DOI:10.4115/jla.2014.6.7 David Grow, Matt Insall: Why Does the Complete Iterative Inversion Method Work so Well?. Differential Equations and Dynamical Systems 10/2013; 21(4)., DOI:10.1007/s12591-013-0165-7 Matt Insall, Wlodzimierz J. Charatonik, Janusz Prajs: Connectedness of the Representation Space for Continua. Topology 01/2012; 40:331-336.

Matt Insall, Małgorzata Aneta Marciniak: Nets defining ends of topological spaces. Topology Proceedings 01/2012; 40.

W.J. Charatonik, Matt Insall: Absolute differentiation in metric spaces. Houston journal of mathematics 01/2012; 38(4):1313-1328.

David Grow, Matt Insall: Mathematical Analysis of the Complete Iterative Inversion Method II. Differential Equations and Dynamical Systems 07/2010; 18(3):249-270., DOI:10.1007/s12591-010-0052-4 David Grow, Matt Insall: Mathematical analysis of the complete iterative inversion method — I. Differential Equations and Dynamical Systems 09/2009; 17(4):419-433., DOI:10.1007/s12591-009-0029-3 Matt Insall, Eric W Weisstein: Connected Set..

Wlodzimierz J. Charatonik, Matt Insall: Metrics defined via discrepancy functions. Topology and its Applications 04/2007; 154(8):1641-1649., DOI:10.1016/j.topol.2006.12.008 Wlodzimierz J. Charatonik, Matt Insall: Metrics on Hyperspaces: A Practical Approach. Topology Proceedings 01/2006; 30(1):129-152.

Martin Davis, Matt Insall: Mathematics and Design:Yes, But Will it Fly?. Nexus Network Journal 11/2002; 4(2):9-13., DOI:10.1007/s00004-002-0029-x

O. Manuel, C. Bolon, A. Katragada, M. Insall: Attraction and Repulsion of Nucleons: Sources of Stellar Energy. Journal of Fusion Energy 03/2000; 19(1):93-98., DOI:10.1023/A:101********** David E. Grow, Matt Insall: Further properties of an extremal set of uniqueness. Colloquium Mathematicum 01/1998; 77(1)., DOI:10.4064/cm-77-1-33-39

David Grow, Matt Insall: A structure problem regarding a set of uniqueness. 01/1997; Matt Insall: Nonstandard methods and the primitive element theorem – hyperalgebraic primitive elements. 01/1997;

Matt Insall: Geometric Condition for Local Finiteness of a Lattice of Convex Sets. 01/1997; 1(1):35 to 40. Grace Tsai, Matt Insall: Ensuring The Satisfaction Of A Temporal Specification At Run-Time. Scott Thibault, Lenore Mullin, Matt Insall: Generating Indexing Functions of Regularly Sparse Arrays for Array Compilers.

Grace Tsai, Matt Insall, Bruce McMillin: Constructing an Interval Temporal Logic for Real-Time System. IFAC Proceedings Volumes 11/1996; 29(6):43-49., DOI:10.1016/S1474-6670(17)43744-X Matt Insall: Hyperalgebraic primitive elements for relational algebraic and topological algebraic models. Studia Logica 10/1996; 57(2):409-418., DOI:10.1007/BF00370842 Insall Matt: Point-Valued Mappings of Sets. International Journal of Mathematics and Mathematical Sciences 01/1995; 18(4)., DOI:10.1155/S0161171295001049 Matt Insall: Some Finiteness Conditions in Lattices Using Nonstandard Proof Methods. Journal of the Australian Mathematical Society 04/1994; 56(2):290-290., DOI:10.1017/S1446788700034893 Matt Insall: Corrigendum to: “Some finiteness conditions in lattices – using nonstandard proof methods”. Journal of the Australian Mathematical Society. Series A. Pure mathematics and statistics 01/1994; M. Insall, L. Mullin, R. Wilkerson: Conjugating polynomials on finite rings. DOI:10.1145/326619.326746 Grace Tsai, Matt Insall, Bruce McMillin: ENSURING VALUE LIVENESS of DISTRIBUTED SOFTWARE THROUGH CHANGELING.

DAVID E. GROW, MATT INSALL: An extremal set of uniqueness?. Colloquium Mathematicum 01/1993; 65(1)., DOI:10.4064/cm-65-1-61-64

Matt Insall: Some finiteness conditions in lattices—using nonstandard proof methods. Journal of the Australian Mathematical Society 10/1992; 53(02):266 - 280., DOI:10.1017/S1446788700035849 Matt Insall: Nonstandard Methods and Finiteness Conditions in Algebra. Mathematical Logic Quarterly 01/1991; 37(33 35):525 - 532., DOI:10.1002/malq.199******** Mai Gehrke, Matt Insall, Klaus Kaiser: Some nonstandard methods applied to distributive lattices. Mathematical Logic Quarterly 01/1990; 36(2):123 - 131., DOI:10.1002/malq.199******** Grace Tsai, Matt Insall, Bruce McMillin: OPERATIONAL EVALUATION OF RESPONSIVENESS PROPERTIES. Grace Tsai, Matt Insall, Bruce McMillin: ENSURING THE SATISFACTION OF A TEMPORAL SPECIFICATION. Other Online Publications

M. Insall, T. Rowland, E. Weisstein: Point lattice. Jennifer H Garrison, Matt Insall: Mathematically Modeling Instruction and Learning with Logic. Matt Insall: Lattice Time.

M. Insall, I. Izyumin: Getting Started With Nonstandard Methods - Progress Report. Conference Proceedings

Daniel Luckhardt and Matt Insall., " Norms on Categories and Analogues of the Schröder-Bernstein Theorem," Proceedings of the conference Contemporary Mathematics in Kielce 2020, February 24- 27 2021, pp. 157-177, Sciendo, October 2021. License CC BY-NC-ND 4.0. https://doi.org/10.2478/9788366675360-012

C. Zeng et al., "Thermal Stress Effect on Fracture Integrity in Enhanced Geothermal Systems," Proceedings of the GeoShanghai 2018 International Conference: Rock Mechanics and Rock Engineering (2018, Shanghai, China), pp. 388-396, Springer, May 2018. https://doi.org/10.1007/978-***-**-****-1_41 Jeffrey S. Dalton, Matt Insall, Donald Wunsch: A Max-Plus, Dioid Based Neural Network for Discrete Event System Modeling. ANNIE 2003, Saint Louis, Missouri; 01/2003 G. Tsai, M. Insall, B. McMillin: Ensuring the satisfaction of a temporal specification at run-time. Engineering of Complex Computer Systems, 1995. Held jointly with 5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP, Proceedings., First IEEE International Conference on; 12/1995, DOI:10.1109/ICECCS.1995.479365

Conference Presentations

NORMS ON CATEGORIES, Daniel Luckhardt Department of Computer Science, University of Sheffield joint with Matt Insall, Missouri S&T, International Category Theory Conference, Universite Catholique Louvain, Louvain-la-Neuve, Belgium, 2023-07-03

Introduction to Nonstandard Analysis, Part 1, presented at the 2022 Joint Mathematics Meetings The Fixed Point Property for Some Planar Continua - Update, presented at the 2022 Joint Mathematics Meetings

Nonstandard Methods Applied to Loops, presented by Danielle Bowerman at the 2022 Joint Mathematics Meetings

Online Media

Norms on Categories, by Daniel Luckhardt (joint with Matt Insall) Other Research Activities

Robert M. Anderson, Matt Insall, and Yeneng Sun (organizers): AMS Special Session on Loeb Measure after 50 Years, JMM 2024

Other Activities

Significantly Revised Linear Algebra 1 (Math 3108) course in 2023 Math Alliance Mentor, currently mentoring two F-GAP students Charter Member of the (revived) S&T AAUP Chapter

Convinced the S&T Registrar to revise policy implementation for FERPA in regard to classroom visitors, specifically for university hired, FERPA trained tutors, and this involved consultation with all UM System registrars and the national FERPA Office

Quality Course Reviewer for Missouri Online, for two courses: PSYCH 1101 and CHEM ENG 4091

Contact this candidate