scientific article; zbMATH DE number 3280051
From MaRDI portal
Publication:5565097
Cited in
(only showing first 100 items - show all)- Perfect category-graded algebras
- A model for science kinematics
- Structural stability of market models
- Uncertainty spaces. Entropy and the coding theorem
- On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
- Nicolas Bourbaki and the concept of mathematical structure
- Banach spaces and totally convex spaces I
- Algebras with scalar involution revisited
- On the arithmetic of modified idèle class groups
- The existence of an inverse limit of an inverse system of measure spaces -- a purely measurable case
- Primäre abelsche Gruppen mit isomorphen Gruppen von Endomorphismen
- Analytic extension of locally defined Riemannian manifolds
- The semantic view of theories and higher-order languages
- A universal algebraic set theory built on mereology with applications
- Essential dimension of generic symbols in characteristic \(p\)
- Finarity substitute for continuous topology
- Banach spaces and totally convex spaces II
- The Picard group of a reduced G-algebra
- On Bourbaki's axiomatic system for set theory
- Linear maps preserving \(r\)-potents of tensor products of matrices
- Theory structuralism in a rigid framework
- Bounded solutions of finite-difference equations
- A discussion on quantum non-individuality
- Knot groups whose bases are abelian
- Path-based mathematical morphology on tensor fields
- Why Sets?
- Application of electronic computers in the theory of substitution groups and its applications
- Remarks on the theory of quasi-sets
- Theory and applications of generalized dynamic programming: An overview
- Strongly graded Leavitt path algebras
- Bourbaki's structure theory in the problem of complex systems simulation models synthesis and model-oriented programming
- An axiomatic basis of space-time theory. I: Construction of a causal space with coordinates
- The outflow ranking method for weighted directed graphs
- Weak comparability of well orderings and reverse mathematics
- On solvability of an initial-boundary-value problem for equations of magnetohydrodynamics
- Fixed point theorems and semantics: A folk tale
- Normal bases of a family of endomorphisms of a metrized vector bundle
- Projective limit techniques for the infinite dimensional moment problem
- Pro-torsion completions of abelian groups
- Cyclic-type cohomology of strict inductive limits of Fréchet algebras
- A language for generic programming in the large
- The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
- Balayage of measures with respect to (sub-)harmonic functions
- A note on defectless extensions of henselian valued fields
- On the implication of properties of related systems: a method for obtaining implication conditions and application examples
- Asymptote of additive functionals of semi-Markov processes with arbitrary sets of states
- The blowup closure of a set of ideals with applications to \(TI\) closure.
- A scalable module system
- On Bochner-Kolmogorov Theorem
- Ranking by outdegree for directed graphs
- Viewing \({\lambda}\)-terms through maps
- A secret sharing scheme with a short share realizing the \((t,n)\) threshold and the adversary structure
- Almost complete spaces, hypercomplete spaces and related mapping theorems
- Diagrams in mathematics
- New results on pole-shifting for parametrized families of systems
- Fibre Tensor Product Bundles
- Properties that are productive, closed-hereditary and surjective
- Cohomology and self-dual normal bases for infinite Galois field extensions
- Mathematical structure of unit systems
- A combinatorial theory of minimal social situations
- Involutions on sheaves of endomorphisms of locally finitely presented \(\mathscr{O}_X\)-modules
- Admissibility and assumption
- Formal Proof: Reconciling Correctness and Understanding
- Generalized dynamic programming for multicriteria optimization
- Desingularization of regular algebras
- Domains of Sciences, Universes of Discourse and Omega Arguments
- Axiomatization and models of scientific theories
- Reinflating the semantic approach
- The asymptotic values of a polynomial function on the real plane
- The parallel structure of mathematical reasoning
- Implementation of Bourbaki's \textit{Elements of mathematics} in Coq. II: From natural numbers to real numbers
- Kinematic projective quantum states for loop quantum gravity coupled to tensor fields
- Local-global problem for Drinfeld modules.
- Algorithmic Thomas decomposition of algebraic and differential systems
- On the representation theory of the Bondi-Metzner-Sachs group and its variants in three space-time dimensions
- Transport of structure in higher homological algebra
- A theorem prover for a computational logic
- Fuzzy sets and sheaves. I: Basic concepts
- A separation axiom of F. Riesz
- Mathematics and philosophy (on the dialectical development of mathematics)
- Nilpotent-by-finite groups with the same finite images
- On the spectrum of the Burnside ring
- On the theory of realization of quasilinear systems described by differential equations in a Hilbert space
- Computer supported mathematics with MEGA
- A recursive approach to the solution of abstract linear equations and the tau method
- On the semisimple tensor product of MV-algebras
- An approach to the analysis of the underlying structure of visual space using a generalized notion of visual pattern recognition
- On the existence of equilibria in economies with infinitely many agents and commodities. The direct system of economies
- A CHARACTERIZATION OF KRASNER'S CONSTANT
- Effective descent maps of topological spaces
- A formal description of representation theorems for constitutive functions
- Solving the open bosonic string in perturbation theory
- Theory of symbolic expressions. I
- Axiomatization of Jeffrey utilities
- Countability and sequentiality in fuzzy topological spaces
- Well-posedness of the Kadomtsev-Petviashvili hierarchy, Mulase factorization, and Frölicher Lie groups
- Recursive characterization of computable real-valued functions and relations
- ITBM-constructive completions of algebras
- Maximal feebly compact spaces
- On filtration of Clifford \(\mathcal{A}\)-algebras and localization of \(\mathcal{A}\)-modules
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)