Results for "Computer algebra systems" Showing 1 - 25 results of 25 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Computer+algebra+systems%22&type=Subject&lng=en 25 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 16:53:22 +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 16:53:22 +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 16:53:22 +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 Redlog-based derivation of feasibility conditions for singular integral equations of crack problems under parametric inequality constraints Mon, 01 Jan 2018 16:53:22 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11217 https://find.library.upatras.gr/Record/nemertes-10889-11217 Ioakimidis, Nikolaos Technical Report 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 16:53:22 +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 Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination Mon, 01 Jan 2018 16:53:22 +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 16:53:22 +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 Stress concentration factors: determination of ranges of values by the method of quantifier elimination Mon, 01 Jan 2018 16:53:22 +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 16:53:22 +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 16:53:22 +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 Proceedings of the 1998 international symposium on Symbolic and algebraic computation Thu, 01 Jan 1998 16:53:22 +0200 https://find.library.upatras.gr/Record/10.1145%2F281508 https://find.library.upatras.gr/Record/10.1145%2F281508 Electronic Conference Proceeding eBook 1998 0 Proceedings of the 2015 International Workshop on Parallel Symbolic Computation Thu, 01 Jan 2015 16:53:22 +0200 https://find.library.upatras.gr/Record/10.1145%2F2790282 https://find.library.upatras.gr/Record/10.1145%2F2790282 Electronic Conference Proceeding eBook 2015 0 Proceedings of the international symposium on Symbolic and algebraic computation Mon, 01 Jan 1990 16:53:22 +0200 https://find.library.upatras.gr/Record/10.1145%2F96877 https://find.library.upatras.gr/Record/10.1145%2F96877 Electronic Conference Proceeding eBook 1990 0 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation Fri, 01 Jan 1971 16:53:22 +0200 https://find.library.upatras.gr/Record/10.1145%2F800204 https://find.library.upatras.gr/Record/10.1145%2F800204 Electronic eBook 1971 0 Proceedings of the 1991 international symposium on Symbolic and algebraic computation Tue, 01 Jan 1991 16:53:22 +0200 https://find.library.upatras.gr/Record/10.1145%2F120694 https://find.library.upatras.gr/Record/10.1145%2F120694 Electronic Conference Proceeding eBook 1991 0 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation Wed, 01 Jan 1986 16:53:22 +0200 https://find.library.upatras.gr/Record/10.1145%2F32439 https://find.library.upatras.gr/Record/10.1145%2F32439 Electronic Conference Proceeding eBook 1986 0 Papers from the international symposium on Symbolic and algebraic computation Wed, 01 Jan 1992 16:53:22 +0200 https://find.library.upatras.gr/Record/10.1145%2F143242 https://find.library.upatras.gr/Record/10.1145%2F143242 Electronic Conference Proceeding eBook 1992 0 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation Sun, 01 Jan 1989 16:53:22 +0200 https://find.library.upatras.gr/Record/10.1145%2F74540 https://find.library.upatras.gr/Record/10.1145%2F74540 Electronic Conference Proceeding eBook 1989 0 Proceedings of the first ACM symposium on Symbolic and algebraic manipulation Sat, 01 Jan 1966 16:53:22 +0200 https://find.library.upatras.gr/Record/10.1145%2F800005 https://find.library.upatras.gr/Record/10.1145%2F800005 Electronic eBook 1966 0 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation Thu, 01 Jan 1981 16:53:22 +0200 https://find.library.upatras.gr/Record/10.1145%2F800206 https://find.library.upatras.gr/Record/10.1145%2F800206 Electronic eBook 1981 0 Proceedings of the second international workshop on Self-organizing architectures Fri, 01 Jan 2010 16:53:22 +0200 https://find.library.upatras.gr/Record/10.1145%2F1809036 https://find.library.upatras.gr/Record/10.1145%2F1809036 Electronic Conference Proceeding eBook 2010 0 Proceedings of the 2007 international workshop on Symbolic-numeric computation Mon, 01 Jan 2007 16:53:22 +0200 https://find.library.upatras.gr/Record/10.1145%2F1277500 https://find.library.upatras.gr/Record/10.1145%2F1277500 Electronic Conference Proceeding eBook 2007 0 Proceedings of the symposium on Two-dimensional man-machine communication Sat, 01 Jan 1972 16:53:22 +0200 https://find.library.upatras.gr/Record/10.1145%2F800231 https://find.library.upatras.gr/Record/10.1145%2F800231 Electronic eBook 1972 0 Proceedings of the 1975 annual conference Wed, 01 Jan 1975 16:53:22 +0200 https://find.library.upatras.gr/Record/10.1145%2F800181 https://find.library.upatras.gr/Record/10.1145%2F800181 Electronic eBook 1975 0 Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation Sun, 01 Jan 2012 16:53:22 +0200 https://find.library.upatras.gr/Record/10.1145%2F2442829 https://find.library.upatras.gr/Record/10.1145%2F2442829 Electronic Conference Proceeding eBook 2012 0