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 31-40 of 52 (Search time: 0.0 seconds).
previous
1
2
3
4
5
6
next
Item hits:
Issued Date
Title
Author(s)
Level
13-Feb-2018
Numerical comparison of two regularization methods for singular integral equations
Ioakimidis, Nikolaos
-
5-Mar-2018
On the boundary integral equation method for the problem of a plane crack inside a three-dimensional elastic medium
Ioakimidis, Nikolaos
-
17-Jan-2018
A new semi-Gaussian quadrature rule for finite-part integrals in crack problems with a second-order singularity
Ioakimidis, Nikolaos
-
11-Jan-2018
Elementary engineering mechanics applications of the OTTER automated reasoning system
Ioakimidis, Nikolaos
-
26-Jan-2018
Kahan's ellipse problem, quantifier elimination and computational mechanics
Ioakimidis, Nikolaos
-
14-Mar-2018
Upper bounds for the absolute values of the stress-intensity factors at the tips of slightly curvilinear cracks
Ioakimidis, Nikolaos
-
28-Dec-2017
Formulae for the exponential, the hyperbolic and the trigonometric functions in terms of the logarithmic function
Ioakimidis, Nikolaos; Anastasselou, Eleni
-
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
Author
3
Anastasselou, Eleni
Subject
19
Symbolic computations
18
Quantifier elimination
16
Mathematica
15
Quantifier-free formulae
14
Computer algebra
13
Quantified formulae
11
Computer algebra systems
10
Intervals
10
Quantifiers
10
Universal quantifier
.
next >
Date issued
5
2020
4
2019
41
2018
2
2017