Αποτελέσματα για "Συμβολικοί υπολογισμοί" Εμφανίζονται 1 - 16 Αποτελέσματα από 16 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22%CE%A3%CF%85%CE%BC%CE%B2%CE%BF%CE%BB%CE%B9%CE%BA%CE%BF%CE%AF+%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CE%AF%22&type=Subject&lng=el 16 0 50 Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements Wed, 01 Jan 2020 10:31:15 +0200 https://find.library.upatras.gr/Record/nemertes-10889-13518 https://find.library.upatras.gr/Record/nemertes-10889-13518 Ioakimidis, Nikolaos 2020 Ioakimidis, Nikolaos 0 Application of the method of quantifier elimination to the determination of intervals when the uncertain parameters satisfy an ellipsoidal inequality constraint Fri, 01 Jan 2021 10:31:15 +0200 https://find.library.upatras.gr/Record/nemertes-10889-14403 https://find.library.upatras.gr/Record/nemertes-10889-14403 Ioakimidis, Nikolaos 2021 Ioakimidis, Nikolaos 0 Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination Mon, 01 Jan 2018 10:31:15 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11505 https://find.library.upatras.gr/Record/nemertes-10889-11505 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Intervals for the resultants of interval forces with existentially and/or universally quantified formulae with the help of the method of quantifier elimination Wed, 01 Jan 2020 10:31:15 +0200 https://find.library.upatras.gr/Record/nemertes-10889-13205 https://find.library.upatras.gr/Record/nemertes-10889-13205 Ioakimidis, Nikolaos Technical Report 2020 Ioakimidis, Nikolaos 0 Mathematica-based formula verification in applied mechanics Mon, 01 Jan 2018 10:31:15 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10847 https://find.library.upatras.gr/Record/nemertes-10889-10847 Ioakimidis, Nikolaos Conference (paper) 2018 Ioakimidis, Nikolaos 0 Interval computations in the formulae for the stress intensity factors at crack tips using the method of quantifier elimination Tue, 01 Jan 2019 10:31:15 +0200 https://find.library.upatras.gr/Record/nemertes-10889-12153 https://find.library.upatras.gr/Record/nemertes-10889-12153 Ioakimidis, Nikolaos Technical Report 2019 Ioakimidis, Nikolaos 0 Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier elimination Wed, 01 Jan 2020 10:31:15 +0200 https://find.library.upatras.gr/Record/nemertes-10889-13204 https://find.library.upatras.gr/Record/nemertes-10889-13204 Ioakimidis, Nikolaos Technical Report 2020 Ioakimidis, Nikolaos 0 Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination Mon, 01 Jan 2018 10:31:15 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11605 https://find.library.upatras.gr/Record/nemertes-10889-11605 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination Wed, 01 Jan 2020 10:31:15 +0200 https://find.library.upatras.gr/Record/nemertes-10889-14145 https://find.library.upatras.gr/Record/nemertes-10889-14145 Ioakimidis, Nikolaos 2020 Ioakimidis, Nikolaos 0 REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints Mon, 01 Jan 2018 10:31:15 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11096 https://find.library.upatras.gr/Record/nemertes-10889-11096 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Symbolic computations for the approximate solution of singular integral equations: application to a crack problem Mon, 01 Jan 2018 10:31:15 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10983 https://find.library.upatras.gr/Record/nemertes-10889-10983 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Stress concentration factors: determination of ranges of values by the method of quantifier elimination Mon, 01 Jan 2018 10:31:15 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11736 https://find.library.upatras.gr/Record/nemertes-10889-11736 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination Wed, 01 Jan 2020 10:31:15 +0200 https://find.library.upatras.gr/Record/nemertes-10889-13297 https://find.library.upatras.gr/Record/nemertes-10889-13297 Ioakimidis, Nikolaos Technical Report 2020 Ioakimidis, Nikolaos 0 Sharp enclosures of the real roots of the classical parametric quadratic equation with one interval coefficient by the method of quantifier elimination Tue, 01 Jan 2019 10:31:15 +0200 https://find.library.upatras.gr/Record/nemertes-10889-12159 https://find.library.upatras.gr/Record/nemertes-10889-12159 Ioakimidis, Nikolaos Technical Report 2019 Ioakimidis, Nikolaos 0 Application of Mathematica to the Rayleigh–Ritz method for plane elasticity problems Mon, 01 Jan 2018 10:31:15 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10916 https://find.library.upatras.gr/Record/nemertes-10889-10916 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and bars Mon, 01 Jan 2018 10:31:15 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11410 https://find.library.upatras.gr/Record/nemertes-10889-11410 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0