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 18 (Search time: 0.0 seconds).
previous
1
2
next
Item hits:
Issued Date
Title
Author(s)
Level
21-Oct-2020
Generalized interval-based polynomial approximations to functions in applied mechanics by using 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
-
14-Feb-2018
An inequality constraint for the deflection of an elastic beam under a uniform distributed loading
Ioakimidis, Nikolaos
-
22-Dec-2017
Solvability conditions in simple inverse/design torsion problems
Ioakimidis, Nikolaos
-
13-Feb-2018
Elementary quantifier-free formulae in boundary elements
Ioakimidis, Nikolaos
-
16-Feb-2018
REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints
Ioakimidis, Nikolaos
-
26-Jan-2018
Kahan's ellipse problem, quantifier elimination and computational mechanics
Ioakimidis, Nikolaos
-
15-Nov-2018
Stress concentration factors: determination of ranges of values by 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
-
24-May-2019
Sharp enclosures of the real roots of the classical parametric quadratic equation with one interval coefficient by the method of quantifier elimination
Ioakimidis, Nikolaos
-
Discover
Subject
15
Quantifier-free formulae
15
Symbolic computations
13
Quantified formulae
11
Mathematica
10
Computer algebra systems
10
Intervals
10
Quantifiers
10
Universal quantifier
8
Existential quantifier
7
Computer algebra
.
next >
Date issued
5
2020
4
2019
8
2018
1
2017