Joos Ulrich Heintz

Vikipedi, özgür ansiklopedi
Joos Ulrich Heintz
Doğum27 Ekim 1945 (78 yaşında)
Zürih, (İsviçre)
Milliyetİsviçreli
Mezun olduğu okul(lar)Zürih Üniversitesi
MeslekMatematikçi, Filozof ve Antropolog

Joos Ulrich Heintz (27 Ekim 1945, Zürih, İsviçre doğumlu) Arjantinli ve İsviçreli bir matematikçidir. Şu anda Buenos Aires Üniversitesi'nde fahri profesördür.[1]

Biyografi[değiştir | kaynağı değiştir]

Zürih Üniversitesi'nde Matematik ve Kültürel Antropoloji okuduktan sonra, 1982 yılında Volker Strassen gözetiminde Matematik alanında doktora derecesi aldı.[2] Habilitasyonunu 1986 yılında Frankfurt am Main'deki JWvon Goethe Üniversitesi'nde [3] burada Türkoloji ve Sefarad tarihi ve kültürü okurken gerçekleştirdi. Frankfurt am Main JW Goethe üniversitesine doçent olarak atandı. 2017'de emekli olana kadar Buenos Aires Üniversitesi ve İspanya Cantabria Üniversitesi'nde Profesör olarak ve Ulusal Bilimsel ve Teknolojik Gelişim Konseyi'nde (CONICET) Kıdemli Araştırmacı olarak çalıştı.

Araştırma[değiştir | kaynağı değiştir]

Heintz temel olarak cebirsel karmaşıklık teorisi, hesaplamalı cebirsel geometri ve yarı cebirsel geometri alanlarında çalıştı. Bu amaçla, ortak çalışanları ile farklı matematiksel araçlar geliştirdi, örneğin Bezout Eşitsizliği [4] veya keyfi karakterde ilk etkili Nullstellensatz.[5] Bu, ona ve meslektaşlarına Kronecker'in eliminasyon teorisini [6] modern bilgisayar cebirinin karmaşıklık gereksinimlerine uyarlama ve tüm makul geometrik (cebirsel değil) hesaplama problemlerinin PSPACE'de çözülebilir olduğunu kanıtlama imkanı verdi. Daha sonra, bu karmaşıklık sonuçlarını aritmetik devreler tarafından verilen polinom giriş sistemlerine genişletti. Sonuç, daha sonra Grégoire Lecerf tarafından uygulanan "kolayca çözülebilir" girdi sistemlerini tanıma yeteneği ile en kötü durum optimal olasılıksal eliminasyon algoritmasıydı.[7] Son olarak, Heintz ve ortakları, kırılgan ve doğal varsayımlar altında, eleme algoritmalarının en kötü durum karmaşıklığının, seçilen veri yapısından bağımsız olarak kaçınılmaz olarak üstel olduğunu gösterdiler.[8] Sonuçlarını ve yöntemlerini aynı zamanda karma tam sayı optimizasyonuna [9] ve yazılım mühendisliğinin temellerine uyguladı.[10]

Ayrıca dilbilim alanında Türk dillerinin morfolojisi ve fonolojisini normal bir dil olarak tanımladı.[11]

1987'de Heintz, Buenos Aires'te Arjantinli araştırma grubu Noaï Fitchas'ı kurdu. Bu grup uluslararası çalışma grubu dönüştü TERA (Turbo Değerlendirme ve Hızlı Algoritmalar) birkaç Arjantin, Fransızca, İspanyolca ve Buenos Aires Üniversitesi'nde CONICET, Alman üniversite ve araştırma kurumları, işbirlikçileri ile Nice Üniversitesi, Ecole Polytechnique Paris, Universidad de Cantabria (İspanya) ve Berlin'deki Humboldt Üniversitesi. Noaï Fitchas, Arjantinli grup için bir takma ad olarak kullanılmış ve 1990'larda bu isim altında Bilgisayar Cebirinde çok sayıda etkili makale yayınlanmıştır [12]

Heintz, Foundations of Computational Mathematics, Computational Complexity and Applicable Algebra in Engineering ve Communication and Computing gibi çeşitli uluslararası dergilerin yayın kurullarının bir üyesiydi ve bunlardan en iyi üç makale ödülü aldı.

2003 yılında Heintz, Arjantin Konex Liyakat Madalyası ile ödüllendirildi.[13]

