OpenArchives.gr | Ο συσσωρευτής ψηφιακού περιεχομένου έρευνας, επιστήμης και εκπαίδευσης του ΕΚΤ

1 - 30 από 170 τεκμήρια

Ταξινόμηση

Μια νέα μέθοδος για τον υπολογισμό των ριζών αναλυτικών συναρτήσεων A new method for the computation of the zeros of analytic functions

Δημιουργός: Anastasselou, Eleni, Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1983

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Εύρεση συνθηκών εφικτότητας με βάση το Redlog για ιδιόμορφες ολοκληρωτικές εξισώσεις προβλημάτων ρωγμών υπό παραμετρικούς ανισοτικούς περιορισμούς Redlog-based derivation of feasibility conditions for singular integral equations of crack problems under parametric inequality constraints

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 2018

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Μια τροποποίηση της γενικευμένης εξίσωσης της αεροτομής και των αντίστοιχων αριθμητικών μεθόδων A modification of the generalized airfoil equation and the corresponding numerical methods

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1982

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Υπολογιστική άλγεβρα και συμβολική υπολογιστική μηχανική Computer algebra and symbolic computational mechanics

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1989

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Εντοπίζοντας εγκλείσματα από το ίδιο υλικό σε πεπερασμένα επίπεδα ισότροπα ελαστικά μέσα χρησιμοποιώντας μιγαδικά ολοκληρώματα ανεξάρτητα του δρόμου ολοκληρώσεως Locating inclusions of the same material in finite plane isotropic elastic media by using complex path-independent integrals

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1989

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Προβλήματα συγκλίσεως των άμεσων μεθόδων αριθμητικής επιλύσεως ιδιόμορφων ολοκληρωτικών εξισώσεων με πυρήνες τύπου Cauchy Problems of convergence of the direct methods of numerical solution of singular integral equations with Cauchy-type kernels

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1982

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Το πρόβλημα της ελλείψεως του Kahan, απαλοιφή ποσοδεικτών και υπολογιστική μηχανική Kahan's ellipse problem, quantifier elimination and computational mechanics

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1994

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Στοιχειώδεις τύποι χωρίς ποσοδείκτες στα συνοριακά στοιχεία Elementary quantifier-free formulae in boundary elements

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1994

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Συμβολικοί υπολογισμοί για την προσεγγιστική επίλυση ιδιόμορφων ολοκληρωτικών εξισώσεων: εφαρμογή σε ένα πρόβλημα ρωγμής Symbolic computations for the approximate solution of singular integral equations: application to a crack problem

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1989

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Ένας τύπος κλειστής μορφής για το κρίσιμο φορτίο λυγισμού ράβδου με το ένα άκρο πακτωμένο και το άλλο αρθρωμένο A closed-form formula for the critical buckling load of a bar with one end fixed and the other pinned

Δημιουργός: Anastasselou, Eleni, Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1983

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Αριθμητική σύγκριση δύο μεθόδων ομαλοποιήσεως για ιδιόμορφες ολοκληρωτικές εξισώσεις Numerical comparison of two regularization methods for singular integral equations

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1984

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Ένας ανισοτικός περιορισµός για το βέλος κάμψεως ελαστικής δοκού υπό ομοιόμορφη κατανεμημένη φόρτιση An inequality constraint for the deflection of an elastic beam under a uniform distributed loading

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1994

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Υπολογισμοί διαστημάτων στους τύπους για τους συντελεστές εντάσεως τάσεων σε άκρα ρωγμών χρησιμοποιώντας τη μέθοδο της απαλοιφής ποσοδεικτών Interval computations in the formulae for the stress intensity factors at crack tips using the method of quantifier elimination

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 2019

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Ακριβή διαστήματα για τις πραγματικές ρίζες της κλασικής παραμετρικής δευτεροβάθμιας εξισώσεως με ένα συντελεστή διαστήματος με τη μέθοδο της απαλοιφής ποσοδεικτών 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

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Εφαρμογή της απαλοιφής ποσοδεικτών σε αντίστροφα προβλήματα ελεύθερων ταλαντώσεων για μη ομογενείς δοκούς και ράβδους Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and bars

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 2018

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Διαστήματα για τις συνισταμένες δυνάμεων διαστήματος με τύπους με τον υπαρξιακό και/ή τον καθολικό ποσοδείκτη με τη βοήθεια της μεθόδου της απαλοιφής ποσοδεικτών 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

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 2019

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Υπολογισμοί διαστημάτων σε διάφορα ευθέα και αντίστροφα προβλήματα της εφαρμοσμένης μηχανικής σχετιζόμενα με ποσοδείκτες χρησιμοποιώντας τη μέθοδο της απαλοιφής ποσοδεικτών Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier elimination

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 2019

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Προσδιορισμός διαστημάτων σε συστήματα παραμετρικών γραμμικών εξισώσεων ισορροπίας με διαστήματα στην εφαρμοσμένη μηχανική με τη μέθοδο της απαλοιφής ποσοδεικτών Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 2020

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Ακριβή φράγματα βασιζόμενα στην απαλοιφή ποσοδεικτών σε προβλήματα δικτυωμάτων και άλλα προβλήματα της εφαρμοσμένης μηχανικής με αβέβαιες, διαστηματικές δυνάμεις/φορτία και άλλες παραμέτρους Sharp bounds based on quantifier elimination in truss and other applied mechanics problems with uncertain, interval forces/loads and other parameters

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 2019

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Solvability conditions in simple inverse/design torsion problems

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Κεφάλαιο

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 2003

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Τύποι για την εκθετική, τις υπερβολικές και τις τριγωνομετρικές συναρτήσεις μέσω της λογαριθμικής συναρτήσεως Formulae for the exponential, the hyperbolic and the trigonometric functions in terms of the logarithmic function

