[PDF][PDF] The Method of Coalgebra: exercises in coinduction
J Rutten - 2019 - core.ac.uk
The Method of Coalgebra: exercises in coinduction Jan Rutten Page 1 The Method of
Coalgebra: exercises in coinduction Jan Rutten February 2019 261 pages ISBN 978-90-6196-568-8 …
Coalgebra: exercises in coinduction Jan Rutten February 2019 261 pages ISBN 978-90-6196-568-8 …
[PDF][PDF] Mixed Inductive-Coinductive Reasoning Types, Programs and Logic
H Basold - 2018 - repository.ubn.ru.nl
Induction and coinduction are two complementary techniques used in mathematics and
computer science. These techniques occur together, for example, in control systems: On the …
computer science. These techniques occur together, for example, in control systems: On the …
Products, polynomials and differential equations in the stream calculus
We study connections among polynomials, differential equations, and streams over a field 𝕂,
in terms of algebra and coalgebra. We first introduce the class of (F, G)-products on streams …
in terms of algebra and coalgebra. We first introduce the class of (F, G)-products on streams …
Weighted basic parallel processes and combinatorial enumeration
L Clemente - arxiv preprint arxiv:2407.03638, 2024 - arxiv.org
We study weighted basic parallel processes (WBPP), a nonlinear recursive generalisation of
weighted finite automata inspired from process algebra and Petri net theory. Our main result …
weighted finite automata inspired from process algebra and Petri net theory. Our main result …
Algebra and coalgebra of stream products
We study connections among polynomials, differential equations and streams over a field K,
in terms of algebra and coalgebra. We first introduce the class of (F, G)-products on streams …
in terms of algebra and coalgebra. We first introduce the class of (F, G)-products on streams …
Holonomic Bessel modules and generating functions
We have solved a number of holonomic PDEs derived from the Bessel modules which are
related to the generating functions of classical Bessel functions and the difference Bessel …
related to the generating functions of classical Bessel functions and the difference Bessel …
Formal methods for dynamical systems: invariants, reachability, inference.
L Collodi - 2024 - flore.unifi.it
This thesis is centered on Formal Methods for dynamical systems. In particular, we focus on
continuous dynamical systems specified by systems of ordinary differential equations …
continuous dynamical systems specified by systems of ordinary differential equations …
In Praise of Sequence (Co-) Algebra and its implementation in Haskell
K Clenaghan - arxiv preprint arxiv:1812.05878, 2018 - arxiv.org
What is Sequence Algebra? This is a question that any teacher or student of mathematics or
computer science can engage with. Sequences are in Calculus, Combinatorics, Statistics …
computer science can engage with. Sequences are in Calculus, Combinatorics, Statistics …
[PDF][PDF] 計算代数を駆使して (一般化) フィボナッチ数列の一般項を求める
H ISHII - 2022 - konn-san.com
計算代数を駆使して (一般化) フィボナッチ数列の一般項を求める Page 1 計算代数を駆使して (一般
化) フィボナッチ数列の一般項を求める Hiromi ISHII 2022/03/06 Tsukuba Compter Mathematics …
化) フィボナッチ数列の一般項を求める Hiromi ISHII 2022/03/06 Tsukuba Compter Mathematics …