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
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-9 of 9 (Search time: 0.002 seconds).
previous
1
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
-
3-Oct-2018
Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination
Ioakimidis, Nikolaos
-
Discover
Author
9
Ioakimidis, Nikolaos
Subject
7
Symbolic computations
4
Computer algebra systems
4
Quantified formulae
4
Quantifier elimination
4
Quantifier-free formulae
4
Universal quantifier
3
Applied mechanics
3
Computer algebra
3
Lower bounds
3
Maximization
.
next >