Showing 1 - 9 results of 9 for search '"Συστήματα υπολογιστικής άλγεβρας"', query time: 0.06s Refine Results
  1. 1
    Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Συστήματα υπολογιστικής άλγεβρας…”
    Get full text
    Technical Report
  2. 2
    Stress concentration factors: determination of ranges of values by the method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Συστήματα υπολογιστικής άλγεβρας…”
    Get full text
    Technical Report
  3. 3
    Sharp enclosures of the real roots of the classical parametric quadratic equation with one interval coefficient by the method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2019
    Subjects: “…Συστήματα υπολογιστικής άλγεβρας…”
    Get full text
    Technical Report
  4. 4
    Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements
    by Ioakimidis, Nikolaos
    Published 2020
    Subjects: “…Συστήματα υπολογιστικής άλγεβρας…”
    Get full text
  5. 5
    Application of the method of quantifier elimination to the determination of intervals when the uncertain parameters satisfy an ellipsoidal inequality constraint
    by Ioakimidis, Nikolaos
    Published 2021
    Subjects: “…Συστήματα υπολογιστικής άλγεβρας…”
    Get full text
  6. 6
    Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2020
    Subjects: “…Συστήματα υπολογιστικής άλγεβρας…”
    Get full text
  7. 7
    Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2020
    Subjects: “…Συστήματα υπολογιστικής άλγεβρας…”
    Get full text
    Technical Report
  8. 8
    Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Συστήματα υπολογιστικής άλγεβρας…”
    Get full text
    Technical Report
  9. 9
    Interval computations in the formulae for the stress intensity factors at crack tips using the method of quantifier elimination
    by Ioakimidis, Nikolaos
    Published 2019
    Subjects: “…Συστήματα υπολογιστικής άλγεβρας…”
    Get full text
    Technical Report
Search Tools: RSS Feed – Email Search