From 9e12feb27540c01ebbec6e814699659329bb2ed6 Mon Sep 17 00:00:00 2001 From: Matthew J McIlree <45012194+mmcilree@users.noreply.github.com> Date: Mon, 16 Jun 2025 12:07:17 +0100 Subject: [PATCH] chore(docs): add example to gallery (#552) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * Add example to gallery. * chore(fmt): auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci * chore(docs): gallery formatting. Co-authored-by: Jérome Eertmans --------- Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com> Co-authored-by: Jérome Eertmans --- docs/source/gallery.md | 24 +++++++++++++++++++++++- 1 file changed, 23 insertions(+), 1 deletion(-) diff --git a/docs/source/gallery.md b/docs/source/gallery.md index 95954f4..9392e1d 100644 --- a/docs/source/gallery.md +++ b/docs/source/gallery.md @@ -14,7 +14,7 @@ If you too have created content with Manim Slides that is available online (e.g., a YouTube video or website), don't hesitate to contact us so that we can share your content on this page! -## Scientif Research +## Scientific Research Below are people that dissimenate their research results using Manim Slides presentations. @@ -67,6 +67,28 @@ For example, below are the slides of his +### Matthew McIlree + +Matthew is a Computer Science researcher from Scotland and has used Manim Slides +to present his work on *Proof Logging for Constraint Programming*. He also publishes +his presentation slides on his [personal website](https://matthewmcilree.com). + +Here are the slides from a 25-minute talk he presented at the 39th Annual AAAI Conference on Artificial Intelligence titled +[Certifying Bounds Propagation for Integer Multiplication Constraints](https://matthewmcilree.com/files/slides/mcilree_aaai2025.html). + +
+ +
+ ## School Work Below are people that used Manim Slides for school presentations.