Peter M. Schuster

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 3

Top Topics

Theorem Proving

Geometric Constraints

Top Venues

Dagstuhl Reports

Publications

Ingo Blechschmidt, Hajime Ishihara, Peter M. Schuster, Gabriele Buriola
From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021). Dagstuhl Reports 14 (1) (2024)
Thierry Coquand, Hajime Ishihara, Sara Negri, Peter M. Schuster
Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472). Dagstuhl Reports 11 (10) (2021)
Thomas Powell, Peter M. Schuster, Franziskus Wiesnet
An algorithmic approach to the existence of ideal objects in commutative algebra. CoRR (2019)
Andrej Bauer, Thierry Coquand, Giovanni Sambin, Peter M. Schuster
Preface. Ann. Pure Appl. Log. 163 (2) (2012)
Douglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta
Apartness, compactness and nearness. Theor. Comput. Sci. 405 (1-2) (2008)
Peter M. Schuster
A Constructive Look at Generalised Cauchy Reals. Math. Log. Q. 46 (1) (2000)