ERD

Computability of differential equations

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Periodic Reporting for period 1 - CID (Computing with Infinite Data)

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

On Farkas' Lemma and Related Propositions in BISH

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

A characterization of generalized existential completions

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Projection operators in the Weihrauch lattice

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Finite Choice, Convex Choice and Sorting

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Computer Science for Continuous DataSurvey, Vision, Theory, and Practice of a Computer Analysis System

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Computing with continuous objects: a uniform co-inductive approach

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

The fixed-point property for represented spaces

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Direct spectra of Bishop spaces and teir limits

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Connected choice and the Brouwer fixed point theorem

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Limits of real numbers in the binary signed digit representation

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Strict computability models over categories and presheaves

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Natural density and probability, constructively

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

σ-locales in Formal Topology

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Descriptive Complexity on Non-Polish Spaces II

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

On Formal Verification in Imperative Multivalued Programming over Continuous Data Types

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Behavioural Equivalence via Modalities for Algebraic Effects

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Tunneling on Wheeler Graphs

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

On the Collection of Fringe Subtrees in Random Binary Trees

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Computability of Limit Sets for Two-Dimensional Flows

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Computable Analysis for Verified Exact Real Computation

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

LUZIN’S (N) AND RANDOMNESS REFLECTION

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Factorizing the Top-Loc adjunction through positive topologies

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Proof-relevance in Bishop-style constructive mathematics

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Numerical Existence Property and Categories with an Internal Copy

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Bases of Pseudocompact Bishop Spaces

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Descriptive Complexity on Non-Polish Spaces

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Lookahead analysis in exact real arithmetic with logical methods

Project: CID

Updated at: 28-04-2024

Show more information

Project acronym CID

Resources

Selected filters:

Computability of differential equations

Periodic Reporting for period 1 - CID (Computing with Infinite Data)

On Farkas' Lemma and Related Propositions in BISH

A characterization of generalized existential completions

Projection operators in the Weihrauch lattice

Finite Choice, Convex Choice and Sorting

Computer Science for Continuous DataSurvey, Vision, Theory, and Practice of a Computer Analysis System

Computing with continuous objects: a uniform co-inductive approach

The fixed-point property for represented spaces

Direct spectra of Bishop spaces and teir limits

Connected choice and the Brouwer fixed point theorem

Limits of real numbers in the binary signed digit representation

Strict computability models over categories and presheaves

Natural density and probability, constructively

σ-locales in Formal Topology

Descriptive Complexity on Non-Polish Spaces II

On Formal Verification in Imperative Multivalued Programming over Continuous Data Types

Behavioural Equivalence via Modalities for Algebraic Effects

Tunneling on Wheeler Graphs

On the Collection of Fringe Subtrees in Random Binary Trees

Computability of Limit Sets for Two-Dimensional Flows

Computable Analysis for Verified Exact Real Computation

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice

LUZIN’S (N) AND RANDOMNESS REFLECTION

Factorizing the Top-Loc adjunction through positive topologies

Proof-relevance in Bishop-style constructive mathematics

Numerical Existence Property and Categories with an Internal Copy

Bases of Pseudocompact Bishop Spaces

Descriptive Complexity on Non-Polish Spaces

Lookahead analysis in exact real arithmetic with logical methods