Algebraic and Symbolic Computation Methods in Dynamical Systems

Autor: Alban Quadrat, Eva Zerz

Publikováno v: Alban Quadrat, Eva Zerz. 9, Springer, pp.311, 2020, Advances in Delays and Dynamics, 978-3-030-38355-8. ⟨10.1007/978-3-030-38356-5⟩
Alban Quadrat, Eva Zerz. Springer, 9, pp.311, 2020, Advances in Delays and Dynamics, 978-3-030-38355-8. ⟨10.1007/978-3-030-38356-5⟩
Advances in Delays and Dynamics ISBN: 9783030383558

International audience; This book aims at reviewing recent progress in the direction of algebraic and symbolic computation methods for functional systems, e.g. ODE systems, differential time-delay equations, difference equations and integro-different

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93970f44afd9b1c9101e2b7cb009cb7f
https://hal.inria.fr/hal-03070784

Théories à types dépendants et algèbre de dimension supérieure

Autor: Leena Subramaniam, Chaitanya

Publikováno v: Category Theory [math.CT]. Université de Paris, 2021. English

The first part of this dissertation defines "dependently typed algebraic theories", which are a strict subclass of the generalised algebraic theories (GATs) of Cartmell. We characterise dependently typed algebraic theories as finitary monads on certa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::35fbba14c93d5644c403f8f38aa60981
https://tel.archives-ouvertes.fr/tel-03369103/document

Combining Semilattices and Semimodules

Autor: Alessio Santamaria, Filippo Bonchi

Publikováno v: Lecture Notes in Computer Science ISBN: 9783030719944
FoSSaCS
Foundations of Software Science and Computation Structures

We describe the canonical weak distributive law $$\delta :\mathcal S\mathcal P\rightarrow \mathcal P\mathcal S$$ δ : S P → P S of the powerset monad $$\mathcal P$$ P over the S-left-semimodule monad $$\mathcal S$$ S , for a class of semirings S. W

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb1dea53f1383c82367cfd6b4f2700de
http://arxiv.org/abs/2012.14778

Preservation of Equations by Monoidal Monads

Autor: Parlant, L., Rot, J., Silva, A., Westerbaan, Bas., Esparza, J.

Publikováno v: Esparza, J. (ed.), 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), 77:1-77:14. Dagstuhl : Schloss Dagstuhl
STARTPAGE=77:1;ENDPAGE=77:14;ISSN=1868-8969;TITLE=Esparza, J. (ed.), 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)
Esparza, J. (ed.), 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), pp. 77:1-77:14

If a monad $T$ is monoidal, then operations on a set $X$ can be lifted canonically to operations on $TX$. In this paper we study structural properties under which $T$ preserves equations between those operations. It has already been shown that any mo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b69c101f268bb2238794fc718b20795

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.