×

Found 10,253 Documents (Results 1–100)

Separable algorithmic representations of classical systems and their applications. (English. Russian original) Zbl 07803125

J. Math. Sci., New York 278, No. 3, 476-519 (2024); translation from Sovrem. Mat., Fundam. Napravl. 67, No. 4, 707-754 (2022).
MSC:  03Dxx 03Cxx 08Axx
PDFBibTeX XMLCite
Full Text: DOI

From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms. arXiv:2402.12051

Preprint, arXiv:2402.12051 [math.CT] (2024).
BibTeX Cite
Full Text: arXiv

Modules over trusses vs. modules over rings: internal direct sums. (English) Zbl 07800899

Chabert, Jean-Luc (ed.) et al., Algebraic, number theoretic, and topological aspects of ring theory. Selected papers based on the cancelled conference on rings and polynomials, July 2020, and the fourth international meeting on integer-valued polynomials and related topics, CIRM, Luminy, France, July 19–24, 2021. Cham: Springer. 171-185 (2023).
MSC:  16Y99 08A99
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software