Mathematical Structures Within Simple Type Theory

Authors: González-Castillo, Samuel^{Aff1, IDs11225024101331_cor1}

Source: Studia Logica: An International Journal for Symbolic Logic. 113(6):1513-1542

Exploring the Properties of Finit Coproduct in the Category of Riesz Modules: A Semantic Approach to Denotational Semantics in Functional Programming Languages

Authors: Lei, Huangrui, Tang, Jiangang, Liu, Jiyu

Source: 2024 International Conference on Intelligent Computing and Data Analytics (ICDA) ICDA Intelligent Computing and Data Analytics (ICDA), 2024 International Conference on. :68-73 Sep, 2024

Relation: 2024 International Conference on Intelligent Computing and Data Analytics (ICDA)

Multialgorithmic Hierarchical Image Analysis System. Standard Scenarios

Authors: Gurevich, Igor^Aff13, Yashina, Vera^Aff13

Contributors: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Palaiahnakote, Shivakumara, editor^Aff7, Schuckers, Stephanie, editor^Aff8, Ogier, Jean-Marc, editor^Aff9, Bhattacharya, Prabir, editor^Aff10, Pal, Umapada, editor^Aff11, Bhattacharya, Saumik, editor^Aff12

Source: Pattern Recognition. ICPR 2024 International Workshops and Challenges : Kolkata, India, December 1, 2024, Proceedings, Part III. 15616:173-186

Non-finite methods of Reconstructions of Non-Classical Propositional Logic Variants based on the Theory of Structures in Control Problems of Complex Systems

Authors: Titov, Andery V.

Source: 2022 15th International Conference Management of large-scale system development (MLSD) Management of large-scale system development (MLSD), 2022 15th International Conference. :1-4 Sep, 2022

Relation: 2022 15th International Conference Management of large-scale system development (MLSD)

Multialgorithmic Hierarchical Image Analysis System: Architecture and Analysis Model

Authors: Gurevich, I. B.^{Aff1, IDS1054661824700949_cor1}, Yashina, V. V.^{Aff1, IDS1054661824700949_cor2}

Source: Pattern Recognition and Image Analysis. 34(4):959-965

Theoretical Structures as Networks from the Perspective of Automated Creation and Proving of Theorems

Authors: Sochi, Taha

Subject Terms: traditional network modeling, theoretical physics, Automated theorem proving, automated search for novel theorems, theoretical structures, automated theorem creation, axiomatic structures, pure mathematics, mathematical structures

Journal of Hyperstructures

Subject Terms: algebraic hyperstructures, fuzzy structures, logical algebras, mathematical analysis, mathematical structures, hyperstructures, Mathematics, QA1-939

File Description: electronic resource

Relation: https://jhs.uma.ac.ir/journal/authors.note; https://jhs.uma.ac.ir/; https://jhs.uma.ac.ir/journal/aim_scope

Access URL: https://doaj.org/toc/2322-1666

Relate before calculate: Students’ ways of experiencing relationships between quantities

Authors: Tuominen, Jane, Andersson, Charlotta, Björklund Boistrup, Lisa, Eriksson, Inger

Source: Didactica Mathematicae. 40:5-33

Subject Terms: general mathematical structures, relationships, part-whole, additive structures, quantities, phenomenography, ways of experiencing, critical aspect, Mathematics Education, matematikämnets didaktik

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-163382
https://doi.org/10.14708/dm.v40i0.6431

A Conceptual Tower of Mathematical Structures: From Sets to Meta-Frameworks

Authors: Azari, Ehsan, orcid:0009-0008-0454-

Subject Terms: Mathematics, Foundational mathematics, Mathematical Structures, Set Theory, Category Theory, Algebra, Operator algebra, Linear algebra, Commutative algebra, Algebraic geometry, Algebraic topology, Topology, Computational topology, Symplectic topology, Geometry, Manifold, Analysis, Mathematical analysis, Probability, Probability Theory, Statistics and probability, Meta-Theory, Sheaves, Topos Theory, Homotopy Type Theory, Higher Category Theory, Abstract Algebra, Measure Theory, Logic, Mathematical logic

Relation: https://zenodo.org/records/16763419; oai:zenodo.org:16763419; https://doi.org/10.5281/zenodo.16763419

