FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
automated theorem proving	Towards intuitive reasoning in axiomatic geometry (PDF, talk)
C
Common Language for Geometric Problems	Rating of Geometric Automated Theorem Provers (PDF, talk)
D
Declarative Prover	Students' Proof Assistant (SPA) (PDF, talk)
E
engineering mathematics	Lucas Interpretation from Programmers’ Perspective (PDF, talk)
F
function package	Lucas Interpretation from Programmers’ Perspective (PDF, talk)
G
Geometric Automated Theorem Provers	Rating of Geometric Automated Theorem Provers (PDF, talk)
I
interactive theorem proving	Towards intuitive reasoning in axiomatic geometry (PDF, talk)
Isabelle	Lucas Interpretation from Programmers’ Perspective (PDF, talk)
Isabelle Proof Assistant	Natural Deduction Assistant (NaDeA) (PDF, talk) Students' Proof Assistant (SPA) (PDF, talk) Proving in the Isabelle Proof Assistant that the Set of Real Numbers is not Countable (PDF, talk)
L
Logic for Teaching	Towards intuitive reasoning in axiomatic geometry (PDF, talk)
Logic Tools	Natural Deduction Assistant (NaDeA) (PDF, talk) Students' Proof Assistant (SPA) (PDF, talk)
lucas interpretation	Lucas Interpretation from Programmers’ Perspective (PDF, talk)
N
Natural deduction	Natural Deduction Assistant (NaDeA) (PDF, talk)
Natural mathematical language	Towards intuitive reasoning in axiomatic geometry (PDF, talk)
P
proof assistant	Lucas Interpretation from Programmers’ Perspective (PDF, talk)
R
Rating of Geometric Provers	Rating of Geometric Automated Theorem Provers (PDF, talk)
Real Numbers	Proving in the Isabelle Proof Assistant that the Set of Real Numbers is not Countable (PDF, talk)
S
Synthetic Geometry	Towards intuitive reasoning in axiomatic geometry (PDF, talk)
T
tutoring	Lucas Interpretation from Programmers’ Perspective (PDF, talk)
U
Uncountability	Proving in the Isabelle Proof Assistant that the Set of Real Numbers is not Countable (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program