Author/Authors :
Shinichi Yamada، نويسنده , , Yoshiharu Kato، نويسنده ,
Keywords :
Grothendieck topos , smooth infinitesimal calculus , infinitesimals , synthetic reasoning , Isabelle , theorem prover , local set theories , theory of distributions , HOL , smooth manifold , locus , topos , topos logics , topos-theoretic models , algebraic geometry , ML , the Yoneda embedding theorem , automated deduction , non-standard analysis , the Yoneda Lemma , C?-algebaas , operational calculus , Whitneyיs embedding theorem , Calculus of variations , rational physics , continuum physics , reflection principles , differential geometry G?delיs incompleteness theorem , sieve , Grothendieck topology , site , G?del numbering , sheaf , categorical logics , proof-checker
