Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Help
Language
Ελληνικά
English
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Nemertes
Search
Search:
All of DSpace
1. Διατριβές και Εργασίες
2. Δημοσιεύσεις Πανεπιστημίου Πατρών
3. Tεχνικές Αναφορές
4. Αποδελτίωση περιοδικού τύπου
5. Δημοσιεύσεις Β.Κ.Π.
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 17 (Search time: 0.001 seconds).
previous
1
2
next
Item hits:
Issued Date
Title
Author(s)
Level
15-Nov-2018
Stress concentration factors: determination of ranges of values by the method of quantifier elimination
Ioakimidis, Nikolaos
-
11-Jan-2018
Direct solution of plane elasticity problems by using the Muskhelishvili functional equation and computer algebra software
Ioakimidis, Nikolaos
-
26-Jan-2018
Computer algebra and symbolic computational mechanics
Ioakimidis, Nikolaos
-
3-Jan-2018
Mathematica-based natural language processing in applied mechanics
Ioakimidis, Nikolaos
-
3-Jan-2018
Mathematica-based formula verification in applied mechanics
Ioakimidis, Nikolaos
-
8-Jan-2018
Application of Mathematica to the Rayleigh–Ritz method for plane elasticity problems
Ioakimidis, Nikolaos
-
15-Jun-2018
Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and bars
Ioakimidis, Nikolaos
-
20-Aug-2018
Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination
Ioakimidis, Nikolaos
-
7-Feb-2020
Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier elimination
Ioakimidis, Nikolaos
-
3-Oct-2018
Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination
Ioakimidis, Nikolaos
-
Discover
Author
17
Ioakimidis, Nikolaos
Subject
15
Symbolic computations
12
Quantified formulae
12
Quantifier elimination
12
Quantifier-free formulae
10
Computer algebra systems
9
Intervals
9
Quantifiers
9
Universal quantifier
7
Existential quantifier
6
Computer algebra
.
next >
Date issued
1
2021
3
2020
4
2019
9
2018