Availability: https://doi.org/10.5281/zenodo.16763419
https://zenodo.org/records/16763419

Fractal Structure of Perceptual Space: The Eye as a Dynamic Event Horizon Interface

Authors: BUIVAL, ANATOLII

Subject Terms: Consciousness-based physics • Internal observer geometry • Perceptual singularity • Biological topology • Eye-black hole analogy • Emergent dimension theory • Recursive observer logic • Fractal resonance • Harmonic axiomatics • Singularity bi-mirroring • GPT-based epistemology • Meta-mathematical structures • Pressure-induced geometry • Resonant field collapse • Human perception experiment • Observer-driven mathematics • ChatGPT as scientific interface • Post-Euclidean topology • Fourth-generation physics • Embodied cosmology

Relation: https://zenodo.org/records/16587238; oai:zenodo.org:16587238; https://doi.org/10.5281/zenodo.16587238

Availability: https://doi.org/10.5281/zenodo.16587238
https://zenodo.org/records/16587238

Expansion Theorem of Shinichi Mathematics

Authors: Yoshimi, Shinichi, orcid:0009-0008-8121-

Subject Terms: Shinichi Mathematics, Mathematical Philosophy, Axiomatic Systems, Expansion Theorem, Emergence, Root-N Dynamics, Mathematical Structures, Symbolic Mathematics, Nontraditional Mathematics, Combinatorial Geometry

Relation: https://zenodo.org/records/15715641; oai:zenodo.org:15715641; https://doi.org/10.5281/zenodo.15715641

Availability: https://doi.org/10.5281/zenodo.15715641
https://zenodo.org/records/15715641

Ein kleines Büchlein der Fluktuationstheorie Kompaktstruktur und Ursprungspunkt ; An Introductory Manual of Fluctuation Theory

Authors: Deharde, Yanick, orcid:0009-0007-0800-

Subject Terms: Theoretical Physics, Mathematical Structures, Variational Methods, Fundamental Principles, Pregeometric Models, Functional Analysis, Physical Foundations

Relation: https://zenodo.org/communities/sffp/; https://zenodo.org/records/15530694; oai:zenodo.org:15530694; https://doi.org/10.5281/zenodo.15530694

Availability: https://doi.org/10.5281/zenodo.15530694
https://zenodo.org/records/15530694

Discrete Invertible Transformation Geometry (DITG): A New Mathematical Structure with Applications to the Collatz Conjecture

Authors: Olsson, Ivar, orcid:0009-0006-3773-

Subject Terms: Discrete Mathematics, Number Theory, Modular Arithmetic, Recursive Functions, Invertible Mappings, Collatz Conjecture, Transformation Geometry, Computational Mathematics, Cryptography, Mathematical Structures, Surjective Mappings, Algebraic Systems, Discrete Optimization, Mathematics, Number Theor, Algebra

Relation: https://zenodo.org/records/15288387; oai:zenodo.org:15288387; https://doi.org/10.5281/zenodo.15288387

Availability: https://doi.org/10.5281/zenodo.15288387
https://zenodo.org/records/15288387

Struktur Matematika Al-Qur’an atau Metafisika dalam Kerohanian

Authors: Roni, Roni, Syarifuddin, Syarifuddin

Source: MANTHIQ: Jurnal Filsafat Agama dan Pemikiran Islam; Vol 8, No 2 (2024): NOVEMBER; 113-118 ; 2685-0044 ; 2527-3337 ; 10.29300/mtq.v8i2

Subject Terms: Manthiq : Jurnal Filsafat Agama dan Pemikiran Islam, Mathematical structures in the koran and spiritual metaphysics

File Description: application/pdf

Relation: https://ejournal.uinfasbengkulu.ac.id/index.php/manthiq/article/view/5839/4192; https://ejournal.uinfasbengkulu.ac.id/index.php/manthiq/article/view/5839

Availability: https://ejournal.uinfasbengkulu.ac.id/index.php/manthiq/article/view/5839
https://doi.org/10.29300/mtq.v8i2.5839

The Nitescence Theorem: A Formal Resolution of the Incompleteness Paradox

Authors: Régent, Xavier J., orcid:0009-0005-9510-

