Useful links
Homepages
Personal list
Aart Middeldorp's list
DBLP
Bibliographies
HAL
CNRS
Focus
LMF
DBLP
arXiv
Microsoft
ArnetMiner
LNCS
LNIM
List of all papers published at RTA with their abstract
Pierre Lescanne's page of hardly accessible papers
Earliest uses of various mathematical symbols
Teams and seminars
Deducteam
[sem]
Partout
[sem]
IRIF
[sem]
Picube
2
[sem]
Logique
[sem]
Toccata
[sem]
LORIA-FM
[sem]
LSV
[sem]
DIENS
[sem]
LIX
Cambium
[sem]
Marelle
[sem]
LIMD
[sem]
Plume
[sem]
FP
[sem]
[blog]
Centre d'Alembert
Conferences
Forthcoming schools
DBLP
FSCD
LICS
TYPES
FroCoS
LPAR
IJCAR
CSL
ICFP
POPL
Journals
DBLP
IC
JSC
JFP
MSCS
JACM
TCS
JAR
LMCS
ToC
FI
TOCL
Software development
Free software:
FSF
Linux
Apache
Licenses:
CeCILL
GPL
LGPL
Development tools:
GIT
SVN
CVS
Make
Rewriting languages:
Maude
CafeOBJ
TOM
Theorem provers
Lists:
Wiedijk
Proof assistants:
Coq
Matita
Isabelle
Mizar
Proof checkers:
Dedukti
Lambdapi
Interfaces:
ProofGeneral
Proof databases:
Coq
CoLoR
HELM
Problem databases:
TPTP
TPDB
Certification tools:
CeTA
Rainbow
Why3
Zenon
Focalize
Termination checkers:
AProVE
TTT2
CiME3
MatchBox
TORPA
Jambox
Completion tools:
mkbTT
Waldmeister
CiME
Confluence checkers:
ACP
Web
Unicode:
table
charts
HTML
valid
valid
tutorial
XML
1.1
valid
tutorial
Parsers:
PXP
Expat
XML-Light
Programming:
XDuce
CDuce
OCamlDuce
XSD
valid
valid
tutorial
CSS
2.1
valid
tutorial
XSLT
2.0
Saxon
LaTeX
TUG
CTAN
TeXmacs
Scientific websites
Termination portal
RTA list of open problems
TLCA list of open problems
Rewriting
[biblio]
Logical Frameworks
[biblio]
MathWorld
Les-Maths.net
Genealogy
Biographies
History
HoTT
nLab
nCat
Stanford Encyclopedia of Philosophy
MathOverflow
Mailing lists
Types
Rewriting
Coq
OCaml
CWN
Travel
Flightaware
SkyScanner
Trip
SkyTeam
AirFrance
AirNZ
EasyJet
JetStar
Twinjet
Luxair
Ryanair
AerLingus
Trains:
RATP
Transilien
SNCF
DB
UK
TCG
Bus:
Eurolines
NationalExpress
Car:
EasyCar
Ada
Avis
RentalCars
Meteo:
France
Weather
Meteociel
Climate:
Timeanddate
Seatemperature
Maps:
ViaMichelin
Mappy
Google
Hotels:
AccorHotels
IbisBudget
Formule1
Currency converters:
xe
x-rates
fxtop
Power Plugs & Sockets of the World
Time
Vacances scolaires
Jours fériés
Conseils aux voyageurs
Taux
Forfaits journaliers
Miscellaneous
Pages jaunes
Codes postaux
Indicatifs
Dictionaries:
CNRTL
TLFi
HyperDictionary
ARTFL
Translators:
OQLF
WordReference
Encyclopedia:
Wikipedia
CIA Factbook
Hoaxkiller
Hoaxbuster
AFIS
Interstices
ErNeSt
Associations
SIF
SMAI
CNU
AFUL
APRIL
FSF-France
FSF
Prizes
SIF
ASTI
Le Monde
ERCIM
EACSL
Beth
EATCS
CNRS
Académie
Turing
Nevanlinna
Fields
Abel
Gauss
Nobel
Last updated on 8 May 2026.
Come back to main page
.
