Εμφανίζονται 1 - 20 Αποτελέσματα από 25 για την αναζήτηση '"Computer algebra systems"', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 1
    Proceedings of the 2015 International Workshop on Parallel Symbolic Computation
    Έκδοση 2015
    Θέματα: “…Computer algebra systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 2
    Proceedings of the 1998 international symposium on Symbolic and algebraic computation
    Έκδοση 1998
    Θέματα: “…Computer algebra systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 3
    Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
    Έκδοση 1989
    Θέματα: “…Computer algebra systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 4
    Proceedings of the second international workshop on Self-organizing architectures
    Έκδοση 2010
    Θέματα: “…Computer algebra systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 5
    Proceedings of the 1975 annual conference
    Έκδοση 1975
    Θέματα: “…Computer algebra systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Proceedings of the international symposium on Symbolic and algebraic computation
    Έκδοση 1990
    Θέματα: “…Computer algebra systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 7
    Proceedings of the 1991 international symposium on Symbolic and algebraic computation
    Έκδοση 1991
    Θέματα: “…Computer algebra systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 8
    Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
    Έκδοση 1986
    Θέματα: “…Computer algebra systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 9
    Papers from the international symposium on Symbolic and algebraic computation
    Έκδοση 1992
    Θέματα: “…Computer algebra systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 10
    Proceedings of the first ACM symposium on Symbolic and algebraic manipulation
    Έκδοση 1966
    Θέματα: “…Computer algebra systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Proceedings of the 2007 international workshop on Symbolic-numeric computation
    Έκδοση 2007
    Θέματα: “…Computer algebra systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 12
    Proceedings of the symposium on Two-dimensional man-machine communication
    Έκδοση 1972
    Θέματα: “…Computer algebra systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
    Έκδοση 2012
    Θέματα: “…Computer algebra systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 14
    Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
    Έκδοση 1971
    Θέματα: “…Computer algebra systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
    Έκδοση 1981
    Θέματα: “…Computer algebra systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Computer algebra systems…”
    Λήψη πλήρους κειμένου
    Technical Report
  17. 17
    Stress concentration factors: determination of ranges of values by the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Computer algebra systems…”
    Λήψη πλήρους κειμένου
    Technical Report
  18. 18
    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
    Θέματα: “…Computer algebra systems…”
    Λήψη πλήρους κειμένου
    Technical Report
  19. 19
    Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Computer algebra systems…”
    Λήψη πλήρους κειμένου
  20. 20
    Application of the method of quantifier elimination to the determination of intervals when the uncertain parameters satisfy an ellipsoidal inequality constraint
    ανά Ioakimidis, Nikolaos
    Έκδοση 2021
    Θέματα: “…Computer algebra systems…”
    Λήψη πλήρους κειμένου
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email