Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
Yin-Chen He : Fuzzy Sphere Meets CFT : 3D Ising, Fermions and Gauge Theories
3 videos

Yin-Chen He : Fuzzy Sphere Meets CFT : 3D Ising, Fermions and Gauge Theories

Not Only Scalar Curvature Seminar
89 videos

Not Only Scalar Curvature Seminar

COSA : Interactions in applied mathematics for economics, finance and Insurance / Interactions en mathématiques appliquées à l'économie, la finance et l'assurance
5 videos

COSA : Interactions in applied mathematics for economics, finance and Insurance / Interactions en mathématiques appliquées à l'économie, la finance et l'assurance

The Pentagram Map and Ramifications
9 videos

The Pentagram Map and Ramifications

All the collections
CIMPA
CIRM
IHES
IHP
Institut Fourier
LMR
SMF
All the institutions
00:00:00 / 00:00:00

SMT solving

By David Monniaux

Appears in collections : Exposés de recherche, Algorithm and programming / Algorithmique et programmation

Information about the video

Citation data

Domain(s)

MSC codes

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Subscribe illustration
Copyright Carmin.tv 2026
By browsing our website, you accept the use of cookies to improve your experience. Find out more about our privacy policy.
Approve
Give feedback