Results 21 to 30 of about 145,245 (295)

Theorema: Towards computer-aided mathematical theory exploration

Journal of Applied Logic, 2006
AbstractTheorema is a project that aims at supporting the entire process of mathematical theory exploration within one coherent logic and software system. This survey paper illustrates the style of Theorema-supported mathematical theory exploration by a case study (the automated synthesis of an algorithm for the construction of Gröbner Bases) and gives
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger   +10 more
openaire   +1 more source

Computer Aided Systems Theory — EUROCAST '93 [PDF]

Lecture Notes in Computer Science, 1994
openaire   +3 more sources

Computer Aided Systems Theory — EUROCAST '95 [PDF]

Lecture Notes in Computer Science, 1996
openaire   +3 more sources

A software environment for gain scheduled controller design [PDF]

Modeling, Identification and Control, 1998
Recent theoretical developments have improved the understanding of gain scheduled control and suggested new methods for design, analysis and implementation of such nonlinear control systems.
Tor A. Johansen, K. J. Hunt, H. Fritz
doaj   +1 more source

Diagnostics of stress and strained state of leaf springs of special purpose off-road vehicles

Diagnostyka, 2022
The work is devoted to the diagnostics of the stress state of systems that soften the shock load on the vehicle body, the elastic element of the car suspension such as a multi-leaf spring.
Anastasiia Bazhanova, Oleksii Nemchuk, Oleksandr Lymarenko, Varvara Piterska, Olga Sherstiuk, Vadym Khamrai   +5 more
doaj   +1 more source

Computer modeling in education for the development of students’ research skills [PDF]

SHS Web of Conferences, 2023
The paper considers the need to develop some applied pedagogical issues of the general theory of modeling, as well as psychological and pedagogical problems solved by modeling in the learning process, in particular, in the formation of concepts, the ...
Klimenko Ekaterina, Borodina Lyudmila, Rychenkova Anna   +2 more
doaj   +1 more source

Computer Aided Aroma Design. II. Quantitative structure-odour relationship [PDF]

, 2008
Computer Aided Aroma Design (CAAD) is likely to become a hot issue as the REACH EC document targets many aroma compounds to require substitution. The two crucial steps in CAMD are the generation of candidate molecules and the estimation of properties ...
A.-Hassan Meniai, Saci Nacef, Nacef, Saci, Vincent Gerbaud, Thierry Talou, Pascal Floquet, Korichi, Mourad, Talou, Thierry, Floquet, Pascal, Gerbaud, Vincent, Meniai, A.-Hassan, Mourad Korichi   +11 more
core   +1 more source

Computer-Aided Design of Pocket Elliptical Journal Bearings, Part 1: Theory

Journal of Advanced Mechanical Design, Systems, and Manufacturing, 2013
A computer-aided design procedure suitable for pocket elliptical journal bearings for turbomachineries is proposed. After the description of their geometry and manufacturing, the driving geometric parameters characteristic of the pocket bearing are ...
Fabrizio STEFANI
doaj   +1 more source

A case study in pathway knowledgebase verification

BMC Bioinformatics, 2006
Background Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we would like our tools to take advantage of the information stored in these ...
Shah Nigam H, Racunas Stephen A, Fedoroff Nina V   +2 more
doaj   +1 more source

Finite subgroups of automorphisms of K3 surfaces

Forum of Mathematics, Sigma, 2023
We give a complete classification of finite subgroups of automorphisms of K3 surfaces up to deformation. The classification is in terms of Hodge theoretic data associated to certain conjugacy classes of finite subgroups of the orthogonal group of the K3 ...
Simon Brandhorst, Tommy Hofmann
doaj   +1 more source