Verifiserte termer vår 2024

BIDRAGSYTERE.md

@@ -23,6 +23,7 @@ bidratt til ordlista, men ikke står oppført som bidragsyter.
 - [Joakim Fremstad (NTNU)](https://github.com/jfremstad)
 - [Søren Gammelgaard (Oxford/UiO)](https://github.com/sorengam)
 - Sigrid Grepstad (NTNU)
+- [Jacob Fjeld Grevstad (NTNU)](https://github.com/jagr2808)
 - [Morten Grønbech (NTNU)](https://github.com/MortGron)
 - [Harald Hanche-Olsen (NTNU)](https://github.com/hanche)
 - [Johanne Haugland (NTNU)](https://github.com/johahaug)
@@ -33,6 +34,7 @@ bidratt til ordlista, men ikke står oppført som bidragsyter.
 - [Ann-Helen Langaker (Språkrådet)](https://github.com/Langaker)
 - [Karl Kristian Ladegård Lockert (NTNU)](https://github.com/kklocker)
 - [Håkon Marthinsen (SINTEF)](https://github.com/hmarthinsen)
+- [Rasmus Anker Fossen Nordal (NTNU)](https://github.com/AFNordal)
 - Mona-Lena Norheim (NTNU)
 - [Brynjulf Owren (NTNU)](https://github.com/bowre)
 - Cecilie Bjørnsdotter Raustein (NTNU)

verifiserte_termer.csv

@@ -1814,7 +1814,7 @@ ubetinget,vilkårslaus,unconditional,
 bijeksjon,bijeksjon,bijection,"Synonym: én-entydig korrespondanse/én-til-én-korrespondanse"
 injektiv,injektiv,injective,"Synonym: én-entydig/én-til-én"
 multippel,multippel,multiple,"Ordklasse: adjektiv"
-kvadratisk resiprositet,kvadratisk resiprositet,quadratic reciprocity,
+kvadratisk gjensidighet<br>kvadratisk resiprositet,kvadratisk gjensidigheit<br>kvadratisk resiprositet,quadratic reciprocity,
 venstreartinsk,venstreartinsk,left artinian,
 artinsk modul,artinsk modul,artinian module,
 noethersk ring,noethersk ring,noetherian ring,
@@ -3330,10 +3330,8 @@ funktorkategori,funktorkategori,functor category,
 homotopikogrense,homotopikogrense,homotopy colimit,
 homotopiforliker,homotopiforliker,homotopy equalizer,
 homotopikoforliker,homotopikoforliker,homotopy coequalizer,
-homotopikartesisk,homotopikartesisk,homotopy Cartesian,"Synonym: homotopipullback"
-homotopipullback,homotopipullback,homotopy pullback,"Synonym: homotopikartesisk"
-homotopikokartesisk,homotopikokartesisk,homotopy co-Cartesian,"Synonym: homotopipushout"
-homotopipushout,homotopipushout,homotopy pushout,"Synonym: homotopikokartesisk"
+homotopikartesisk,homotopikartesisk,homotopy Cartesian,
+homotopikokartesisk,homotopikokartesisk,homotopy co-Cartesian,
 svak homotopiekvivalens,svak homotopiekvivalens,weak homotopy equivalence,"<i>Weak homotopy equivalence<i/> og <i>homotopy equivalence</i> brukes noen steder synonymt. Hva som er vanlig ordbruk, avhenger av kontekst."
 whiteheadprinsippet,whiteheadprinsippet,Whitehead principle,
 Whiteheads teorem,Whiteheads teorem,Whitehead's theorem,
@@ -3625,3 +3623,72 @@ utlede,utleie,infer,"Synonym: dedusere"
 dedusere,dedusere,deduce,"Synonym: utlede"
 entitet,entitet,entity,
 identisk,identisk,identical,
+kompleksvaluert,kompleksvaluert,complex valued,
+reellvaluert,reellvaluert,real valued,
+entydig,eintydig,single valued,
+mengdedifferanse,mengddifferanse,set difference,
+grammatrise,grammatrise,gram matrix<br>gramian,
+kondisjonstall,kondisjonstal,conditional number,
+styrbarhetsmatrise,styrbarheitsmatrise,controllability matrix,
+observerbarhetsmatrise,observerbarheitsmatrise,observability matrix,
+punktprøving<br>tasting,punktprøving<br>tasting,sampling,
+tilslørt algebra,tilsløra algebra,concealed algebra,
+vippet algebra,vippa algebra,tilted algebra,
+kvasivippet algebra,kvasivippa algebra,quasi-tilted algebra,
+differanse<br>forskjell,differanse<br>forskjell,difference,
+stjerner og stolper,stjerner og stolper,stars and bars,
+inklusjon-eksklusjon,inklusjon-eksklusjon,inclusion-exclusion,
+inklusjon-eksklusjonsprinsippet,inklusjon-eksklusjonsprinsippet,inclusion-exclusion principle,
+determinisme,determinisme,determinism,
+udeterminisme,udeterminisme,nondeterminism,
+språk,språk,language,
+tilstand,tilstand,state,
+tilstandsmonade,tilstandsmonade,state monad,
+fortsettelse,fortsetjing,continuation,
+fortsettelsesmonade,fortsetjingsmonade,continuation monad,
+strøm,straum,stream,
+strømmonade,straummonade,stream monad,
+identitetsmonade,identitetsmonade,identity monad,
+fantastisk høyreadjungert,fantastisk høgreadjungert,amazing right adjoint,
+strukturavbildning,strukturavbilding,structure map,
+strukturell avbildning,strukturell avbilding,structural map,
+strukturell induksjon,strukturell induksjon,structural induction,
+syntetisk,syntetisk,synthetic,
+syntese,syntese,synthesis,
+glatt mangfoldighet,glatt mangfald,smooth manifold,
+glatt rom,glatt rom,smooth space,
+H-rom,H-rom,H-space,
+G-rom,G-rom,G-space,
+sentral,sentral,central,
+geometrisk realisering,geometrisk realisering,geometric realization,
+realisering,realisering,realization,
+koherent nerve,koherent nerve,coherent nerve,
+diskret nerve,diskret nerve,discrete nerve,
+glidende gjennomsnitt,glidande gjennomsnitt,rolling average,
+mikrolineær,mikrolineær,microlinear,
+planær,planær,planar,
+planaritet,planaritet,planarity,
+planær graf,planær graf,planar graph,
+matematisk,matematisk,mathematical,
+metateori,metateori,metatheory,
+stor kategori,stor kategori,large category,
+lokalt liten,lokalt liten,locally small,
+stor mengde,stor mengd,large set,
+liten mengde,lita mengd,small set,
+stor type,stor type,large type,
+liten type,liten type,small type,
+lokalt liten type,lokalt liten type,locally small type,
+stor konstruksjon,stor konstruksjon,large construction,
+liten konstruksjon,liten konstruksjon,small construction,
+predikativ,predikativ,predicative,
+impredikativ,impredikativ,impredicative,
+eksistere<br>finnes,eksistere<br>finnast,exist,"Ordklasse: verb"
+eksistens,eksistens,existence,
+konstruktiv,konstruktiv,constructive,
+konstruktivt bevis,konstruktivt bevis<br>konstruktivt prov,constructive proof,
+konstruktivt eksistensbevis,konstruktivt eksistensbevis<br>konstruktivt eksistensprov,constructive proof of existence,
+parametrisert,parametrisert,parametrized,
+underliggende,underliggjande,underlying,
+underliggende mengde,underliggjande mengd,underlying set,
+ekvivariant ekvivalens,ekvivariant ekvivalens,equivariant equivalence,
+banekategori,banekategori,orbit category,