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
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 19 (Search time: 0.002 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
-
25-Jun-2020
Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements
Ioakimidis, Nikolaos
-
21-Oct-2020
Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination
Ioakimidis, Nikolaos
-
3-Jan-2018
Mathematica-based formula verification in applied mechanics
Ioakimidis, Nikolaos
-
16-Feb-2018
REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints
Ioakimidis, Nikolaos
-
25-Jan-2018
Symbolic computations for the approximate solution of singular integral equations: application to a crack problem
Ioakimidis, Nikolaos
-
8-Jan-2018
Application of Mathematica to the Rayleigh–Ritz method for plane elasticity problems
Ioakimidis, Nikolaos
-
26-Jan-2018
Computer algebra and symbolic computational mechanics
Ioakimidis, Nikolaos
-
26-Jan-2018
Kahan's ellipse problem, quantifier elimination and computational mechanics
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
Subject
15
Quantifier elimination
14
Mathematica
13
Quantified formulae
13
Quantifier-free formulae
11
Computer algebra systems
10
Intervals
10
Quantifiers
10
Universal quantifier
9
Computer algebra
8
Existential quantifier
.
next >
Date issued
5
2020
4
2019
10
2018