Live briefing
Everything about Coinduction
Proof method in mathematical logic
In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: CoinductionA 5-minute orientation
- Skim a recent paper: Comparison of Coinduction Adjuvants to Propofol in Healthy Cats Sedated With DexmedetomidineInfluential work since 2022
- Pick up a classic book: Advanced topics in bisimulation and coinductionThe most-reprinted book on the subject
- Read the landmark paper: Coinduction of Nitric-oxide Synthase and Arginase I in Cultured Rat Peritoneal Macrophages and Rat Tissues in Vivo by LipopolysaccharideCited 177 times
- Go sideways: F-coalgebraA closely related topic
- Go sideways: CorecursionA closely related topic
📖 Definitions
Noun A form of induction that allows some form of reasoning concerning sets that are not well founded; uses a form of relation called a bisimulation
Noun The simultaneous induction of two or more compounds into a cell line
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Coinduction of Nitric-oxide Synthase and Arginase I in Cultured Rat Peritoneal Macrophages and Rat Tissues in Vivo by Lipopolysaccharide
Coinduction of nitric oxide synthase and argininosuccinate synthetase in a murine macrophage cell line. Implications for regulation of nitric oxide production.
Coinduction of glucose-regulated proteins and doxorubicin resistance in Chinese hamster cells.
Coinduction of Rat Liver Branched Chain α-Keto Acid Dehydrogenase Activities
Coinduction of MDR-1 Multidrug-Resistance and Cytochrome P-450 Genes in Rat Liver by Xenobiotics
Structural Induction and Coinduction in a Fibrational Setting
On the origins of bisimulation and coinduction
Coinduction of Nitric Oxide Synthase, Argininosuccinate Synthetase, and Argininosuccinate Lyase in Lipopolysaccharide-treated Rats
🆕 Influential since 2022
Comparison of Coinduction Adjuvants to Propofol in Healthy Cats Sedated With Dexmedetomidine
From enhanced coinduction towards enhanced induction
Formalising Graph Algorithms with Coinduction
Effects of using a propofol priming and coinduction with ketamine or S(+) Ketamine on the dose of induction and duration of propofol in cats
COMPARATIVE STUDY OF PROPOFOL AUTO-COINDUCTION VERSUS KETAMINE PROPOFOL COINDUCTION USING PRIMING PRINCIPLE BY BISPECTRAL INDEX ANALYSIS FOR DAY CARE SURGERY
📚 Books worth reading
- 📕Advanced topics in bisimulation and coinductionDavide Sangiorgi · 2011
An introduction to bisimulation and coinductionDavide Sangiorgi · 2011
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- F-coalgebra In mathematics, specifically in category theory, an F-coalgebra is a structure defined according to a functor F, with specific properties as defined below…
- Corecursion In computer science, corecursion is a type of operation that is dual to (structural) recursion. Whereas recursion consumes a data structure by first handling…
- String (computer science) In computer programming, a string is traditionally a sequence of characters, either as a literal constant or as some kind of variable. The latter may allow…
- Outer measure In the mathematical field of measure theory, an outer measure or exterior measure is a function defined on all subsets of a given set with values in the…
- Anamorphism In computer programming, an anamorphism is a function that generates a sequence by repeated application of the function to its previous result. You begin…
- Radon–Nikodym theorem In mathematics, the Radon–Nikodym theorem, named after Johann Radon and Otto M. Nikodym, is a result in measure theory that expresses the relationship…
- Hölder's inequality In mathematical analysis, Hölder's inequality, named after Otto Hölder, is a fundamental inequality between integrals and an indispensable tool for the…
- Initial algebra In mathematics, an initial algebra is an initial object in the category of F-algebras for a given endofunctor F. This initiality provides a general framework…