Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Filter

Your Filters

Collection : Drops - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center For Informatics ) Language : albanian Language : english Language : romanian; moldavian; moldovan Language : slovak Language : tamil Language : tswana Language : waray Language : welsh

Reset filters

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401)

Authors : Andrej Bauer and Katja Berčič and Florian Rabe and Nicolas Thiéry and Jure Taslak

Subjects: mathematical knowledge management

Record details

Read More Add to Saved list

Academic Journal

Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs

Authors : Davide Barbarossa and Paolo Pistone

Subjects: Relational semantics

Record details

Read More Add to Saved list

Academic Journal

Machine-Checked Computational Mathematics (Invited Talk)

Authors : Assia Mahboubi

Subjects: Type theory

Record details

Read More Add to Saved list

Academic Journal

Borel Sets in Reverse Mathematics (Invited Talk)

Authors : Linda Westrick

Subjects: Borel sets

Record details

Read More Add to Saved list

Academic Journal

An Augmented Reality Mathematics Serious Game

Authors : José Manuel Cerqueira and João Martinho Moura and Cristina Sylla and Luís Ferreira

Subjects: Serious Game

Record details

Read More Add to Saved list

Academic Journal

Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341)

Authors : Andrej Bauer and Martín Escardó and Peter L. Lumsdaine and Assia Mahboubi

Subjects: formal methods

Record details

Read More Add to Saved list

Academic Journal

The Kleene-Post and Post’s Theorem in the Calculus of Inductive Constructions

Authors : Yannick Forster and Dominik Kirst and Niklas Mück

Subjects: Constructive mathematics

Record details

Read More Add to Saved list

Academic Journal

Some Axioms for Mathematics

Authors : Frédéric Blanqui and Gilles Dowek and Émilie Grienenberger and Gabriel Hondet and François Thiré

Subjects: logical framework

Record details

Read More Add to Saved list

Academic Journal

A General Constructive Form of Higman’s Lemma

Authors : Stefano Berardi and Gabriele Buriola and Peter Schuster

Subjects: intuitionistic logic

Record details

Read More Add to Saved list

Academic Journal

Inductive Inference and Reverse Mathematics

Authors : Rupert Hölzl and Sanjay Jain and Frank Stephan

Subjects: reverse mathematics

Record details

Read More Add to Saved list