Joos Ulrich Heintz

**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.

## Biyografi
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ı. Habilitasyonunu 1986 yılında Frankfurt am Main'deki JWvon Goethe Üniversitesi'nde  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
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  veya keyfi karakterde ilk etkili Nullstellensatz. Bu, ona ve meslektaşlarına Kronecker'in eliminasyon teorisini  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ı. 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. Sonuçlarını ve yöntemlerini aynı zamanda karma tam sayı optimizasyonuna  ve yazılım mühendisliğinin temellerine uyguladı.

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

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 

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.

## Önemli yayınlar

* 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.&nbsp;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