Εμφανίζονται 21 - 25 Αποτελέσματα από 25 για την αναζήτηση '"Computer algebra systems"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 21
    Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Computer algebra systems…”
    Λήψη πλήρους κειμένου
  2. 22
    Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Computer algebra systems…”
    Λήψη πλήρους κειμένου
    Technical Report
  3. 23
    Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Computer algebra systems…”
    Λήψη πλήρους κειμένου
    Technical Report
  4. 24
    Interval computations in the formulae for the stress intensity factors at crack tips using the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2019
    Θέματα: “…Computer algebra systems…”
    Λήψη πλήρους κειμένου
    Technical Report
  5. 25
    Redlog-based derivation of feasibility conditions for singular integral equations of crack problems under parametric inequality constraints
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Reduce computer algebra system…”
    Λήψη πλήρους κειμένου
    Technical Report
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email