Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
24 changes: 23 additions & 1 deletion docs/source/gallery.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down Expand Up @@ -67,6 +67,28 @@ For example, below are the slides of his
</iframe>
</div>

### 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).

<div style="position:relative;padding-bottom:56.25%;">
<iframe
loading="lazy"
style="width:100%;height:100%;position:absolute;left:0px;top:0px;"
frameborder="1"
width="100%"
height="100%"
allowfullscreen
allow="autoplay"
src="https://matthewmcilree.com/files/slides/mcilree_aaai2025.html">
</iframe>
</div>

## School Work

Below are people that used Manim Slides for school presentations.
Expand Down
Loading