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
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 53 (Search time: 0.0 seconds).
previous
1
2
3
4
...
6
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
-
8-Jan-2018
Application of Mathematica to the Rayleigh–Ritz method for plane elasticity problems
Ioakimidis, Nikolaos
-
22-Dec-2017
Solvability conditions in simple inverse/design torsion problems
Ioakimidis, Nikolaos
-
27-Feb-2018
Methods of numerical solution of singular integral equations with Cauchy-type kernels
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
-
13-Feb-2018
A closed-form formula for the critical buckling load of a bar with one end fixed and the other pinned
Anastasselou, Eleni; Ioakimidis, Nikolaos
-
26-Jan-2018
Computer algebra and symbolic computational mechanics
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
-
Discover
Author
3
Anastasselou, Eleni
Subject
20
Symbolic computations
19
Quantifier elimination
17
Mathematica
16
Quantifier-free formulae
14
Computer algebra
14
Quantified formulae
12
Computer algebra systems
11
Intervals
11
Quantifiers
10
Universal quantifier
.
next >
Date issued
1
2021
5
2020
4
2019
41
2018
2
2017