scientific article; zbMATH DE number 3280051

Cited in

(only showing first 100 items - show all)

Univalent Foundations and the UniMath Library
Ordered pair of normalized real numbers
Normal bases of a family of endomorphisms of a metrized vector bundle
Structural stability of market models
Existence of a utility on a topological semigroup
A theorem prover for a computational logic
Transport of structure in higher homological algebra
Mathematical structure of unit systems
Analytic extension of locally defined Riemannian manifolds
ITBM-constructive completions of algebras
Knot groups whose bases are abelian
Involutions on sheaves of endomorphisms of locally finitely presented \(\mathscr{O}_X\)-modules
A numerical treatment of the two-dimensional multi-term time-fractional mixed sub-diffusion and diffusion-wave equation
On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
On the implication of properties of related systems: a method for obtaining implication conditions and application examples
Perfect category-graded algebras
Nicolas Bourbaki and the concept of mathematical structure
Existence and uniqueness for \(p\)-adic counterpart of the porous medium equation
A recursive approach to the solution of abstract linear equations and the tau method
Application of electronic computers in the theory of substitution groups and its applications
A CHARACTERIZATION OF KRASNER'S CONSTANT
Implementation of Bourbaki's \textit{Elements of mathematics} in Coq. II: From natural numbers to real numbers
On the algebraic and arithmetical structure of generalized polynomial algebras
Bourbaki's structure theory in the problem of complex systems simulation models synthesis and model-oriented programming
Fuzzy sets as named sets
On the representation theory of the Bondi-Metzner-Sachs group and its variants in three space-time dimensions
Maximal feebly compact spaces
The blowup closure of a set of ideals with applications to \(TI\) closure.
A formal description of representation theorems for constitutive functions
On Bourbaki's axiomatic system for set theory
Local-global problem for Drinfeld modules.
Asymptote of additive functionals of semi-Markov processes with arbitrary sets of states
Essential dimension of generic symbols in characteristic \(p\)
Why Sets?
Uncertainty spaces. Entropy and the coding theorem
Strongly graded Leavitt path algebras
Foundations of lexicographic utility
The parallel structure of mathematical reasoning
A combinatorial theory of minimal social situations
On the arithmetic of modified idèle class groups
Domains of Sciences, Universes of Discourse and Omega Arguments
Mathematics and philosophy (on the dialectical development of mathematics)
Well-posedness of the Kadomtsev-Petviashvili hierarchy, Mulase factorization, and Frölicher Lie groups
Divisibility on countably dense ideals and countable orthocompleteness of modules
The core of a coalition production economy
Desingularization of regular algebras
Axiomatization of Jeffrey utilities
Atomatics as mathematical modelling and knowledge representation. Applications to systems analysis in computer and information sciences
Discriminants of polynomial algebras over the symmetric polynomials
Reflective Lorentzian lattices of signature \((5,1)\)
Primäre abelsche Gruppen mit isomorphen Gruppen von Endomorphismen
Spectral multipliers on 2-step stratified groups. I.
Constructing complete distinguished chains with given invariants
An accessible calculation of the stalks of the structure sheaf of the affine scheme of an integral domain
Projective limit techniques for the infinite dimensional moment problem
A separation axiom of F. Riesz
On the existence of equilibria in economies with infinitely many agents and commodities. The direct system of economies
An approach to the analysis of the underlying structure of visual space using a generalized notion of visual pattern recognition
Formal Proof: Reconciling Correctness and Understanding
Incompleteness, Undecidability and Automated Proofs
Kinematic projective quantum states for loop quantum gravity coupled to tensor fields
On filtration of Clifford \(\mathcal{A}\)-algebras and localization of \(\mathcal{A}\)-modules
A universal algebraic set theory built on mereology with applications
Fibre Tensor Product Bundles
The semantic view of theories and higher-order languages
On the theory of realization of quasilinear systems described by differential equations in a Hilbert space
On solvability of an initial-boundary-value problem for equations of magnetohydrodynamics
Remarks on the theory of quasi-sets
Almost complete spaces, hypercomplete spaces and related mapping theorems
External and internal syntax of the \(\lambda \)-calculus
Ranking by outdegree for directed graphs
Banach spaces and totally convex spaces II
The outflow ranking method for weighted directed graphs
Reinflating the semantic approach
On Bochner-Kolmogorov Theorem
Balayage of measures with respect to (sub-)harmonic functions
Algorithmic Thomas decomposition of algebraic and differential systems
Banach spaces and totally convex spaces I
Viewing \({\lambda}\)-terms through maps
Admissibility and assumption
Computer supported mathematics with \(\Omega\)MEGA
Axiomatization and models of scientific theories
Cyclic-type cohomology of strict inductive limits of Fréchet algebras
Scientific processes and social processes
Effective descent maps of topological spaces
Weak comparability of well orderings and reverse mathematics
Outer measures and outer topologies
On the semisimple tensor product of MV-algebras
Existence of compatible families of proper regular conditional probabilities
The asymptotic values of a polynomial function on the real plane
New results on pole-shifting for parametrized families of systems
Innovations in computational type theory using Nuprl
A discussion on quantum non-individuality
Theory structuralism in a rigid framework
Pro-torsion completions of abelian groups
A note on defectless extensions of henselian valued fields
Fuzzy sets and sheaves. I: Basic concepts
Solving the open bosonic string in perturbation theory
The existence of an inverse limit of an inverse system of measure spaces -- a purely measurable case
Finarity substitute for continuous topology

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5565097)