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-10 of 10 (Search time: 0.001 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
-
25-Jan-2018
Symbolic computations for the approximate solution of singular integral equations: application to a crack problem
Ioakimidis, Nikolaos
-
26-Jan-2018
Kahan's ellipse problem, quantifier elimination and computational mechanics
Ioakimidis, Nikolaos
-
26-Jan-2018
Computer algebra and symbolic computational mechanics
Ioakimidis, Nikolaos
-
16-Feb-2018
REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints
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
10
Ioakimidis, Nikolaos
Subject
7
Mathematica
6
Computer algebra
6
Quantifier elimination
4
Computer algebra systems
4
Quantified formulae
4
Quantifier-free formulae
4
Universal quantifier
3
Lower bounds
3
Maximization
3
Minimization
.
next >