On decidability of skeletal sets [Abstract of thesis]
Nguyen Xuang Dung (1990)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “Mathematical and computer modelling of mechanisms regulating blood flow at microcirculation level [Abstract of thesis]”
On decidability of skeletal sets [Abstract of thesis]
Adaptive methods of numerical quadrature [Abstract of thesis]
F. Němec (1990)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
A description of the AS-language for the Elliott 803 computer
Krystyna Sochacz, J. Szczepkowicz (1966)
Applicationes Mathematicae
Similarity:
C++ Tools to construct our user-level language
Frédéric Hecht (2010)
ESAIM: Mathematical Modelling and Numerical Analysis
Similarity:
The aim of this paper is to present how to make a dedicaded computed language polymorphic and multi type, in to solve partial differential equations with the finite element method. The driving idea is to make the language as close as possible to the mathematical notation.
The goals of linguistic theory and applicative grammar
Sebastian Shaumyan (1982)
Mathématiques et Sciences Humaines
Similarity: