Αρχική Αποφασισιμότητα στην διαφορική άλγεβρα
Αποτελέσματα - Λεπτομέρειες
|
||||
Κωδικός Πόρου | 000400144 | |||
Τίτλος | Αποφασισιμότητα στην διαφορική άλγεβρα | |||
Άλλος τίτλος | Decidability in differential algebra | |||
Συγγραφέας | Μανιού, Μαριάνθη | |||
Σύμβουλος διατριβής | Φειδάς, Αθανάσιος | |||
Μέλος κριτικής επιτροπής |
Τερτίκας, Αχιλλέας
Vidaux, Xavier |
|||
Φυσική περιγραφή | 47 σ. ; : ; 30 εκ. | |||
Γλώσσα | Ελληνικά | |||
Θέμα | (Positive) existential theory | |||
(Θετική) υπαρξιακή θεωρία | ||||
Grothendieck's problem | ||||
Hilbert's tenth problem | ||||
Quantifier elimination | ||||
Απαλοιφή ποσοδεικτών | ||||
Ημερομηνία έκδοσης | 2016-03-18 | |||
Συλλογή | Σχολή/Τμήμα--Σχολή Θετικών και Τεχνολογικών Επιστημών--Τμήμα Μαθηματικών και Εφαρμοσμένων Μαθηματικών--Μεταπτυχιακές εργασίες ειδίκευσης | |||
Τύπος Εργασίας--Μεταπτυχιακές εργασίες ειδίκευσης | ||||
Εμφανίσεις | 589 |
Ψηφιακά τεκμήρια | |
---|---|
Κατέβασμα Εγγράφου |