Joos Ulrich Heintz

Joos Ulrich Heintz
Joos Ulrich Heintz
Född	27 oktober 1945 (77 år) ; Zürich , ( Schweiz )
Nationalitet	schweiziska
Alma mater	Universitetet i Zürich
Yrke(n)	Matematiker , filosof och antropolog

Joos Ulrich Heintz , född 27 oktober 1945 i Zürich , Schweiz , är en argentinsk och schweizisk matematiker. Han är för närvarande professor emeritus vid universitetet i Buenos Aires .

Biografi

Efter att ha studerat matematik och kulturantropologi vid universitetet i Zürich till grundnivå, fortsatte han med en doktorsexamen i matematik 1982 under ledning av Volker Strassen . Han utförde sin habilitering 1986 vid JWvon Goethe-universitetet i Frankfurt am Main där han också studerade turkologi och sefardisk historia och kultur. Han utnämndes till Privatdozent vid JW Goethe-universitetet Frankfurt am Main. Fram till sin pensionering 2017 arbetade han som professor vid universitetet i Buenos Aires och universitetet i Cantabria /Spanien och som seniorforskare vid National Council for Scientific and Technological Development (CONICET) .

Forskning

Heintz arbetade främst inom algebraisk komplexitetsteori, beräkningsalgebraisk geometri och semi-algebraisk geometri. För detta ändamål utvecklade han tillsammans med sina medarbetare olika matematiska verktyg, t.ex. Bezout Inequality eller den första effektiva Nullstellensatz i godtycklig egenskap. Detta gjorde det möjligt för honom och hans medarbetare att anpassa Kroneckers elimineringsteori till komplexitetskraven för modern datoralgebra och att bevisa att alla rimliga geometriska (inte algebraiska) beräkningsproblem är lösbara i PSPACE . Senare utvidgade han dessa komplexitetsresultat till polynomindatasystem som ges av aritmetiska kretsar. Resultatet var en optimal probabilistisk elimineringsalgoritm i värsta fall med förmågan att känna igen "lättlösbara" indatasystem som senare implementerades av Grégoire Lecerf. Slutligen visade Heintz och hans medarbetare att under bräckliga och naturliga antaganden är den värsta komplexiteten hos elimineringsalgoritmer oundvikligen exponentiell, oberoende av den valda datastrukturen. Han tillämpade sina resultat och metoder även på blandad heltalsoptimering och grunderna för mjukvaruteknik .

Vidare identifierade han inom lingvistikområdet de turkiska språkens morfologi och fonologi som ett reguljärt språk.

1987 grundade Heintz den argentinska forskargruppen Noaï Fitchas i Buenos Aires. Denna grupp omvandlades till den internationella arbetsgruppen TERA (Turbo Evaluation and Rapid Algorithms) med medarbetare från flera argentinska, franska, spanska och tyska universitet och forskningsinstitutioner, såsom University of Buenos Aires, CONICET, University of Nice, École Polytechnique vid Paris, Universidad de Cantabria (Spanien) och Humboldt University i Berlin. Noaï Fitchas användes som en pseudonym för den argentinska gruppen och många inflytelserika tidningar inom Computer Algebra publicerades på nittiotalet under detta namn.

Heintz var medlem i redaktionen för flera internationella tidskrifter, inklusive Foundations of Computational Mathematics, Computational Complexity and Applicable Algebra in Engineering, och Communication and Computing, från vilka han fick tre utmärkelser för bästa papper.

2003 tilldelades Heintz den argentinska Konex-medaljen .

Viktiga publikationer

Heintz, Joos (1983). Definerbarhet och snabb kvantifierareliminering i algebraiskt slutna fält. Teoretisk datavetenskap . 24. s. 239-277. https://doi.org/10.1016/0304-3975(83)90002-6
Caniglia L., Galligo A., Heintz J. (1989) Några nya effektivitetsgränser i beräkningsgeometri. I: Mora T. (red) Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. AAECC 1988. Lecture Notes in Computer Science , vol 357. Springer, Berlin, Heidelberg Best Paper Award. https://doi.org/10.1007/3-540-51083-4_54
Bank B, Giusti M., Heintz J., Mbakop GM (1997). Polära varianter, äkta ekvationslösning och datastrukturer: hypersurface-fallet. Journal of Complexity 13 (1). s. 5-27 https://doi.org/10.1006/jcom.1997.0432 1997 Journal of Complexity Best Paper Award
Giusti M., Heintz J., Morais JE, Morgenstern J., Pardo LM (1998). Raka linjer i geometrisk elimineringsteori. 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). Programvaruteknik och komplexitet i effektiv algebraisk geometri. Journal of Complexity 29 (1). s. 92-138 https://doi.org/10.1016/j.jco.2012.04.005 2013 Journal of Complexity Best Paper Award
Bank B., Giusti M., Heintz J., Lecerf G., Matera G., Solernó G. (2015). Lösning av degenerationsställen och polynomekvationer. Foundations of Computational Mathematics , 15 (1). s. 159-184 https://doi.org/10.1007/s10208-014-9214-z