Önemli yayınlar[değiştir | kaynağı değiştir]

  • Heintz, Joos (1983). Cebirsel olarak kapalı alanlarda tanımlanabilirlik ve hızlı niceleyici eliminasyonu. Teorik Bilgisayar Bilimleri . 24. sayfa 239-277. https://doi.org/10.1016/0304-3975(83)90002-6
  • Caniglia L., Galligo A., Heintz J. (1989) Hesaplamalı geometride bazı yeni etkinlik sınırları. In: Mora T. (eds) Uygulamalı Cebir, Cebirsel Algoritmalar ve Hata Düzeltme Kodları. AAECC 1988. Bilgisayar Bilimi Ders Notları, cilt 357. Springer, Berlin, Heidelberg En İyi Kağıt Ödülü. https://doi.org/10.1007/3-540-51083-4_54
  • Banka B, Giusti M., Heintz J., Mbakop GM (1997). Kutup çeşitleri, gerçek denklem çözme ve veri yapıları: hiper yüzey durumu. Karmaşıklık Dergisi 13 (1). pp. 5–27 https://doi.org/10.1006/jcom.1997.0432 1997 Journal of Complexity En İyi Makale Ödülü
  • Giusti M., Heintz J., Morais JE, Morgenstern J., Pardo LM (1998). Geometrik eliminasyon teorisinde düz çizgi programları. Journal of Pure and Applied Algebra 124 (1-3) (1998) 101-146 https://doi.org/10.1016/S0022-4049(96)00099-0
  • Heintz J., Kuijpers B., Rojas Paredes A. (2013). Etkili Cebirsel Geometride Yazılım Mühendisliği ve karmaşıklık. Karmaşıklık Dergisi 29 (1). s. 92-138 https://doi.org/10.1016/j.jco.2012.04.005 2013 Journal of Complexity En İyi Bildiri Ödülü
  • Bank B., Giusti M., Heintz J., Lecerf G., Matera G., Solernó G. (2015). Dejenerelik Bölgeleri ve Polinom Denklem Çözümü. Hesaplamalı Matematiğin Temelleri, 15 (1). s. 159-184 https://doi.org/10.1007/s10208-014-9214-z

Kaynakça[değiştir | kaynağı değiştir]

  1. ^ "Resolution University of Buenos Aires EXP-UBA 36.186/2014" (PDF). 19 Temmuz 2017 tarihinde kaynağından (PDF) arşivlendi. 
  2. ^ "Joos Ulrich Heintz at the Mathematics Genealogy Project". 9 Ağustos 2010 tarihinde kaynağından arşivlendi. 
  3. ^ "W. Schwarz, J. Wolfart. Zur Geschichte des Mathematischen Seminars der Universität Frankfurt am Main von 1914 bis 1970 (2002)" (PDF). 22 Mayıs 2016 tarihinde kaynağından (PDF) arşivlendi. 
  4. ^ Heintz (1983). "Definability and fast quantifier elimination in algebraically closed fields". Theoretical Computer Science. 24 (3): 239-277. doi:10.1016/0304-3975(83)90002-6. 
  5. ^ Caniglia (1988). "Borne simple exponentielle pour les degrés dans le théorème des zéros sur un corps de caractéristique quelconque". Comptes rendus de l'Académie des Sciences. 307: 255-258. 
  6. ^ Kronecker (1882). "Grundzüge einer algebraischen Theorie der arithmetischen Grössen". Journal für die reine und angewandte Mathematik. 92: 1-122. 
  7. ^ Giusti (2001). "A Gröbner free alternative for polynomial system solving". Journal of Complexity. 17: 154-211. doi:10.1006/jcom.2000.0571. 
  8. ^ Bank (2016). "Quiz games as a model for information hiding". Journal of Complexity. 34: 1-29. doi:10.1016/j.jco.2015.11.005. 
  9. ^ Bank (1993). "Une borne optimale pour la programmation entière quasi-convexe". Bulletin de la Société Mathématique de France. 121 (2): 299-314. doi:10.24033/bsmf.2210. 
  10. ^ Heintz (2013). "Software Engineering and complexity in effective Algebraic Geometry". Journal of Complexity. 29: 92-138. doi:10.1016/j.jco.2012.04.005. 
  11. ^ Heintz (1991). "Turkic morphology as regular language" (PDF). Central Asiatic Journal. 35: 96-122. 7 Nisan 2020 tarihinde kaynağından arşivlendi (PDF). Erişim tarihi: 19 Mayıs 2021. 
  12. ^ Berenstein (1991). "Recent improvements in the complexity of the effective Nullstellensatz". Linear Algebra and Its Applications. 157: 203-215. doi:10.1016/0024-3795(91)90115-D. 
  13. ^ "Premio Konex 2003: Ingeniería Electrónica, Comunicación e Informática". 19 Mayıs 2021 tarihinde kaynağından arşivlendi. 
"https://tr.wikipedia.org/w/index.php?title=Joos_Ulrich_Heintz&oldid=28255078" sayfasından alınmıştır