|
Bruno Buchberger
Bruno Buchberger (born 22 October 1942) is Professor of Computer Mathematics at Johannes Kepler University Linz, Johannes Kepler University in Linz, Austria. In his 1965 Ph.D. thesis, he created the theory of Gröbner basis, Gröbner bases, and has developed this theory throughout his career. He named these objects after his advisor Wolfgang Gröbner. Since 1995, he has been active in the Theorema project at the University of Linz. Career In 1987 Buchberger founded and chaired the Research Institute for Symbolic Computation (RISC) at Johannes Kepler University. In 1985 he started the Journal of Symbolic Computation, which has now become the premier publication in the field of computer algebra. Buchberger also conceived Softwarepark Hagenberg in 1989 and since then has been directing the expansion of this Austrian technology park for software. In 2014 he became a member of the ''Global Digital Mathematical Library Working Group'' of the International Mathematical Union, IMU. Awa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Innsbruck
Innsbruck (; bar, Innschbruck, label=Bavarian language, Austro-Bavarian ) is the capital of Tyrol (state), Tyrol and the List of cities and towns in Austria, fifth-largest city in Austria. On the Inn (river), River Inn, at its junction with the Wipptal, Wipp Valley, which provides access to the Brenner Pass to the south, it had a population of 132,493 in 2018. In the broad valley between high mountains, the so-called North Chain in the Karwendel Alps (Hafelekarspitze, ) to the north and Patscherkofel () and Serles () to the south, Innsbruck is an internationally renowned winter sports centre; it hosted the 1964 Winter Olympics, 1964 and 1976 Winter Olympics as well as the 1984 Winter Paralympics, 1984 and 1988 Winter Paralympics. It also hosted the first 2012 Winter Youth Olympics, Winter Youth Olympics in 2012. The name means "bridge over the Inn". History Antiquity The earliest traces suggest initial inhabitation in the early Stone Age. Surviving Ancient Rome, pre-Roman pla ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wilhelm Exner Medal
The Wilhelm Exner Medal has been awarded by the Austrian Industry Association, (ÖGV), for excellence in research and science since 1921. The medal is dedicated to Wilhelm Exner (1840–1931), former president of the Association, who initialized the chamber of commerce in Austria, the Vienna Technical Museum and the World Exhibition in Vienna. According to Wilhelm Exner the combination of science and economy formed the groundwork for economical growth and wealth. Wilhelm Exner considered the radical changes in the economic and social framework of the 20th century to be an opportunity and aimed to tackle the issues arising offensively and constructively. He represented the cosmopolitan Austrian liberalism with a commitment to modernization and transformation of the economy, science and society. Throughout his career, he has taken a variety of key initiatives and has been involved by helping economy and business. The Wilhelm Exner Medal is awarded to scientists and researchers th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
21st-century Austrian Mathematicians
The 1st century was the century spanning AD 1 ( I) through AD 100 ( C) according to the Julian calendar. It is often written as the or to distinguish it from the 1st century BC (or BCE) which preceded it. The 1st century is considered part of the Classical era, epoch, or historical period. The 1st century also saw the appearance of Christianity. During this period, Europe, North Africa and the Near East fell under increasing domination by the Roman Empire, which continued expanding, most notably conquering Britain under the emperor Claudius ( AD 43). The reforms introduced by Augustus during his long reign stabilized the empire after the turmoil of the previous century's civil wars. Later in the century the Julio-Claudian dynasty, which had been founded by Augustus, came to an end with the suicide of Nero in AD 68. There followed the famous Year of Four Emperors, a brief period of civil war and instability, which was finally brought to an end by Vespasian, ninth Roman em ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1942 Births
Year 194 ( CXCIV) was a common year starting on Tuesday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Septimius and Septimius (or, less frequently, year 947 ''Ab urbe condita''). The denomination 194 for this year has been used since the early medieval period, when the Anno Domini calendar era became the prevalent method in Europe for naming years. Events By place Roman Empire * Emperor Septimius Severus and Decimus Clodius Septimius Albinus Caesar become Roman Consuls. * Battle of Issus: Septimius Severus marches with his army (12 legions) to Cilicia, and defeats Pescennius Niger, Roman governor of Syria. Pescennius retreats to Antioch, and is executed by Severus' troops. * Septimius Severus besieges Byzantium (194–196); the city walls suffer extensive damage. Asia * Battle of Yan Province: Warlords Cao Cao and Lü Bu fight for control over Yan Province; the battle lasts for over 100 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Herbrand Award
The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by the Conference on Automated Deduction (CADE), Inc., (although it predates the formal incorporation of CADE) to honour persons or groups for important contributions to the field of automated theorem proving, automated deduction. The award is named after the France, French scientist Jacques Herbrand and given at most once per CADE or International Joint Conference on Automated Reasoning (IJCAR). It comes with a prize of US$1,000. Anyone can be nominated, the award is awarded after a vote among CADE trustees and former recipients, usually with input from the CADE/IJCAR programme committee. Recipients Past award recipients are: 1990s * Larry Wos (1992) * Woody Bledsoe (1994) * John Alan Robinson (1996) * Wu Wenjun (1997) * Gérard Huet (1998) * Robert S. Boyer and J Strother Moore (1999) 2000s * William McCune, William W. McCune (2000) * Donald W. Loveland (2001) * Mark E. Stickel (200 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Waterloo
The University of Waterloo (UWaterloo, UW, or Waterloo) is a public research university with a main campus in Waterloo, Ontario Waterloo is a city in the Canadian province of Ontario. It is one of three cities in the Regional Municipality of Waterloo (formerly Waterloo County). Waterloo is situated about west-southwest of Toronto. Due to the close proximity of the ci ..., Canada. The main campus is on of land adjacent to "Uptown" Waterloo and Waterloo Park. The university also operates three satellite campuses and four affiliated school, affiliated university colleges. The university offers academic programs administered by six faculties and thirteen faculty-based schools. Waterloo operates the largest post-secondary co-operative education program in the world, with over 20,000 undergraduate students enrolled in the university's co-op program. Waterloo is a member of the U15 Group of Canadian Research Universities, U15, a group of research-intensive universities in Canada. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Bath
(Virgil, Georgics II) , mottoeng = Learn the culture proper to each after its kind , established = 1886 (Merchant Venturers Technical College) 1960 (Bristol College of Science and Technology) 1966 (Bath University of Technology) 1971 (university status) , type = Public , endowment = £8.1 million (2021) , budget = £289.5 million (2020–21) , chancellor = The Earl of Wessex , vice_chancellor = Ian H. White , academic_staff = 2,180 (2020) - including academic atypical staff , students = () , undergrad = () , postgrad = () , doctoral = , city = Bath, Somerset , country = England , coor = , campus = Suburban , free_label = , free = , website www.bath.ac.uk, logo = University of Bath logo.svg , affiliations = Association of Commonwealth Universities, ACUAssociation of MBAs, AMBAEuropean Quality Improvement System, EQUISEuropean University Association, EUAUniversities UK Wallace Group (universities), Wallace GroupGW4Sutton_Trust_30, Sutton 30SETs ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
West University Of Timișoara
The West University of Timișoara ( ro, Universitatea de Vest din Timișoara; abbreviated UVT) is a public higher education institution located in Timișoara. Classified by the Ministry of National Education as a university of education and scientific research, UVT is one of the nine members of the Universitaria Consortium (the group of Romanian elite universities). Also, the West University is a component institution of the National Research–Development–Innovation System in its capacity as an accredited higher education institution. The university was founded by the ''Decree-Law no. 660'' issued on 30 December 1944, which stipulates that a university must be created in western Romania. Its first faculties either were dissolved or became independent institutions. These independent higher education institutions became a sole university at the end of September 1962. In 1968 the institution became an independent university. A difficult period followed, especially for the humani ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Nijmegen
Radboud University (abbreviated as RU, nl, Radboud Universiteit , formerly ''Katholieke Universiteit Nijmegen'') is a public research university located in Nijmegen, the Netherlands. The university bears the name of Saint Radboud, a 9th century Dutch bishop who was known for his intellect and support of the underprivileged. Established in 1923, Radboud University has consistently been included in the top 150 of universities in the world by four major university ranking tables. As of 2020, it ranks 105th in the Shanghai Academic Ranking of World Universities. Internationally, RU is known for its strong research output. In 2020, 391 PhD degrees were awarded, and 8.396 scientific articles were published. To bolster the international exchange of academic knowledge, Radboud University joined the Guild of European Research-Intensive Universities in 2016. Among its alumni Radboud University counts 12 Spinoza Prize laureates and 1 Nobel Prize laureate, Sir Konstantin Novoselov, the dis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
