Εμφανίζονται 1 - 17 Αποτελέσματα από 17 για την αναζήτηση '"Symbolic computation"', χρόνος αναζήτησης: 0,18δλ Περιορισμός αποτελεσμάτων
  1. 1
    Calculation of multi-time correlation functions in dissipative quantum φ^4 theory
    ανά Αλατάς, Παναγιώτης
    Έκδοση 2023
    Θέματα: “…Symbolic computation…”
    Λήψη πλήρους κειμένου
  2. 2
    Mathematica-based formula verification in applied mechanics
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
    Λήψη πλήρους κειμένου
    Conference (paper)
  3. 3
    REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
    Technical Report
  4. 4
    Application of Mathematica to the Rayleigh–Ritz method for plane elasticity problems
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
    Technical Report
  5. 5
    Symbolic computations for the approximate solution of singular integral equations: application to a crack problem
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
    Technical Report
  6. 6
    Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
    Technical Report
  7. 7
    Stress concentration factors: determination of ranges of values by the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
    Technical Report
  8. 8
    Sharp enclosures of the real roots of the classical parametric quadratic equation with one interval coefficient by the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2019
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
    Technical Report
  9. 9
    Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
  10. 10
    Application of the method of quantifier elimination to the determination of intervals when the uncertain parameters satisfy an ellipsoidal inequality constraint
    ανά Ioakimidis, Nikolaos
    Έκδοση 2021
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
  11. 11
    Intervals for the resultants of interval forces with existentially and/or universally quantified formulae with the help of the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
    Technical Report
  12. 12
    Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
  13. 13
    Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
    Technical Report
  14. 14
    Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
    Technical Report
  15. 15
    Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and bars
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
    Technical Report
  16. 16
    Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
    Technical Report
  17. 17
    Interval computations in the formulae for the stress intensity factors at crack tips using the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2019
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
    Technical Report
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email