![](/gfx/header_el.jpg)
Αρχική
Συλλογές
Σχολή/Τμήμα
Σχολή Θετικών και Τεχνολογικών Επιστημών
Τμήμα Μαθηματικών και Εφαρμοσμένων Μαθηματικών
Μεταπτυχιακές εργασίες ειδίκευσης
Μεταπτυχιακές εργασίες ειδίκευσης
Τρέχουσα Εγγραφή: 107 από 125
|
|||||||
Κωδικός Πόρου | 000400144 | ||||||
Τίτλος | Αποφασισιμότητα στην διαφορική άλγεβρα | ||||||
Άλλος τίτλος | Decidability in differential algebra | ||||||
Συγγραφέας | Μανιού, Μαριάνθη | ||||||
Σύμβουλος διατριβής | Φειδάς, Αθανάσιος | ||||||
Μέλος κριτικής επιτροπής |
Τερτίκας, Αχιλλέας
Vidaux, Xavier |
||||||
Φυσική περιγραφή | 47 σ. ; : ; 30 εκ. | ||||||
Γλώσσα | Ελληνικά | ||||||
Θέμα | (Positive) existential theory | ||||||
(Θετική) υπαρξιακή θεωρία | |||||||
Grothendieck's problem | |||||||
Hilbert's tenth problem | |||||||
Quantifier elimination | |||||||
Απαλοιφή ποσοδεικτών | |||||||
Ημερομηνία έκδοσης | 2016-03-18 | ||||||
Συλλογή | Σχολή/Τμήμα--Σχολή Θετικών και Τεχνολογικών Επιστημών--Τμήμα Μαθηματικών και Εφαρμοσμένων Μαθηματικών--Μεταπτυχιακές εργασίες ειδίκευσης | ||||||
Τύπος Εργασίας--Μεταπτυχιακές εργασίες ειδίκευσης | |||||||
Μόνιμη Σύνδεση |
https://elocus.lib.uoc.gr//dlib/8/8/e/metadata-dlib-1459496636-284143-25272.tkl![]() ![]() |
||||||
Εμφανίσεις | 550 |
Ψηφιακά τεκμήρια | |
---|---|
![]() |
Κατέβασμα Εγγράφου |