A finite element method for the computation of parametric minimal surfaces
A forced quasilinear wave equation with dissipation
A formal connection between projectiveness for compact and not necessarily compact completely regular spaces
A gauge theory for the Kadomtsev-Petviashvili system
A general approach to the theory of set-valued mappings
A general fixed point theorem
A generalization of Fueter’s monogenic functions to fine domains
A generalization of perfect maps
A generalized Leibniz rule and foundation of a discrete quaternionic analysis
A hereditarily infinite dimensional space
A hereditarily normal strongly zero-dimensional space containing subspaces of arbitrary large dimension
A high-order helicity invariant and the Rokhlin theorem
A homogeneous Hausdorff -space which is not
A K-theoretic approach to Chern-Cheeger-Simons invariants
The aim of this paper is to construct a natural mapping , , from the multiplicative -theory of a differential manifold , associated to the trivial filtration of the de Rham complex, as defined by M. Karoubi in [C. R. Acad. Sci., Paris, Sér. I 302, 321-324 (1986; Zbl 0593.55004)] to the odd cohomology . By using this mapping, the author associates to any flat complex vector bundle on characteristic classes analogous to the classes studied by S. Chern, J. Cheeger and J. Simons in [Differential...
À la mémoire de Eduard Čech
A Language Engineering Architecture for Processing Informal Mathematical Discourse
We present a modular architecture for processing informal mathematical language as found in textbooks and mathematical publications. We point at its properties relevant in addressing three aspects of informal mathematical discourse: (i) the interleaved symbolic and natural language, (ii) the linguistic, domain, and notational context, and (iii) the imprecision of the informal language. The objective in the modular approach is to enable parameterisation of the system with respect to the natural language...
A mesh free numerical method for the solution of an inverse heat problem
We combine the theory of radial basis functions with the finite difference method to solve the inverse heat problem, and use five standard radial basis functions in the method of the collocation. In addition, using the newly proposed numerical procedure, we also discuss some experimental numerical results.
A method to rigorously enclose eigenpairs of complex interval matrices
In this paper, a rigorous computational method to enclose eigenpairs of complex interval matrices is proposed. Each eigenpair is found by solving a nonlinear equation of the form via a contraction argument. The set-up of the method relies on the notion of , which provide an efficient mean of determining a domain on which the contraction mapping theorem is applicable.
A model for phenomena of instability
A multilevel correction type of adaptive finite element method for Steklov eigenvalue problems
Adaptive finite element method based on multilevel correction scheme is proposed to solve Steklov eigenvalue problems. In this method, each adaptive step involves solving associated boundary value problems on the adaptive partitions and small scale eigenvalue problems on the coarsest partitions. Solving eigenvalue problem in the finest partition is not required. Hence the efficiency of solving Steklov eigenvalue problems can be improved to the similar efficiency of the adaptive finite element method...