scientific article; zbMATH DE number 3280051

Cited in

(only showing first 100 items - show all)

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
External and internal syntax of the $\lambda $-calculus
A fixpoint theory for non-monotonic parallelism
Formality of cochains on BG$BG$
Generating conditions for preserving the properties of controlled discrete event systems
Divisibility on countably dense ideals and countable orthocompleteness of modules
The core of a coalition production economy
Spectral multipliers on 2-step stratified groups. I.
On the algebraic and arithmetical structure of generalized polynomial algebras
Univalent Foundations and the UniMath Library
Foundations of lexicographic utility
Reflective Lorentzian lattices of signature $(5,1)$
Basic concepts of structuralism
Existence of compatible families of proper regular conditional probabilities
Existence of a utility on a topological semigroup
An accessible calculation of the stalks of the structure sheaf of the affine scheme of an integral domain
Ordered pair of normalized real numbers
ON FINITE TAME EXTENSIONS OF VALUED FIELDS
A representational approach to reduction in dynamical systems
Fuzzy sets as named sets
Scientific processes and social processes
Incompleteness, Undecidability and Automated Proofs
Innovations in computational type theory using Nuprl
A numerical treatment of the two-dimensional multi-term time-fractional mixed sub-diffusion and diffusion-wave equation
Definability and invariance
Existence and uniqueness for $p$-adic counterpart of the porous medium equation
Discriminants of polynomial algebras over the symmetric polynomials
Atomatics as mathematical modelling and knowledge representation. Applications to systems analysis in computer and information sciences
Constructing complete distinguished chains with given invariants
Inverse semigroups with certain types of partial automorphism monoids
On theoreticity
Outer measures and outer topologies

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)