scientific article; zbMATH DE number 3280051

Cited in

(only showing first 100 items - show all)

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
Generalized dynamic programming for multicriteria optimization
Cohomology and self-dual normal bases for infinite Galois field extensions
The Picard group of a reduced G-algebra
Properties that are productive, closed-hereditary and surjective
Formality of cochains on BG$BG$
Definability and invariance
ON FINITE TAME EXTENSIONS OF VALUED FIELDS
A secret sharing scheme with a short share realizing the $(t,n)$ threshold and the adversary structure
Theory and applications of generalized dynamic programming: An overview
Theory of symbolic expressions. I
Generating conditions for preserving the properties of controlled discrete event systems
Countability and sequentiality in fuzzy topological spaces
A representational approach to reduction in dynamical systems
Algebras with scalar involution revisited
Recursive characterization of computable real-valued functions and relations
A language for generic programming in the large
A scalable module system
The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
Linear maps preserving $r$-potents of tensor products of matrices
Path-based mathematical morphology on tensor fields
A fixpoint theory for non-monotonic parallelism
On theoreticity
Inverse semigroups with certain types of partial automorphism monoids
Nilpotent-by-finite groups with the same finite images
Fixed point theorems and semantics: A folk tale
On the spectrum of the Burnside ring
Bounded solutions of finite-difference equations
A model for science kinematics
Diagrams in mathematics
Basic concepts of structuralism
An axiomatic basis of space-time theory. I: Construction of a causal space with coordinates
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$

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)