Δημιουργός: Anastasselou, Eleni, Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1991

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Ανίχνευση ιδιομορφιών στη φόρτιση/γεωμετρία σε ισότροπα ελαστικά μέσα με τη χρήση βάσεων Gröbner Detection of loading/geometrical singularities in isotropic elastic media with the use of Gröbner bases

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1999

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Επαλήθευση τύπων βασιζόμενη στη Mathematica στην εφαρμοσμένη μηχανική Mathematica-based formula verification in applied mechanics

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Επιστημονικό άρθρο, Άρθρο συνεδρίου

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 2018

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Μια μέθοδος αριθμητικής ολοκληρώσεως για την αριθμητική επίλυση δύο πραγματικών μη γραμμικών εξισώσεων με δύο αγνώστους A quadrature method for the numerical solution of two real nonlinear equations in two unknowns

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1994

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Εύρεση συνθηκών εφικτότητας σε κλασικά προβλήματα ταλαντώσεων χρησιμοποιώντας τη μέθοδο της απαλοιφής ποσοδεικτών Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 2018

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Συντελεστές συγκεντρώσεως τάσεων: προσδιορισμός πεδίων τιμών με τη μέθοδο της απαλοιφής ποσοδεικτών Stress concentration factors: determination of ranges of values by the method of quantifier elimination

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 2018

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Υπολογισμός πεδίων τιμών συναρτήσεων σε προβλήματα της εφαρμοσμένης μηχανικής με την υπολογιστική μέθοδο της απαλοιφής ποσοδεικτών Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 2018

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Αποδείξεις γεωμετρικών θεωρημάτων με τη χρήση υπολογιστή: εφαρμογές σε προβλήματα μηχανισμών Computerized proofs of geometric theorems: applications to mechanism problems

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1994

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Στοιχειώδεις εφαρμογές στη μηχανική για μηχανικούς του συστήματος αυτοματοποιημένης συλλογιστικής OTTER Elementary engineering mechanics applications of the OTTER automated reasoning system

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1998

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Εφαρμογή της Mathematica στη μέθοδο των Rayleigh–Ritz για προβλήματα της επίπεδης ελαστικότητας Application of Mathematica to the Rayleigh–Ritz method for plane elasticity problems

Δημιουργός: Ioakimidis, Nikolaos

Τύπος τεκμηρίου: Τεχνική αναφορά

Επιστημονικό πεδίο: Επιστήμες Μηχανικού και Τεχνολογία

Χρονολογία : 1992

Σχολή/τμήμα/ινστιτούτο: Πανεπιστήμιο Πατρών ▶ Πολυτεχνική Σχολή ▶ Γενικό Τμήμα

Φορέας: Πανεπιστήμιο Πατρών

Συλλογή: Νημερτής

Φίλτρα αποτελεσμάτων

Φίλτρα αποτελεσμάτων

Μια νέα μέθοδος για τον υπολογισμό των ριζών αναλυτικών συναρτήσεων A new method for the computation of the zeros of analytic functions

Μια τροποποίηση της γενικευμένης εξίσωσης της αεροτομής και των αντίστοιχων αριθμητικών μεθόδων A modification of the generalized airfoil equation and the corresponding numerical methods

Υπολογιστική άλγεβρα και συμβολική υπολογιστική μηχανική Computer algebra and symbolic computational mechanics

Το πρόβλημα της ελλείψεως του Kahan, απαλοιφή ποσοδεικτών και υπολογιστική μηχανική Kahan's ellipse problem, quantifier elimination and computational mechanics

Στοιχειώδεις τύποι χωρίς ποσοδείκτες στα συνοριακά στοιχεία Elementary quantifier-free formulae in boundary elements

Αριθμητική σύγκριση δύο μεθόδων ομαλοποιήσεως για ιδιόμορφες ολοκληρωτικές εξισώσεις Numerical comparison of two regularization methods for singular integral equations

Ένας ανισοτικός περιορισµός για το βέλος κάμψεως ελαστικής δοκού υπό ομοιόμορφη κατανεμημένη φόρτιση An inequality constraint for the deflection of an elastic beam under a uniform distributed loading

Solvability conditions in simple inverse/design torsion problems

Ανίχνευση ιδιομορφιών στη φόρτιση/γεωμετρία σε ισότροπα ελαστικά μέσα με τη χρήση βάσεων Gröbner Detection of loading/geometrical singularities in isotropic elastic media with the use of Gröbner bases

Επαλήθευση τύπων βασιζόμενη στη Mathematica στην εφαρμοσμένη μηχανική Mathematica-based formula verification in applied mechanics

Συντελεστές συγκεντρώσεως τάσεων: προσδιορισμός πεδίων τιμών με τη μέθοδο της απαλοιφής ποσοδεικτών Stress concentration factors: determination of ranges of values by the method of quantifier elimination

Αποδείξεις γεωμετρικών θεωρημάτων με τη χρήση υπολογιστή: εφαρμογές σε προβλήματα μηχανισμών Computerized proofs of geometric theorems: applications to mechanism problems

Στοιχειώδεις εφαρμογές στη μηχανική για μηχανικούς του συστήματος αυτοματοποιημένης συλλογιστικής OTTER Elementary engineering mechanics applications of the OTTER automated reasoning system

Εφαρμογή της Mathematica στη μέθοδο των Rayleigh–Ritz για προβλήματα της επίπεδης ελαστικότητας Application of Mathematica to the Rayleigh–Ritz method for plane elasticity problems

Φίλτρα αποτελεσμάτων

Φίλτρα αποτελεσμάτων

Βοηθείστε μας να κάνουμε καλύτερο το OpenArchives.gr.