Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  221 results for ""Mathematics""

Your Filters

Collection : Drops - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center For Informatics ) Language : achinese Language : bosnian Language : cherokee Language : cree Language : english Language : gothic Language : lithuanian Language : slovenian Language : uighur; uyghur Language : wolof Language : yiddish
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  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
    ×
    • 1-10 of  221 results for ""Mathematics""