Αρχική Αναζήτηση
Αποτελέσματα - Λεπτομέρειες
Εντολή Αναζήτησης : Συγγραφέας="Vidaux" Και Συγγραφέας="Xavier"
Τρέχουσα Εγγραφή: 2 από 2
|
|||||||
Κωδικός Πόρου | 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 | ||||||
Εμφανίσεις | 578 |
Ψηφιακά τεκμήρια | |
---|---|
Κατέβασμα Εγγράφου |