Keywords: ریاضیات سازنده; primary; 01A60; secondary; 26E35; 03B20; 03F60; Constructive mathematics; Robinson's framework; Infinitesimal analysis;
مقالات ISI ریاضیات سازنده (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: ریاضیات سازنده; 03B30; 03E30; 03F03; 03F55; Classical and intuitionistic mathematical logic; Set theory; Proof theory; Constructive mathematics;
Keywords: ریاضیات سازنده; 03F60; 03B30; 91B02; 52C35Separating hyperplane theorem; The fundamental theorem of asset pricing; Markov's principle; Constructive mathematics; Reverse mathematics
Keywords: ریاضیات سازنده; 03D75; 03D80; 03F60; 03F65Computability theory at higher types; Constructive mathematics; Density theorem; Limit spaces
Keywords: ریاضیات سازنده; 03F65; 51M15; 51M05; 03B30Geometry; Euclid; Constructive mathematics; Tarski
Revisiting Zariski Main Theorem from a constructive point of view
Keywords: ریاضیات سازنده; Zariski Main Theorem; Multivariate Hensel Lemma; Quasi-finite algebras; Constructive mathematics
A constructive investigation of satisfiability
Keywords: ریاضیات سازنده; 03F03; 03B20Intuitionistic logic; Sequent calculus; Satisfiability; Constructive mathematics
Curves and coherent Prüfer rings
Keywords: ریاضیات سازنده; Semihereditary ring; pp-ring; Prüfer ring; Smooth curve; Constructive mathematics; Generalized Hasse derivatives;
Insight in discrete geometry and computational content of a discrete model of the continuum
Keywords: ریاضیات سازنده; Discrete geometry; Nonstandard analysis; Arithmetization; Constructive mathematics
Pedagogical second-order λλ-calculus
Keywords: ریاضیات سازنده; Typed λλ-calculus; Natural deduction; Mathematical logic; Negationless mathematics; Constructive mathematics
Suslin's algorithms for reduction of unimodular rows
Keywords: ریاضیات سازنده; 13C10; 19A13; 14Q20; 03F65; Quillen-Suslin theorem; Suslin's stability theorem; Constructive mathematics; Computer algebra;
A General Constructive Proof Technique
Keywords: ریاضیات سازنده; Uniform structure; constructive mathematics;