^ "Resolution University of Buenos Aires EXP-UBA 36.186/2014" (PDF) .
^ "Joos Ulrich Heintz vid Mathematics Genealogy Project" .
^ "W. Schwarz, J. Wolfart. Zur Geschichte des Mathematischen Seminars der Universität Frankfurt am Main von 1914 bis 1970 (2002)" (PDF) .
^ Heintz, Joos (1983). "Definerbarhet och snabb kvantifierareliminering i algebraiskt slutna fält" . Teoretisk datavetenskap . 24 (3): 239–277. doi : 10.1016/0304-3975(83)90002-6 .
^ Caniglia, L.; Heintz, J.; Galligo, A. (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.
^ Kronecker, Leopold (1882). "Grundzüge einer algebraischen Theorie der aritmetischen Grössen". Journal für die reine und angewandte Mathematik . 92 : 1–122.
^ Giusti, M.; Lecerf, G.; Salvy, B. (2001). "Ett Gröbner-fritt alternativ för polynomsystemlösning" . Journal of Complexity . 17 : 154–211. doi : 10.1006/jcom.2000.0571 .
^ Bank, B.; Heintz, Joos; Matera, G.; Montaña, JL; Pardo, LM; Rojas Paredes, A. (2016). "Frågesport som modell för informationsgömma". Journal of Complexity . 34 : 1–29. arXiv : 1508.07842 . doi : 10.1016/j.jco.2015.11.005 .
^ Bank, B.; Heintz, J.; Krick, T.; Mandel, R.; Solernó, P. (1993). "Une borne optimale pour la programmation entière quasi-convex" . Bulletin de la Société Mathématique de France . 121 (2): 299–314. doi : 10.24033/bsmf.2210 .
^ Heintz, J.; Kuijpers, B.; Rojas Paredes, A. (2013). "Programvaruteknik och komplexitet i effektiv algebraisk geometri" . Journal of Complexity . 29 : 92–138. doi : 10.1016/j.jco.2012.04.005 .
^ Heintz, Joos; Schönig, Claus (1991). "Turkisk morfologi som vanligt språk" . Centralasiatisk tidskrift . 35 (1–2): 96–122.
^ Berenstein, CA; Struppa, DC (1991). "De senaste förbättringarna av komplexiteten hos den effektiva Nullstellensatz" . Linjär algebra och dess tillämpningar . 157 : 203–215. doi : 10.1016/0024-3795(91)90115-D .
^ Heintz, Joos (2021). "La complejidad es el momento de la verdad" (PDF) . Ciencia e Investigacion. Reseñas . Asociación Argentina para el Progreso de las Ciencias. 9 (2): 43–55.
^ "Premio Konex 2003: Ingeniería Electrónica, Comunicación e Informática" .

[1] "Resolution University of Buenos Aires EXP-UBA 36.186/2014" (PDF) .

[2] "Joos Ulrich Heintz vid Mathematics Genealogy Project" .

[3] "W. Schwarz, J. Wolfart. Zur Geschichte des Mathematischen Seminars der Universität Frankfurt am Main von 1914 bis 1970 (2002)" (PDF) .

[4] Heintz, Joos (1983). "Definerbarhet och snabb kvantifierareliminering i algebraiskt slutna fält" . Teoretisk datavetenskap . 24 (3): 239–277. doi : 10.1016/0304-3975(83)90002-6 .

[5] Caniglia, L.; Heintz, J.; Galligo, A. (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, Leopold (1882). "Grundzüge einer algebraischen Theorie der aritmetischen Grössen". Journal für die reine und angewandte Mathematik . 92 : 1–122.

[7] Giusti, M.; Lecerf, G.; Salvy, B. (2001). "Ett Gröbner-fritt alternativ för polynomsystemlösning" . Journal of Complexity . 17 : 154–211. doi : 10.1006/jcom.2000.0571 .

[8] Bank, B.; Heintz, Joos; Matera, G.; Montaña, JL; Pardo, LM; Rojas Paredes, A. (2016). "Frågesport som modell för informationsgömma". Journal of Complexity . 34 : 1–29. arXiv : 1508.07842 . doi : 10.1016/j.jco.2015.11.005 .

[9] Bank, B.; Heintz, J.; Krick, T.; Mandel, R.; Solernó, P. (1993). "Une borne optimale pour la programmation entière quasi-convex" . Bulletin de la Société Mathématique de France . 121 (2): 299–314. doi : 10.24033/bsmf.2210 .

[10] Heintz, J.; Kuijpers, B.; Rojas Paredes, A. (2013). "Programvaruteknik och komplexitet i effektiv algebraisk geometri" . Journal of Complexity . 29 : 92–138. doi : 10.1016/j.jco.2012.04.005 .

[11] Heintz, Joos; Schönig, Claus (1991). "Turkisk morfologi som vanligt språk" . Centralasiatisk tidskrift . 35 (1–2): 96–122.

[12] Berenstein, CA; Struppa, DC (1991). "De senaste förbättringarna av komplexiteten hos den effektiva Nullstellensatz" . Linjär algebra och dess tillämpningar . 157 : 203–215. doi : 10.1016/0024-3795(91)90115-D .

[13] Heintz, Joos (2021). "La complejidad es el momento de la verdad" (PDF) . Ciencia e Investigacion. Reseñas . Asociación Argentina para el Progreso de las Ciencias. 9 (2): 43–55.

[14] "Premio Konex 2003: Ingeniería Electrónica, Comunicación e Informática" .

Joos Ulrich Heintz

Född	( 1945-10-27 ) 27 oktober 1945 (77 år) Zürich , ( Schweiz )
Nationalitet	schweiziska
Alma mater	Universitetet i Zürich
Yrke(n)	Matematiker , filosof och antropolog