From f7ceb8d9fc20952304d4671d1f2235c9a66b4b59 Mon Sep 17 00:00:00 2001 From: mmcilree Date: Mon, 16 Jun 2025 10:37:14 +0100 Subject: [PATCH 1/3] Add example to gallery. --- 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 95954f4e..55f6738b 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. From 5a5775d527b2c193bbae43728261a5a4796adda4 Mon Sep 17 00:00:00 2001 From: "pre-commit-ci[bot]" <66853113+pre-commit-ci[bot]@users.noreply.github.com> Date: Mon, 16 Jun 2025 09:56:54 +0000 Subject: [PATCH 2/3] chore(fmt): auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci --- docs/source/gallery.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/source/gallery.md b/docs/source/gallery.md index 55f6738b..9939919d 100644 --- a/docs/source/gallery.md +++ b/docs/source/gallery.md @@ -69,11 +69,11 @@ For example, below are the slides of his ### Matthew McIlree -Matthew is a Computer Science researcher from Scotland and has used Manim Slides +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). +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 +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).
From 29d1d8d4f9ac526cc8eb8b6ce2565293f3aa7739 Mon Sep 17 00:00:00 2001 From: Matthew J McIlree <45012194+mmcilree@users.noreply.github.com> Date: Mon, 16 Jun 2025 11:36:37 +0100 Subject: [PATCH 3/3] chore(docs): gallery formatting. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Jérome Eertmans --- docs/source/gallery.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/source/gallery.md b/docs/source/gallery.md index 9939919d..9392e1d0 100644 --- a/docs/source/gallery.md +++ b/docs/source/gallery.md @@ -67,11 +67,11 @@ 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). +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).