Images for Wikipedia

This repository contains source codes of some images on Wikipedia, mainly in Computer Science, but also in music and art.

LaTEX (Tikz) to SVG

For compiling the .tex file to get a SVG file:

 pdflatex -shell-escape lemme_de_konig.tex

GIFs

This repository contains also some GIFs. They are made with [https://francoisschwarzentruber.github.io/gifedit/]

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
AC0_addition_circuit_example		AC0_addition_circuit_example
algorithme_de_johnson		algorithme_de_johnson
algorithme_de_kosaraju		algorithme_de_kosaraju
animation_unification		animation_unification
architecture		architecture
axiome_du_choix		axiome_du_choix
blocksworld		blocksworld
bohlenpierce_clavier.png		bohlenpierce_clavier.png
boustrophédon		boustrophédon
buchi1		buchi1
buchi2		buchi2
buchi_generalise		buchi_generalise
completude		completude
complexité_parametrée		complexité_parametrée
confluences		confluences
constraint_logic		constraint_logic
coupon_collectors_problem		coupon_collectors_problem
couverture_de_sommets		couverture_de_sommets
diviser_pour_regner_tri_fusion_schema		diviser_pour_regner_tri_fusion_schema
equilibre_nash		equilibre_nash
eulerian_path		eulerian_path
fibonacci		fibonacci
gamme_pythagoricienne		gamme_pythagoricienne
hadrons		hadrons
hierarchie_chomsky		hierarchie_chomsky
isomorphisme_graphes		isomorphisme_graphes
knuthbendix		knuthbendix
lasvegas		lasvegas
lemme_de_konig		lemme_de_konig
lemme_newman		lemme_newman
logique_intuitionniste_exemple		logique_intuitionniste_exemple
logique_intuitionniste_exemple2		logique_intuitionniste_exemple2
logiquepremierordre_exemple		logiquepremierordre_exemple
logiquepremierordre_syntaxe		logiquepremierordre_syntaxe
lowenheim-skolem		lowenheim-skolem
machine_de_turing_universelle		machine_de_turing_universelle
machine_turing_oracle		machine_turing_oracle
matching		matching
mesotonique		mesotonique
model_checking_exemple		model_checking_exemple
model_checking_principe		model_checking_principe
mso		mso
mso_graphenonconnexe		mso_graphenonconnexe
pairescritiques		pairescritiques
pcp		pcp
planification_complexite		planification_complexite
probleme_accessibilite		probleme_accessibilite
qlearning		qlearning
quine		quine
quinte_pure		quinte_pure
reinforcement_learning		reinforcement_learning
réchauffement climatique		réchauffement climatique
sallyandanne		sallyandanne
sharpP		sharpP
softmax		softmax
stable_max		stable_max
structure automatique		structure automatique
systeme_interactif_preuve		systeme_interactif_preuve
theoreme_de_de_bruijn_erdos		theoreme_de_de_bruijn_erdos
theoriedescategories		theoriedescategories
unification_dag_exemple		unification_dag_exemple
LICENSE		LICENSE
README.md		README.md
chineseroom.svg		chineseroom.svg
convexhull.odg		convexhull.odg
convexhull.svg		convexhull.svg
cycle_de_Jespersen.svg		cycle_de_Jespersen.svg
euclide.odg		euclide.odg
euclide1521.svg		euclide1521.svg
formesonate.odg		formesonate.odg
formesonate.png		formesonate.png
formesonate.wmf		formesonate.wmf
formesonatescarlatti.png		formesonatescarlatti.png
formesonateschema.svg		formesonateschema.svg
halt.gif		halt.gif
hauteuretoile.odg		hauteuretoile.odg
hauteuretoile.svg		hauteuretoile.svg
rice.gif		rice.gif
sard.tex		sard.tex
stonespace.svg		stonespace.svg
testDeFermat.svg		testDeFermat.svg
testFermat.odg		testFermat.odg
theoreme_cantor_bernstein.odg		theoreme_cantor_bernstein.odg
theoreme_cantor_bernstein.png		theoreme_cantor_bernstein.png
theoreme_compacite.gif		theoreme_compacite.gif
theoreme_compacite2.gif		theoreme_compacite2.gif
tocompileinsvg.txt		tocompileinsvg.txt

License

francoisschwarzentruber/imagesforwikipedia

Folders and files

Latest commit

History