O analýze neiniciálových automatov
Page 1 Next
Ján Černý (1966)
Kybernetika
Jozef Kelemen, Alica Kelemenová (1986)
Pokroky matematiky, fyziky a astronomie
Petr Hájek, Pavel Kalášek, Petr Kůrka (1980)
Kybernetika
Václav Pinkava (1966)
Kybernetika
Nikolaj Savický (1967)
Kybernetika
Alica Kelemenová, Jozef Kelemen (1988)
Pokroky matematiky, fyziky a astronomie
Pavel Pudlák (1988)
Pokroky matematiky, fyziky a astronomie
Karel Winkelbauer (1976)
Pokroky matematiky, fyziky a astronomie
Stanislav Maloň (1960)
Aplikace matematiky
Dutour, I., Fedou, J.M. (1998)
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Jacek Błaszczyk, Andrzej Karbowski, Krzysztof Malinowski (2007)
International Journal of Applied Mathematics and Computer Science
The main purpose of this paper is to describe the design, implementation and possibilities of our object-oriented library of algorithms for dynamic optimization problems. We briefly present library classes for the formulation and manipulation of dynamic optimization problems, and give a general survey of solver classes for unconstrained and constrained optimization. We also demonstrate methods of derivative evaluation that we used, in particular automatic differentiation. Further, we briefly formulate...
Philippe R. B. Devloo, Gustavo C. Longhin (2002)
ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique
This contribution gives an overview of current research in applying object oriented programming to scientific computing at the computational mechanics laboratory (LABMEC) at the school of civil engineering – UNICAMP. The main goal of applying object oriented programming to scientific computing is to implement increasingly complex algorithms in a structured manner and to hide the complexity behind a simple user interface. The following areas are current topics of research and documented within the...
Philippe R.B. Devloo, Gustavo C. Longhin (2010)
ESAIM: Mathematical Modelling and Numerical Analysis
This contribution gives an overview of current research in applying object oriented programming to scientific computing at the computational mechanics laboratory (LABMEC) at the school of civil engineering – UNICAMP. The main goal of applying object oriented programming to scientific computing is to implement increasingly complex algorithms in a structured manner and to hide the complexity behind a simple user interface. The following areas are current topics of research and documented within the...
César Domínguez, Laureano Lambán, Julio Rubio (2007)
RAIRO - Theoretical Informatics and Applications
The specification of the data structures used in EAT, a software system for symbolic computation in algebraic topology, is based on an operation that defines a link among different specification frameworks like hidden algebras and coalgebras. In this paper, this operation is extended using the notion of institution, giving rise to three institution encodings. These morphisms define a commutative diagram which shows three possible views of the same construction, placing it in an equational algebraic...
Amandi, Analía, Iturregui, Ramiro, Zunino, Alejandro (1999)
Electronic Journal of SADIO [electronic only]
Joachim Biskup, Pratul Dublish (1993)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
J. Snoeyink, J. Stolfi (1994)
Discrete & computational geometry
E. Roanes-Macías, E. Roanes-Lozano, J. Fernández-Biarge (2009)
RACSAM
R. Boonyavatana, G. Slutzki (1986)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Anselmo, Marcella, Bertoni, Alberto (1994)
Bulletin of the Belgian Mathematical Society - Simon Stevin
Page 1 Next