AI & ChatGPT searches , social queries for JOHN TROMP
Search references for JOHN TROMP. Phrases containing JOHN TROMP
See searches and references containing JOHN TROMP!
Search references for JOHN TROMP. Phrases containing JOHN TROMP
See searches and references containing JOHN TROMP!JOHN TROMP
Dutch computer scientist
John Tromp is a Dutch computer scientist. He formerly worked for the Dutch Centre for Mathematics and Computer Science. Tromp discovered the number of
John_Tromp
HNLMS Tromp (F801) (Dutch: Hr.Ms. Tromp) was a frigate of the Tromp class. The ship was in service with the Royal Netherlands Navy from 1975 to 1999.
HNLMS_Tromp_(F801)
Estimate of number of possible chess games
7×1045, and showed an upper bound 4×1037 in the absence of promotions. John Tromp and Peter Österlund estimated the number of legal chess positions with
Shannon_number
Surname list
Johann Tromp (born 1990), Namibian rugby union player John Tromp, Dutch computer scientist Lionel Tromp (born 1984), Aruban footballer Maarten Tromp (1598–1653)
Tromp_(surname)
Aruban baseball player (born 1995)
Chadwick Chandler Tromp (born March 21, 1995) is an Aruban professional baseball catcher in the Los Angeles Dodgers organization. He has previously played
Chadwick_Tromp
Dutch naval officer
Cornelis Maartenszoon Tromp, Count of Sølvesborg (3 September 1629 – 29 May 1691) was a Dutch naval officer who served as lieutenant-admiral general in
Cornelis_Tromp
Sliding block puzzle
Computer Science. 270 (1–2): 895–911. doi:10.1016/S0304-3975(01)00173-6. John Tromp; Rudy Cilibrasi (2005). "Limits of Rush Hour Logic Complexity". arXiv:cs/0502068
Rush_Hour_(puzzle)
Dutch naval destroyer (1938–1955)
HNLMS Tromp was the lead ship of the Tromp-class destroyer leaders built for the Royal Netherlands Navy. Built just prior to World War II, the ship served
HNLMS_Tromp_(1937)
Dutch admiral (1598–1653)
Maarten Harpertszoon Tromp (23 April 1598 – 31 July 1653), also known as Maarten van Tromp, was an army general and admiral in the Dutch navy during much
Maarten_Tromp
Type of integer benchmark for the game Connect-4
efficiently solves positions in the game of Connect-4. It was written by John Tromp in 1996-2008, and is incorporated into the Phoronix Test Suite. The measurements
Fhourstones
Programming language for experimentation or art
4324/9781315730479-50. ISBN 978-1-315-73047-9. "Languages". Cat's Eye Technologies. John Tromp. "Most functional". The International Obfuscated C Code Contest. Archived
Esoteric_programming_language
Traditional board game for two players
Archived from the original on 13 August 2021. Retrieved 16 January 2021. John Tromp (2021). "Chess Position Ranking". GitHub. Archived from the original on
Chess
Notion in combinatorial game theory
John Tromp; Gunnar Farnebäck (2007). "Combinatorics of Go". This paper derives the bounds 48<log(log(N))<171 on the number of possible games N. Tromp
Game_complexity
Higher-order function Y for which Y f = f (Y f)
combinator in the SK-calculus using S and K combinators only, found by John Tromp, is Y ′ = S S K ( S ( K ( S S ( S ( S S K ) ) ) ) K ) = W C ( S B ( C
Fixed-point_combinator
Art technique of illusory tridimensionality
Trompe-l'œil (French for 'deceive the eye'; /trɒmpˈlɔɪ/ tromp-LOY; French: [tʁɔ̃p lœj] ) is an artistic technique that creates a highly realistic optical
Trompe-l'œil
Details of the rules for the abstract strategy board game for two players
Logical Rules first proposed in their current form in September 1996 by John Tromp and Bill Taylor. They are also quite close to the Simplified Ing Rules
Rules_of_Go
Two-player board game
Four has since been solved with brute-force methods, beginning with John Tromp's work in compiling an 8-ply database. The artificial intelligence algorithms
Connect_Four
Algorithm for solving a puzzle or game in the fewest possible moves
Davidson, Morley; Dethridge, John (2010). "God's Number is 20". Cube20.org. Retrieved March 15, 2022. Rothenberg, p. 11 John Tromp. "Chess Position Ranking"
God's_algorithm
Dutch theoretical computer scientist
University of Waterloo Doctoral advisor Jaco de Bakker Arto Salomaa Doctoral students Ronald Cramer John Tromp Barbara Terhal Ronald de Wolf Rudi Cilibrasi
Paul_Vitányi
Simple Turing complete logic
Θg = HHg ; Θ = U(B(SI)U) = SII(S(K(SI))(SII)) Y′ (with SK-encoding by John Tromp): Hgh = g(hgh) ; Y′g = HgH ; Y′ = WC(SB(C(WC))) = SSK(S(K(SS(S(SSK))))K)
SKI_combinator_calculus
Trlifaj Věra Trnková John Tromp John Truss Marcello Truzzi Alan Tucker Albert W. Tucker Thomas W. Tucker Bryant Tuckerman John Tukey Helge Tverberg George
List of people by Erdős number
List_of_people_by_Erdős_number
Finding an optimal algorithm for playing chess
Combin. Theory Ser. A, 31 (2): 199–214, doi:10.1016/0097-3165(81)90016-9 John Tromp (2021). "Chess Position Ranking". GitHub. http://www.chessgames.com Magnus
Solving_chess
Dutch research institute
Nitin Saxena Alexander Schrijver Jan H. van Schuppen Marc Stevens John Tromp John V. Tucker Paul Vitányi Hans van Vliet Marc Voorhoeve Adriaan van Wijngaarden
Centrum Wiskunde & Informatica
Centrum_Wiskunde_&_Informatica
187–198. doi:10.1016/0304-3975(81)90075-x. Blum, Avrim, Tao Jiang, Ming Li, John Tromp, and Mihalis Yannakakis. "Linear approximation of shortest superstrings
Shortest_common_supersequence
Game whose outcome can be correctly predicted
October 16, 1988. The first player can force a win. Strongly solved by John Tromp's 8-ply database (Feb 4, 1995). Weakly solved for all boardsizes where
Solved_game
10th-century Turkic scholar at Abbasid court
Chess Club blog". John Tromp (2013). "John's Chess Playground". DrDave (2013). "Exeter Chess Club blog". John Tromp (2013). "John's Chess Playground"
Abu_Bakr_bin_Yahya_al-Suli
Federal electoral district in Quebec, Canada
Québécois Pascal-Olivier Dumas-Dubreuil 1,879 4.66 -1.77 $11,919.73 Green John Tromp 977 2.42 +0.33 $1,965.89 Marxist–Leninist Fernand Deschamps 129 0.32 –
Saint-Laurent (federal electoral district)
Saint-Laurent_(federal_electoral_district)
Painting by J. M. W. Turner
Van Tromp's Barge Entering the Texel, 1645 is an 1831 oil painting by the British artist J.M.W. Turner. It depicts a historical seascape from the mid-seventeenth
Van Tromp's Barge Entering the Texel
Van_Tromp's_Barge_Entering_the_Texel
Calculations of the game complexity of Go
Wesley. Tromp, John (1999). "Number of 2×2 games with positional superko". Tromp, John (2016). "Number of legal Go positions (up to 19×19)". Tromp, John; Farnebäck
Go_and_mathematics
Military battle of First Anglo-Dutch War
to be an indecisive battle involving the flagships of Admirals Maarten Tromp and Robert Blake. Opinions about the outcome of that battle vary among historians
Battle_of_Dover_(1652)
Federal electoral district in Quebec, Canada
34 $19,947 New Democratic Alain Gravel 1,237 3.05 −18.57 $5,169 Green John Tromp 1,050 2.59 −0.93 $1,304 Natural Law Pierre Bergeron 652 1.61 $0 Marxist–Leninist
Laurier—Sainte-Marie
Canadian politician and diplomat (born 1955)
designed to suck money out of rich countries. Tory environment minister John Baird responded by blaming the Liberals for what he described as a "shameful
Stéphane_Dion
Museum and former home of John Soane
acquired three works by his friend J. M. W. Turner: the oil paintings Van Tromp's Barge Entering the Texel and St Hugues Denouncing Vegeance on the Shepherd
Sir_John_Soane's_Museum
First Anglo-Dutch War naval battle
November 1652 Old Style, 1 December New Style, Lieutenant-Admiral Maarten Tromp, again (unofficial) supreme commander after his successor Vice-Admiral Witte
Battle_of_Dungeness
Hungarian-American mathematician and computer scientist
Scholar, this paper has been cited 687 times by April, 2021 [1] Peter Gacs, John Tromp, and Paul M. B. Vitanyi. Algorithmic statistics. IEEE Transactions on
Peter_Gacs
Computer programming language
ISBN 978-981-277-082-0. Tromp, John (April 2023). "Functional Bits: Lambda Calculus based Algorithmic Information Theory" (PDF). tromp.github.io. John's Lambda Calculus
Binary_combinatory_logic
Proof method
more-sophisticated approach attributed to Piotr Berman (present proof partially by John Tromp) describes every incompressible n {\displaystyle n} by k {\displaystyle
Incompressibility_method
1646 siege of Dunkirk
naval support of the Dutch Republic under the command of admiral Maarten Tromp, who were able to blockade the city to help Condé's siege. Before Condé
Siege_of_Dunkirk_(1646)
"Stéphane Dion accepts role as ambassador to EU and Germany, as he and John McCallum depart House". CBC News. January 31, 2017. Archived from the original
2017 Saint-Laurent federal by-election
2017_Saint-Laurent_federal_by-election
Canadian politician (born 1947)
Hélène (née Rowley) and actor Jean Duceppe. His maternal grandfather was John James Rowley, British by birth, Irish by descent, and a home child. Duceppe
Gilles_Duceppe
Dutch Jesuit theologian (1889–1975)
Sebastiaan Peter Cornelis Tromp SJ (16 March 1889 – 8 February 1975) was a Dutch Jesuit priest, theologian, and Latinist, who is best known for assisting
Sebastiaan_Tromp
1651–1986 alleged state of war
based in Scilly. On 30 March 1651, Lieutenant-Admiral Maarten Harpertszoon Tromp arrived in Scilly to demand reparation from the Royalist fleet for the Dutch
Three Hundred and Thirty Five Years' War
Three_Hundred_and_Thirty_Five_Years'_War
Minister for Finance, Economic Affairs & Culture. Chadwick Tromp, catcher in MLB. Felipe Tromp, first Governor of Aruba. Laura Wernet-Paskel, first female
List_of_Arubans
Gravel 1,227 Gilles Duceppe 24,755 Sophie Brassard 124 Pierre Bergeron 643 John Tromp (Green) 1,050 Normand Chouinard (M-L) 210 Michel Dugré (Ind.) 130 Gilles
Canadian federal election results in Eastern Montreal
Canadian_federal_election_results_in_Eastern_Montreal
New Zealand national governing body for Go
major rulesets of Go in the world, and the basis of the Tromp-Taylor Rules, proposed by John Tromp and Bill Taylor. "New Zealand". International Go Federation
New_Zealand_Go_Society
Premier of British Columbia from 2017 to 2022
Langford-Juan de Fuca | BC Gov News". news.gov.bc.ca. Retrieved June 3, 2023. Tromp, Stanley (December 18, 2025). "FOI reform continues to stain Horgan's legacy"
John_Horgan
commissioned Tromp in December 1796, under Captain Andrew Todd. In February 1797, Captain John Turnor of Echo was made post captain into Tromp, replacing
Dutch_ship_Tromp_(1777)
Stéphane Dion 24,832 61.57% Pascal-Olivier Dumas-Dubreuil 1,879 4.66% John Tromp 977 2.42% Fernand Deschamps (M-L) 129 0.32% Stéphane Dion Saint-Laurent—Cartierville
Results of the 2015 Canadian federal election by riding
Results_of_the_2015_Canadian_federal_election_by_riding
American business and political family
spelling of the surname in the village archives, including Drumb, Tromb, Tromp, Trum, Trumpff, and Dromb. Johannes Trump, born in the nearby village of
Trump_family
243 2.3% 5th Saint-Jean Marilyn Redivo F 1,281 2.12% 5th Saint-Laurent John Tromp M 977 2.42% 5th Saint-Léonard—Saint-Michel Melissa Miscione F Montreal
Green Party of Canada candidates in the 2015 Canadian federal election
Green_Party_of_Canada_candidates_in_the_2015_Canadian_federal_election
Naval battle of the 2nd Anglo-Dutch War
a personal enemy of Tromp. He would later be killed pursuing Tromp in the Battle of the Texel. On the morning of 26 July, Tromp broke off pursuit, well-pleased
St._James'_Day_Battle
Stéphane Dion 24,832 61.57% Pascal-Olivier Dumas-Dubreuil 1,879 4.66% John Tromp 977 2.42% Fernand Deschamps (M-L) 129 0.32% Stéphane Dion Saint-Laurent—Cartierville
Canadian federal election results in Western Montreal
Canadian_federal_election_results_in_Western_Montreal
Large naval battle in June 1666 between England and the Netherlands; Dutch victory
The Victory, now commanded by its lieutenant, John Narborough, and its three consorts were attacked by Tromp and van Nes with around 25 ships but managed
Four_Days'_Battle
1942 naval battle on the Pacific campaign of WWII
February, the second Allied wave consisting of the cruiser HNLMS Tromp and destroyers USS John D. Edwards, Parrott, Pillsbury, and Stewart arrived off the
Battle_of_Badung_Strait
class Van Speijk Van Galen Tjerk Hiddes Van Nes Isaac Sweers Evertsen Tromp class Tromp De Ruyter Kortenaer class Kortenaer Callenburgh Van Kinsbergen Banckert
List of frigates of the Netherlands
List_of_frigates_of_the_Netherlands
1985 film by Alan Rudolph
scene, Tromp performed Pachelbel's Canon in D and J.S. Bach's Brandenburg Concerto No. 3. During scenes filmed at the Seattle Art Museum, Tromp performed
Trouble_in_Mind_(film)
notably due to former CBCS president Emsley Tromp's connections to John Deuss and Hushang Ansary. Tromp was fired from his position in 2017. Banks portal
Central Bank of Curaçao and Sint Maarten
Central_Bank_of_Curaçao_and_Sint_Maarten
1639 battle of the Eighty Years' War
was decisively defeated by a Dutch force under Lieutenant-Admiral Maarten Tromp. Victory ended Spanish efforts to re-assert naval control over the English
Battle_of_the_Downs
English naval officer (1598–1657)
between the Dutch fleet of Maarten Tromp and Blake on 29 May 1652, at the Battle of Dover. On 19 May 1652, Tromp was patrolling in the English Channel
Robert_Blake_(admiral)
Historic house in Indiana, United States
decorative painting and stencil work. Today, mural conservation, stenciling, tromp l'oeil, glazing and gilding adorn the hallowed halls of the restored Bass
John_H._Bass_Mansion
English admiral (1584?–1646)
troops on board, was driven in by the Dutch fleet under the command of Tromp, which also came in and anchored in the Downs. Penington insisted that the
John_Penington
1653 battle of the First Anglo-Dutch War
Dutch captains at the battle was son of Lieutenant-Admiral Maarten Tromp, Cornelis Tromp, who was to become a famous admiral himself and one of the most
Battle_of_Leghorn
American activist (died 1847)
the house of John Van Zandt, a noble-minded Kentuckian, who had performed the good deed which the author, in her story, ascribes to Van Tromp(e)." [Van Trompe
John_Van_Zandt
Dutch statesman (1625–1672)
Orange-Nassau. Another relationship connected him to the Tromps, Maarten and his son Cornelis Tromp, both admirals of the Netherlands. Johan and his older
Johan_de_Witt
Irish businessman (1824–1895)
4 (1): 3–40. doi:10.46911/MQTR7637. Gilbert, Pamela K.; Haynie, Aeron; Tromp, Marlene, eds. (2010). Beyond sensation: Mary Elizabeth Braddon in context
John_Maxwell_(publisher)
Painting by Bartholomeus Strobel the Younger
trumpet at the centre, looking out at the viewer, is the Dutch Admiral Tromp, whose victory at the Battle of the Downs in 1639 had decisively ended Spanish
Feast of Herod with the Beheading of St John the Baptist
Feast_of_Herod_with_the_Beheading_of_St_John_the_Baptist
1998 American TV series or program
teachers try to convince Principal Tromp to put Scout on safety patrol, as he is the only one left on the list. Tromp agrees, but gets the school boundaries
Safety_Patrol_(film)
Evolutionary process
I. J.; Li, R.; Pathak, J.; Ritchie, M. D.; Roden, D. M.; Verma, S. S.; Tromp, G.; Prato, J. D.; Bush, W. S.; Akey, J. M.; Denny, J. C.; Capra, J. A.
Human_evolution
1653 naval battle of the First Anglo-Dutch War
and Richard Deane and Admirals John Lawson and William Penn. The Dutch had 98 ships under Lieutenant-Admiral Maarten Tromp and Vice-admiral Witte de With
Battle_of_the_Gabbard
British coxswain
John Deakin (born 4 March 1965) is a British coxswain. He won a gold medal at the 1994 World Rowing Championships in Indianapolis with the lightweight
John_Deakin_(rowing)
Country in Oceania
hdl:10125/76784. JSTOR 26792734. Dylan Gaffney; Karen Greig; Debbie Stoddart; Monica Tromp; Judith H. Field; Sindy Luu; Adelle C. F. Coster; Tristan Russell; Herman
Papua_New_Guinea
Abstract strategy board game for two players
2007-12-19. Retrieved 2007-11-30. Tromp, John; Farnebäck, Gunnar (January 31, 2016). "Combinatorics of Go" (PDF). tromp.github.io. Archived (PDF) from the
Go_(game)
Dutch States Navy officer (1607–1676)
Ruyter accepted a command in the Dutch Navy under lieutenant admiral Maarten Tromp, distinguished himself and was promoted to vice admiral at the end of the
Michiel_de_Ruyter
(sequence A008839 in the OEIS) (sequence A035058 in the OEIS) John Tromp (2010). "John's Chess Playground". Archived from the original on 2014-06-01. Merickel
Orders_of_magnitude_(numbers)
Lamellophone instrument
invariably the last". He refers to the jeu harpe derivation, but not to the jeu tromp derivation. Both theories—that the name is a corruption of jaws or jeu—are
Jew's_harp
1965 studio album by the Beatles
professional musicians, he recognised the devices the band employed as "they tromp on the art of music", and while he viewed their formal musicality as limited
Rubber_Soul
1673 battle of the Franco-Dutch War and Third Anglo-Dutch War
Lieutenant-Admirals Adriaen Banckert in charge of the van and Cornelis Tromp the rear. Although the Dutch ships were smaller on average than their opponents
Battle_of_Texel
Yugoslav and Serbian politician (1941–2006)
Serbie du prince Miloš à Milošević. Peter Lang. p. 119. ISBN 9789052012032. Tromp, Nevenka (2016). Prosecuting Slobodan Milošević: The Unfinished Trial. Routledge
Slobodan_Milošević
English painter (1849–1923)
[according to whom?] The Old Gateway, 1876 The Gordon Riots, 1879 A Whip for Van Tromp, 1883 After Culloden, Rebel Hunting, 1884 The Call to Arms, Plymouth Quay
John_Seymour_Lucas
Royal Navy officer
that he became a personal enemy of Tromp, vowing to kill him. His attitude was also influenced by the rumour that Tromp had remarked that Spragge had in
Edward_Spragge
Conflict between the Commonwealth and the Dutch Republic
three. Tromp gathered a fleet of 96 ships to attack Ayscue, but southerly winds kept him in the North Sea. Turning north to pursue Blake, Tromp caught
First_Anglo-Dutch_War
Dutch States Navy officer and statesman (1623–1672)
(German) Herbert H. Rowen: John de Witt. Statesman of the "True Freedom." 1986, p. 47. "Met onoprechte deelneming van neef Cornelis Tromp" (Dutch) Biography of
Cornelis_de_Witt
King of the Netherlands since 2013
training at the Royal Netherlands Naval College and in the frigates HNLMS Tromp and HNLMS Abraham Crijnssen, where he was an ensign. In 1988 he received
Willem-Alexander of the Netherlands
Willem-Alexander_of_the_Netherlands
English painter (1775–1851)
leaving for the Middle East, Daniell commissioned Turner's portrait from John Linnell. Turner had previously refused to sit for the artist, and it was
J._M._W._Turner
British lightweight rower
John Melvin is a British lightweight rower. He won a gold medal at the 1978 FISA Lightweight Championships in Copenhagen with the lightweight men's eight
John_Melvin_(rower)
Major League Baseball team season
Nationals fell in the eleventh inning on May 22. Braves backup catcher Chadwick Tromp notched two RBI hits in extra innings, including the walkoff single, as
2026 Washington Nationals season
2026_Washington_Nationals_season
Head of the Catholic Church from 1939 to 1958
German and Dutch Jesuit advisors Robert Leiber, Augustin Bea, and Sebastian Tromp. After World War II, Pius appointed more non-Italians than any Pope before
Pope_Pius_XII
English actor (1919–1995)
European-produced horror and thriller films. He collaborated with Halloween director John Carpenter twice more, as the President of the United States in Escape from
Donald_Pleasence
Indian Old Testament scholar
During John's study period in Heidelberg, his companions included Ulrich Bergmann (Neuendettelsau Mission), Ms Whittaker, Nicholas J. Tromp, who spent
E._C._John
Hong Kong-American planetary scientist (1946–2026)
Yung, along with physics research scientist Tracey Tromp, Assistant Professor of Geochemistry John Eiler, planetary science research scientist Run-Lie
Yuk_L._Yung
1665 naval battle during the Second Anglo-Dutch War
forcing first Evertsen and then Tromp into retreat and mopping-up Dutch ships too damaged to escape, capturing three. Tromp later claimed that his rearguard
Battle_of_Lowestoft
Infectious disease caused by Borrelia bacteria, spread by ticks
PMID 21865190. Berende A, ter Hofstede HJ, Vos FJ, van Middendorp H, Vogelaar ML, Tromp M, et al. (March 2016). "Randomized Trial of Longer-Term Therapy for Symptoms
Lyme_disease
Pseudonymous American erotic writer
into his titles, using sound-alike or look-alike names, such as Domald Tromp's Ass is Haunted by the Handsome Ghost of His Incriminating Tax Returns and
Chuck_Tingle
1987 video game
(the commander of the Spanish Armada), Maarten Tromp (called "Martin" in the game), Blackbeard, John Paul Jones, and Horatio Nelson, 1st Viscount Nelson
The_Ancient_Art_of_War_at_Sea
English jockey
his first classic - the 1843 St. Leger on Nutwith. In 1847, he rode Van Tromp for Lord Eglinton in the Derby, coming third. Later that year, he went on
Job_Marson
City in South Holland, Netherlands
18 (11th ed.). 1911. pp. 725–727. "Tromp" . Encyclopædia Britannica. Vol. 27 (11th ed.). 1911. p. 304. Tretsch, John. "Extra! Extra! Poe invents science
Rotterdam
Dutch politician and regent (1627-1692)
well-known Rotterdam families. He married Alida Tromp, the daughter of lieutenant-admiral Maarten Tromp on 27 April 1653 when she was only 16 (and he 26)
Johan_Kievit
Church in Delft, the Netherlands
Hein (1629) writer Jan Stalpaert van der Wiele (1630) naval hero Maarten Tromp (1653) painter Johannes Vermeer (1675) painter Hendrick Cornelisz van Vliet
Oude_Kerk_(Delft)
Place in North Brabant, Netherlands
"Vladeracken". From 1666-1672 Cornelis Tromp lived in Nuland. He was the son of Maarten Tromp and brother of Joanna Maria Tromp, wife of Cornelis Gans, Lord of
Nuland
Structures of the Earth's mantle
Retrieved 2013-06-22. Lau, Harriet C. P.; Mitrovica, Jerry X.; Davis, James L.; Tromp, Jeroen; Yang, Hsin-Ying; Al-Attar, David (15 November 2017). "Tidal tomography
Large low-shear-velocity provinces
Large_low-shear-velocity_provinces
JOHN TROMP
JOHN TROMP
JOHN TROMP
JOHN TROMP
JOHN TROMP
JOHN TROMP
JOHN TROMP
JOHN TROMP
JOHN TROMP