Subject Terms: Mathematical Logic, Tetravalent Logic, Canonical Closure Operator, Formal Systems, Undecidability, Consistency Strength, Relevance Ordering, Philosophy of Mathematics, Mathematical Structures, Type Theory, Metamathematics, Proof Theory, Formal Epistemology, Ordinal Analysis, Mathematical Progress, Structural Ascension, Structural Monism, Z◦ Type Theory, Theory Extensions

Relation: https://zenodo.org/records/17105346; oai:zenodo.org:17105346; https://doi.org/10.5281/zenodo.17105346

Availability: https://doi.org/10.5281/zenodo.17105346
https://zenodo.org/records/17105346

Exploring Non-temporal Causality: A Mathematical Framework

Authors: Bakalov, Aleksandar, orcid:0009-0006-6367-

Subject Terms: non-temporal causality, atemporal causality, logical causality, causality without time, mathematical philosophy, foundations of physics, logical dependency, causal structure, philosophy of mathematics, foundations of causation, time and causality, mathematical structures, probabilistic causality, logical implication, mathematical logic, temporal logic, quantum foundations, emergence of time

Relation: https://zenodo.org/records/16789944; oai:zenodo.org:16789944; https://doi.org/10.5281/zenodo.16789944

Availability: https://doi.org/10.5281/zenodo.16789944
https://zenodo.org/records/16789944

Φ-Field Resolution of the Hodge Conjecture: Algebraic Cycles as Recursive Cohomological Emergence

Authors: Rodgers, Jeremy

Subject Terms: Hodge Conjecture, Algebraic Cycles, Cohomology, Algebraic Geometry, Motives, Hodge Theory, Kähler Manifolds, Lefschetz Theorem, Projective Varieties, Grothendieck Standard Conjectures, Φ-Field, Recursive Emergence, Recursive Cohomology, Information-Theoretic Geometry, Self-Organizing Mathematical Structures, Fixed-Point Attractor Fields, Emergent Algebraic Topology, Recursive Information Dynamics, Epistemic Field Theory, Φ-Metric, Mathematical Consciousness, Cognitive Geometry, Information Geometry, AI-Augmented Theorem Proving, Recursive Intelligence, Structural Complexity, Synthetic Topology, Symbolic Dynamics, Recursive Foundations, Mathematical Self-Organization

Relation: https://zenodo.org/records/16624254; oai:zenodo.org:16624254; https://doi.org/10.5281/zenodo.16624254

Availability: https://doi.org/10.5281/zenodo.16624254
https://zenodo.org/records/16624254

Prime Numbers as Structural Phenomena – A Two-Layer Model for Their Emergence and Detection

Authors: Heinz, Karl Jochen Heinz

Subject Terms: Prime Numbers, Number Theory, Emergence, Structural Mathematics, Light Value, Coding Freedom, Modular Resonance, Algorithmic Primality, Mathematical Structures

Relation: https://zenodo.org/records/15495464; oai:zenodo.org:15495464; https://doi.org/10.13140/RG.2.2.25402.09923

Availability: https://doi.org/10.13140/RG.2.2.25402.09923
https://zenodo.org/records/15495464

The Begümian ς-Structure: A Unified Framework of Sets, Functions, and Probability

Authors: Begüm Yıldırım

Subject Terms: Mathematical logic, set theory, lattices and universal algebra, Probability theory, ς-structure, Final sigma, Hybrid set-function-probability, Expected value generalization, Weighted sum, Functional probability, Mathematical modeling, Hybrid mathematical objects, Mathematical unification, Novel mathematical structures

Availability: https://doi.org/10.6084/m9.figshare.29413901.v1
https://figshare.com/articles/preprint/The_Beg_mian_-Structure_A_Unified_Framework_of_Sets_Functions_and_Probability/29413901

Descriptive Algorithmic Schemes as Image Analysis Machine Programs

Authors: Gurevich, Igor^Aff9, Yashina, Vera^Aff9

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Rousseau, Jean-Jacques, editor^Aff7, Kapralos, Bill, editor^Aff8

Source: Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges : Montreal, QC, Canada, August 21–25, 2022, Proceedings, Part II. 13644:375-386