hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Papyrus 74
Le Papyrus 74, dans la numérotation Gregory-Aland, désigné par le sigle 74, est une copie antique du Nouveau Testament en grec. Il s’agit d’un papyrus manuscrit des Actes des Apôtres et des Épîtres avec des lacunae. Le manuscrit date du VIIe siècle, selon les analyses paléographiques.

Codex Vaticanus
Le Codex Vaticanus (Vat. gr. 1209; Gregory-Aland no. B ou 03) est un manuscrit sur vélin en écriture grecque onciale daté du IVe siècle conservé à la Bibliothèque apostolique vaticane. Il est, avec le Codex Sinaïticus, le plus ancien manuscrit connu qui transmette le texte quasiment complet de l’Ancien et du Nouveau Testament. Cependant, plusieurs portions en sont manquantes.
Alejandro Guarello
Alejandro Guarello, né le 21 août 1951 à Viña del Mar, est un compositeur et chef d'orchestre chilien. Il est l'auteur de plus de 65 œuvres de tous genres, vocales et instrumentales, incluant musique de chambre et symphonies, créées et publiées au Chili, aux États-Unis, en Europe et au Japon. Il est actuellement directeur de l'institut musical de l'université pontificale catholique du Chili.

Université du Chili
L'université du Chili (en espagnol : Universidad de Chile, « la U »), fondée par l’État chilien le 17 septembre 1842, est à la fois première fondée par la nouvelle République du Chili et la plus prestigieuse université du pays. Les plus anciennes universités étant l'Université pontificale saint Thomas d'Aquin fondée en 1622 et la Real Universidad de San Felipe, fondée en 1727. Cette dernière changea son nom en Universidad de San Felipe après l'indépendance jusqu'à la création du Instituto Nacional.
Salon Comparaisons
Le Salon Comparaisons (ou, aujourd'hui, Comparaisons) est un Salon de peinture et de sculpture créé en 1954 par Andrée Bordeaux-Le Pecq et Lilas Bug ainsi que différents peintres et sculpteurs. Le salon a pour objectif de promouvoir les relations entre des artistes français et étrangers de l'art figuratif et de l'art abstrait.

La devise du Salon est de Paul Valéry :

« Enrichissons-nous de nos différences mutuelles. »

Antoniucci Volti
Antoniucci Volti, pseudonyme d'Antoniucci Voltigerno, est un sculpteur, dessinateur et lithographe français d'origine italienne, né le 1er janvier 1915 à Albano Laziale (Latium) et mort le 14 décembre 1989 dans le 14e arrondissement de Paris. Sa sculpture de tradition figurative s'inscrit dans la lignée d'Aristide Maillol.
Exploitant agricole
Un exploitant agricole est une personne ayant la responsabilité de prendre les décisions de gestion d'une exploitation agricole.

Il peut s'agir du propriétaire ou du locataire de l'exploitation, ou encore d'un gérant engagé, y compris les personnes qui ont la responsabilité de prendre des décisions de gestion touchant certains aspects de l'exploitation — les semis, la récolte, l'élevage, la commercialisation et la vente, et l'achat de biens immobilisés et d'autres questions financières.

Les exploitants agricoles bénéficient souvent de services d'organismes de protection sociale et de réseaux bancaires spécifiques.

Responsabilité
La responsabilité désigne le fait pour une personne de répondre de ses actes, d'en assumer les conséquences et, le cas échéant, de solliciter de l'aide ou des conseils pour les gérer. Elle correspond également à la charge ou à la mission confiée à quelqu'un par une autorité, devant laquelle il doit rendre compte de ses actions.

Sur le plan juridique, la responsabilité implique l'obligation de réparer le préjudice causé :

par l'inexécution d'un contrat (responsabilité contractuelle),

ou par la violation du devoir général de ne pas causer de dommage à autrui (responsabilité délictuelle ou extracontractuelle).

Cette dernière peut résulter de :

ses propres actes ou omissions,

des choses dont la personne a la garde,

ou des personnes dont elle est légalement responsable (responsabilité du fait d'autrui).
Racine dentaire
La racine dentaire (ou racine d'une dent) est la portion de la dent qui se trouve dans l'os alvéolaire, situé dans l'os basal du processus alvéolaire du maxillaire ou de la partie alvéolaire de la mandibule.

Mandibule (anatomie humaine)
La mandibule (ou maxillaire inférieur) est un os impair symétrique formant la mâchoire inférieure. Il se compose d'une partie centrale : le corps de la mandibule auquel s'attachent latéralement et en haut les deux branches de la mandibule.
Panchikarana
Panchikarana (en sanskrit IAST Pañcīkaraṇa ; devanāgarī : पञ्चीकरण) désigne le processus de quintuple mixtion des cinq mahābhūta. Dans le Vedānta et plus particulièrement l'Advaita Vedānta, Ādi Śaṅkara introduit dans son petit traité appelé Pañcīkaraṇam le concept de quintuple mixtion des éléments grossiers (mahābhūta). Ce processus connu sous le terme pañcīkaraṇa a été exposé au XIVe siècle par Vidyāraṇya dans son traité intitulé Pañcadaśī.

Advaïta védanta
L’Advaita Vedānta (sanskrit IAST ; devanāgarī : अद्वैत वेदान्त.) est la forme la plus répandue de la philosophie du Vedānta. Il s'agit de la doctrine non dualiste du Vedānta. Advaita signifie littéralement « non deux » et se traduit le plus souvent par non-dualité. Son principe fondamental affirme la non différenciation de l'individualité ou l'âme individuelle (jīvātman) et de la Totalité (Brahman) qui est neutre. Cette doctrine fut enseignée par le réformateur religieux Adi Shankara.

L’Advaita, qui s'oppose à l'école Dvaita, est une des doctrines majeures de la philosophie indienne āstika,, dont l'origine peut se trouver dans le Rig-Veda qui affirmait que « la vérité est une, bien que les sages la voient sous de multiples formes ». La plupart des maîtres hindous (guru) ont été influencés par celle-ci. Cette doctrine repose sur plusieurs principes fondamentaux.

Comme dans toute école de la philosophie indienne des points de vue au sein même de l'Advaita Vedānta existent.
Centre commercial Île Napoléon
Le centre commercial Île Napoléon est un centre commercial français implanté en périphérie de Mulhouse sur les communes d'Illzach et de Sausheim, en Alsace, sur l'ancien site de l'Île Napoléon. Il a été inauguré en 1973.

Il est le plus grand centre commercial du Haut-Rhin.

Le centre appartient à deux foncières : Henderson Global Investors (en) et Carrefour Property.

Autoroute A36 (France)
L’autoroute A36, surnommée La Comtoise, est une autoroute reliant Beaune à Ottmarsheim (frontière entre la France et l'Allemagne). Elle dessert principalement les villes de Dole, Besançon, Montbéliard, Belfort et Mulhouse et permet l’accès à l’Allemagne vers Fribourg-en-Brisgau et à la Suisse vers Bâle.
Najoua Belyzel
Najoua Mazouri, plus connue sous le nom de Najoua Belyzel, est une chanteuse française née le 15 décembre 1981 à Nancy.

Après avoir intégré le groupe Benoît en 2001, elle rencontre Christophe Casanave, avec qui elle produit, compose et écrit depuis l'ensemble de ses titres. En 2006, elle accède à la notoriété et connaît son plus grand succès grâce à son titre Gabriel, extrait de son premier album Entre deux mondes... En équilibre qui est certifié disque d'or. Après un deuxième album intitulé Au féminin, qui n'a pas rencontré le succès escompté, Najoua Belyzel et Christophe Casanave ont fondé leur propre maison d'édition musicale, « les Éditions Gabriel ». Le troisième album de la chanteuse, Rendez-vous... De la Lune au Soleil, sort début 2019 sous le label Paradize Music.

Marc Lavoine
Marc Lavoine, est un chanteur, parolier et acteur français, né le 6 août 1962 à Longjumeau, dans le département de l'Essonne.

Il connaît son premier succès en 1984 avec la chanson Pour une biguine avec toi, et son second l'année d'après avec Elle a les yeux revolver. Il a publié 13 albums studio.

Il se fait également remarquer au cinéma en jouant notamment dans L'Enfer, Le Cœur des hommes et Si c'était lui... ainsi que dans des séries télévisées telles Pause café, Crossing Lines, Kepler(s).
Ernest Cole, photographe
Ernest Cole, photographe (Ernest Cole, Lost and Found) est un film documentaire franco-américain réalisé par Raoul Peck et sorti en 2024.

Il s'agit d'un portrait sur le photographe Ernest Cole (1940-1990), qui a montré les horreurs de l'apartheid.

Il est présenté en avant-première mondiale au Festival de Cannes 2024.

Magnolia Pictures
Magnolia Pictures est un distributeur de films américain dont le siège social est établi à Dallas au Texas.

La société, qui a été fondée en 2001, est une filiale de 2929 Entertainment (en), détenue par Todd Wagner (en) et Mark Cuban.
Velika Hoča
Hoca i Madhe en albanais et Velika Hoča en serbe latin (en serbe cyrillique : Велика Хоча) est un village du Kosovo situé dans la commune/municipalité de Rahovec/Orahovac, district de Gjakovë/Đakovica (MINUK) ou district de Prizren/Prizren (Serbie). Selon le recensement kosovar de 2011, il compte 124 habitants.

Hoca i Madhe/Velika Hoča faisait partie des enclaves serbes au Kosovo[réf. nécessaire]. Sur le territoire du village se trouvent 12 églises orthodoxes serbes. Le village est également réputé pour ses vins.

Gjakovë
Gjakovë en albanais et  Đakovica en serbe latin (en albanais : Gjakova ; en serbe cyrillique : Ђаковица) est une ville et une commune du Kosovo. Elle fait partie du district de Gjakovë/Đakovica (selon le Kosovo) ou du district de Pejë/Peć (selon la Serbie). Selon le recensement kosovar de 2011, la ville intra muros compte 40 827 habitants et la commune/municipalité 94 556.

Gjakovë est connue pour son ancien marché datant de l'époque ottomane, ses vieilles mosquées et ses ponts.
Pavillon de chasse de Sielbeck
Le pavillon de chasse de Sielbeck (Jagdpavillon Sielbeck) se trouve à côté d'Eutin dans le Schleswig-Holstein (Allemagne septentrionale). Cette petite maison de plaisance baroque construite en 1776 se situe sur le plus haut point de la Suisse du Holstein entre le lac de Keller et le lac d'Uklei. C'est un monument protégé depuis 1965.

Holstein
Le Holstein est une région historique et culturelle de l'Allemagne du Nord , la partie méridionale du Land actuel de Schleswig-Holstein. Nommé d'après la tribu saxonne des Holsten, il fut d'abord un comté avant d'être un duché situé à la frontière septentrionale du Saint-Empire romain avec le royaume de Danemark.
AzMarie Livingston
AzMarie Livingston, née le 28 décembre 1986 dans la Vallée de San Fernando en Californie, est un mannequin androgyne, une actrice, productrice et musicienne américaine.

Elle débute le mannequinat à l'âge de neuf ans et se fait connaitre en 2012 pour sa prestation et son look androgyne durant la 18e saison de Top Model USA, où elle est éliminée de la compétition pour avoir refusé de porter un coussinet fessier. Cet évènement lance sa carrière d'actrice, puisqu'elle obtient un rôle dans la série gay DTLA (en), diffusée sur OutTV et Logo Tv, aux côtés de Melanie Griffith et Sandra Bernhard. Elle joue aussi de la musique et son premier EP HipPopMelodicPoetry sort en 2014.

Les Real Housewives de New York
Les Real Housewives de New York ou Real Housewives : New York City (The Real Housewives of New York City) est une émission de télé-réalité américaine diffusée depuis le 4 mars 2008 sur la chaîne de télévision Bravo.

En France, l'émission est diffusée du 4 mars au 26 avril 2013 sur Chérie 25, dès le 16 septembre 2013 sur E!, dès le 6 mars 2014 sur NRJ 12, et du 18 septembre au 27 octobre 2017 sur Téva. Depuis le 1er juillet 2024 les saisons 10 à 13 sont disponibles sur M6+. Dans son offre payante M6+ propose également la saison 14 depuis le 18 septembre 2024.

L'émission est la deuxième adaptation du concept de télé-réalité The Real Housewives.
Ǎ
Ǎ (minuscule : ǎ), appelée A caron, A antiflexe ou A hatchek, est un graphème utilisé dans les alphabets de l’awing, du bakaka, du bangolan, du four, du kemezung, du koonzime, du kwanja, du lingala, et du ngiemboon comme variante de la lettre « A ». Elle est aussi utilisée dans plusieurs romanisations comme le pinyin ou des translittérations ISO 9 ou GENUNG. Il s’agit de la lettre A diacritée d’un caron.

Ngiemboon
Le ngiemboon est l'une des onze langues bamiléké du Cameroun, parlée au Cameroun dans la région de l'Ouest, le département des Bamboutos, l'arrondissement de Batcham, à l'ouest de l'arrondissement de Mbouda à Balatchi, également dans le département de la Menoua, au nord de Penka-Michel.

Ses dialectes sont le Bangang, le Batcham, le Balatchi, le Bamoungong et le Balessing.

En 2000, le nombre de locuteurs était estimé à 250 000.
Carlos Atanes
Carlos Atanes, né le 8 novembre 1971 à Barcelone, est un cinéaste, dramaturge et écrivain espagnol. Il est membre de The Film-Makers' Cooperative, fondée par Jonas Mekas, Shirley Clarke, Ken Jacobs, Flo Jacobs, Andy Warhol, et Jack Smith.

Ken Jacobs
Kenneth Martin Jacobs dit Ken Jacobs, né le 25 mai 1933 à New York et mort dans la même ville le 5 octobre 2025, est un cinéaste américain, spécialisé en cinéma expérimental et underground.

Il a notamment réalisé le long-métrage Tom, Tom, the Piper's Son (1969) et le court-métrage Blonde Cobra (1963).
Aymon de Senarclens
Aymon de Senarclens, né le 2 mai 1905 à Versoix et décédé le 22 juillet 1970 à Genthod, est un homme politique suisse membre du Parti libéral suisse (alors connu à Genève sous le nom de Parti national démocratique).

Parti libéral suisse
Le Parti libéral suisse (PLS) (en allemand  Liberale Partei der Schweiz (LPS), en italien Partito liberale svizzero (PLS), en romanche Partida liberal-conservativa svizra (PLC)) était un parti politique suisse fondé le 8 octobre 1913. Il fusionne au 1er janvier 2009 avec le Parti radical-démocratique (PRD) donnant ainsi naissance à l'actuel Parti libéral-radical (PLR).
Grand Prix automobile d'Argentine 1956
Le Grand Prix d'Argentine 1956 (IV° Gran Premio de la Republica Argentina), disputé sur le circuit Oscar Alfredo Galvez le 22 janvier 1956, est la quarante-neuvième épreuve du championnat du monde de Formule 1 courue depuis 1950 et la première manche du championnat 1956.

Luigi Musso
Luigi Musso est un pilote automobile italien, né le 28 juillet 1924 à Rome en Italie et mort le 6 juillet 1958 à Reims, en France, des suites d'un accident survenu au Grand Prix  de France sur le circuit de Reims-Gueux. Durant sa carrière en Formule 1, Luigi Musso a gagné un Grand Prix, réalisé sept podiums et totalisé 44 points en championnat de monde.
Marie Rollet
Marie Rollet (1580 à Paris en France - mai 1649 à Québec au Canada) est une Française qui a émigré vers la Nouvelle-France en 1617 avec son mari, l'apothicaire Louis Hébert, et leurs trois enfants. La famille s’installe à Québec, où Marie demeure en dépit du décès de son époux en 1627 et de la prise de la ville par les frères Kirke en 1629. Marie Rollet est considérée comme l’une des premières femmes européennes à s’être installée en permanence dans la colonie canadienne.

Compagnie de la Nouvelle-France
La Compagnie de la Nouvelle-France, aussi appelée Compagnie des Cent-Associés ou Compagnie du Canada, constitue une première tentative significative de peuplement de la colonie par le royaume de France. Les cent actionnaires, dont faisaient partie Samuel de Champlain et le cardinal de Richelieu, avançaient chacun un montant de 3 000 livres, ce qui constituait un capital de départ pour assurer le peuplement de la colonie et la conversion des Autochtones à la religion catholique. En échange, les Cent-Associés avaient le monopole du commerce des fourrures en Nouvelle-France. Constatant l'échec des Cents-Associés à assurer le peuplement de la colonie, le roi Louis XIV dissout la compagnie en 1663.
HAT-P-57
HAT-P-57 est un système stellaire et planétaire constitué de trois étoiles dont une abrite au moins une planète. D'après la mesure de sa parallaxe annuelle par le satellite Gaia, le système est distant d'environ ∼ 950 a.l. (∼ 291 pc) de la Terre.

Système stellaire
Un système stellaire est un ensemble d'étoiles liées par l'attraction gravitationnelle. Le terme est utilisé aussi bien pour décrire des étoiles multiples, que des ensembles comptant un grand nombre d'étoiles, tels des amas d'étoiles ou des galaxies.

L'expression système stellaire est aussi parfois improprement employée pour se référer à une seule étoile dotée d'un système planétaire de corps plus petits en orbite autour d'elle.
Éternel et Anges
Éternel et Anges est une peinture attribuée à Giotto par le musée d'art de San Diego la conservant. Elle serait la  cimaise du centre du polyptyque Baroncelli toujours exposé dans la chapelle Baroncelli de la basilique Santa Croce de Florence.

Cimaise
« Cimaise » (du lat. class. cymatium, terme d'architecture [cimatium (Alberti), ou cimacium (Scamozzi) lui-même dérivé du grec ancien κυμάτιον, dérivé de κύμα « vague, onde », ainsi dit parce que la cimaise forme une sorte d’ondulation) désigne :
Église Saint-Étienne (Saint-Étienne-de-Lugdarès)
L'église Saint-Étienne de Saint-Étienne-de-Lugdarès, surnommée Cathédrale de la Montagne à cause de ses dimensions imposantes, est érigée dans la commune française de Saint-Étienne-de-Lugdarès, département de l'Ardèche en région Rhône-Alpes. Son architecture de style gothique est l'œuvre d'un architecte de premier ordre, selon la parole de Monseigneur Bourret.

Ernest Bourret
Ernest Bourret, né Joseph Christian Ernest Bourret le 11 décembre 1827 au hameau de Labro, près de Saint-Étienne-de-Lugdarès et mort le 10 juillet 1896 à Rodez, est un homme d'Église, évêque, puis cardinal français.
Sirene
Le sirene, ou sirenje (en bulgare : сирене ; prononcé : [ˈsireɲe] ; en serbo-croate : сир, sir ; en albanais : djath i bardhe), aussi connu sous le nom de « fromage en saumure blanc » (en bulgare : бяло саламурено сирене) est un type de fromage en saumure du sud-est de l'Europe, consommé en particulier en Bulgarie, en Croatie, en Serbie, en Macédoine du Nord, en Roumanie, en Albanie, au Monténégro et aussi en Israël.

D'un aspect proche de la feta, il est produit à base de lait de chèvre, de brebis ou de vache ou d'une combinaison de ces laits.

Il est légèrement granuleux avec au minimum 46-48 % de matière sèche et une teneur en matières grasses dans la matière sèche d'environ 44-48 %. Il est généralement produit par blocs et a une texture légèrement granuleuse. Il est utilisé comme fromage de table, ainsi que dans les salades et la cuisine (kachamak, patatnik).

Matière grasse alimentaire
La matière grasse est un composant naturellement présent dans de nombreux aliments et elle constitue une part essentielle de l'alimentation humaine. Les huiles et graisses sont également appelées corps gras ou matière grasse.

Les corps gras sont majoritairement composés de triglycérides qui sont des esters constitués d'une molécule de glycérol et de trois acides gras. Les autres composants forment ce que l'on appelle l'insaponifiable.
Advanced Vector Extensions
Advanced Vector Extensions (AVX) est un jeu d'instructions de l'architecture x86 d'Intel et AMD, proposé par Intel en mars 2008. Il est supporté par les processeurs Intel Sandy Bridge et par les processeurs AMD Bulldozer en 2011. AVX offre de nouvelles fonctionnalités, de nouvelles instructions et un nouveau schéma de codage « VEX ».

AVX2 élargit la plupart des commandes SSE et AVX 128 bits en 256 bits. Il est supporté par les processeurs Intel Haswell en 2013 et par les processeurs AMD Excavator en 2015.

AVX-512 étend le nombre de registres SIMD à 32 et les élargit à 512 bits. Il utilise un nouveau codage utilisant le préfixe EVEX (en) proposé par Intel en juillet 2013. Les premiers processeurs le supportant sont les Knights Landing.

X86
La famille x86 est une architecture de jeu d'instructions CISC, initialement développée par Intel, basée sur le microprocesseur 8086 et sa variante à bus externe 8 bits, le 8088. Le 8086 a été introduit en 1978 en tant qu'extension pleinement 16 bits du microprocesseur 8 bits Intel 8080, avec la mise en oeuvre de la segmentation mémoire pour adresser plus de mémoire que ne le permet une adresse sur 16 bits.

Le terme n'est pas synonyme de compatibilité IBM PC, car il couvre une multitude d'autres matériels informatiques. Des systèmes embarqués et certains ordinateurs à usage général utilisaient des puces x86 avant le démarrage du marché des compatibles PC , et certains d'entre eux avant même la sortie de l'IBM PC (1981).

Un constructeur de microprocesseur pour compatible PC doit maintenir une compatibilité descendante avec ce jeu d'instructions s'il veut que les logiciels déjà écrits fonctionnent sur les nouveaux microprocesseurs.
Admagetobriga
Amagetobria ou Magetobria était une ville de Gaule, chez les Séquanes, célèbre par la victoire d'Arioviste sur les Éduens lors de la Bataille de Magetobriga en 63 av. J.-C.. Ce serait désormais Amage à 10 km de Luxeuil, pour C. A. Walckenaer.

Arioviste
Arioviste est un roi germain installé en Gaule et qui lutta contre les Romains lors des campagnes de conquête de Jules César.

Il aurait été d'origine Triboque, ou Suève ou encore Marcomanne. Mais dans tous les cas, son origine germaine est confirmé par le titre Rex Germanorum que lui accorda César.
Non-combattant
L'expression non-combattant, dans le jargon militaire et dans le droit international humanitaire, désigne plusieurs catégories de personnes :

les civils qui ne prennent pas directement part aux hostilités ;

les personnes, comme les aide-soignants militaires et les aumôniers militaires, qui font partie des belligérants mais bénéficient d'une protection en raison de leurs fonctions spécifiques (décrites dans le Protocole I des Conventions de Genève, adopté en juin 1977) ;

les combattants mis hors de combat ;

les personnes neutres qui ne participent pas aux opérations de l'un des belligérants.

Le statut de non-combattant apparaît en 1864 dans la première Convention de Genève.

Jargon militaire
Le jargon militaire est un sociolecte utilisé par les soldats et les historiens militaires. Il est composé d'un glossaire de termes technologiques, d'argot et d'abréviations ou de titres désignant des institutions ou des types d'opérations ou de procédures administratives militaires.
Élections générales nunavoises de 2004
Les élections générales nunavoises de 2004 a eu lieu le 16 février 2004 afin d'élire les 19 députés de la 2e législature de l'Assemblée législative du Nunavut. Il y avait 11 285 électeurs d'inscrits lorsque les élections ont été appelées.

Le premier ministre Paul Okalik avait demandé la dissolution du premier parlement du territoire âgé de cinq ans le 16 janvier 2004.

Le territoire fonctionne selon un système de gouvernement de consensus sans parti politique. Le Premier ministre est choisi parmi les élus par les élus.

Paul Okalik
Paul Okalik (en syllabaire inuktitut : ᐹᓪ ᐅᑲᓕᖅ, prononcé en inuktitut : /paːl ukaliq/), né le 26 mai 1964 à Pangnirtung, est un journaliste et homme politique inuit canadien. 1er premier ministre du Nunavut, il occupe cette fonction de 1999 à 2008.
Méthode des poids multiplicatifs
La méthode des poids multiplicatifs, ou multiplicative weight update method en anglais, est une méthode algorithmique. C'est un méta-algorithme probabiliste qui apparaît dans de nombreux domaines sous diverses formes et divers noms, par exemple l'algorithme fictitious play (en) en théorie des jeux et l'algorithme Adaboost en apprentissage automatique. Elle est utilisée dans de nombreux domaines de l'informatique théorique, comme la géométrie algorithmique, les algorithmes en ligne, la dérandomisation et l'optimisation linéaire.

Informatique théorique
L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique. L'informatique théorique se caractérise par une approche par nature plus mathématique et moins empirique de l'informatique et ses objectifs ne sont pas toujours directement reliés à des enjeux technologiques. 
De nombreuses disciplines peuvent être regroupées sous cette dénomination diffuse dont :

la théorie de la calculabilité,

l'algorithmique et la théorie de la complexité,

la théorie de l'information,

l'étude de la sémantique des langages de programmation,

la logique mathématique,

la théorie des automates et des langages formels.