Add Showcase Section

[mehalter]

Add a section to the landing page with recent talks and published papers of our technology. (eg. JuliaCon 2020 talk, ACT talks, etc.)

[jpfairbanks]

I made a greatest hits list for the ASKEM kickoff meeting. Should we publish it on the website and keep it updated?

These three are about modeling in ODEs:
Model Formulation with operad algebras https://arxiv.org/abs/2105.12282
Model Verification by encoding scientific theories as type systems https://arxiv.org/abs/2203.16345
Model Mutation with Rewriting (won best paper yesterday at ICGT) https://arxiv.org/abs/2111.03784
Model Space Exploration with Categories of Diagrams https://arxiv.org/abs/2206.08755

Physics:
This one is the first in a series (to be written) on math physics that is the multiphysics stuff we will be extending on ASKEM https://arxiv.org/abs/2204.01843
In Prep: The next in the series is about simulating these multiphysics.
In Prep: The third will be about things like multi grid and multi scale.

Demos:
AlgebraicDynamics Documentation: https://algebraicjulia.github.io/AlgebraicDynamics.jl/dev/
AlgebraicPetri Documentation and Examples: https://algebraicjulia.github.io/AlgebraicPetri.jl/dev/
BilayerNetworks: https://algebraicjulia.github.io/AlgebraicPetri.jl/dev/examples/covid/bilayerconversion/
Most Polished Examples of Model Stratification https://github.com/AlgebraicJulia/Structured-Epidemic-Modeling
Model Mutation: https://algebraicjulia.github.io/AlgebraicRewriting.jl/dev/ (under development)
Markov Chain Modeling Ising Model Example, slightly out of date: https://github.com/AlgebraicJulia/CombinatorialChains.jl
Stock Flow Diagrams: https://github.com/AlgebraicJulia/StockFlow.jl/blob/master/examples/primitive_schema_examples/Covid19_composition_model_in_paper.ipynb