The following pages link to (Q4099559):
Displayed 50 items.
- What can the philosophy of mathematics learn from the history of mathematics? (Q948979) (← links)
- A German translation of Euler's articles on the polyhedron formula now available on the world wide web (Q957598) (← links)
- Mathematical models and reality: A constructivist perspective (Q980542) (← links)
- Von Riemann zu Lebesgue - zur Entwicklung der Integrationstheorie (Q1053003) (← links)
- Recursive categoricity and recursive stability (Q1084103) (← links)
- The problem of the invariance of dimension in the growth of modern topology, part I (Q1135018) (← links)
- Critical notice to: D. M. Gabbay's ''Investigations in modal and tense logics with applications to problems in philosophy and linguistics'' (Q1139033) (← links)
- Social processes and proofs of theorems and programs (Q1150266) (← links)
- Recent developments in primality testing (Q1160213) (← links)
- The logical study of science (Q1164615) (← links)
- Modernizing the philosophy of mathematics (Q1182173) (← links)
- Knowledge representation for mathematical discovery: Three experiments in graph theory (Q1183372) (← links)
- Geometric invariants for 3-manifolds (Q1189873) (← links)
- Logic, ontology, mathematical practice (Q1202496) (← links)
- On the differentiability of continuous functions -- Ampère's proof and its consequences (Q1203015) (← links)
- Some proposals for reviving the philosophy of mathematics (Q1254292) (← links)
- Cauchy and the continuum: the significance of non-standard analysis for the history and philosophy of mathematics (Q1254295) (← links)
- Reply to Schenkerman's avoiding rank reversal in AHP decision support models (Q1333546) (← links)
- Purposive discovery of operators (Q1356174) (← links)
- Hidden lemmas in Euler's summation of the reciprocals of the squares (Q1365472) (← links)
- An upper bound on the derivational complexity of Knuth-Bendix orderings. (Q1401942) (← links)
- A successful concept for measuring non-planarity of graphs: The crossing number. (Q1422437) (← links)
- Legendre's revolution (1794): the definition of symmetry in solid geometry (Q1775425) (← links)
- The flux theory of gravitation. V: The mathematics of the new physics (Q1855728) (← links)
- Abel and his mathematics in contexts. (Q1862651) (← links)
- Peano's axioms in their historical context (Q1899316) (← links)
- The advance party (Q1905799) (← links)
- Unpacking the logic of mathematical statements (Q1905802) (← links)
- Project work in university mathematics education. A Danish experience: Aalborg University (Q1905808) (← links)
- Eliciting implicit assumptions of Mizar proofs by property omission (Q1945901) (← links)
- Bridging the gap between argumentation theory and the philosophy of mathematics (Q2271079) (← links)
- Towards a theory of mathematical argument (Q2271081) (← links)
- Mathematics and argumentation (Q2271083) (← links)
- The well-designed young mathematician (Q2389695) (← links)
- Mathematical applications of inductive logic programming (Q2433178) (← links)
- Integrating searching and authoring in Mizar (Q2462640) (← links)
- Counting complexity classes for numeric computations. II: Algebraic and semialgebraic sets (Q2489141) (← links)
- Abductive inference in defeasible reasoning: a model for research programmes (Q2565607) (← links)
- Exceptions and counterexamples: understanding Abel's comment on Cauchy's theorem (Q2576314) (← links)
- On the edge of a paradigm shift: Quantum nonlocality and the breakdown of peaceful coexistence (Q2713298) (← links)
- Fractal geometry—The case of a rapid career (Q2713305) (← links)
- Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship (Q2757981) (← links)
- In a Class With Klein: Generating A Model of the Hyperbolic Plane (Q2883943) (← links)
- Experimental Approaches to Theoretical Thinking: Artefacts and Proofs (Q2915844) (← links)
- The Need for Proof and Proving: Mathematical and Pedagogical Perspectives (Q2915858) (← links)
- Proof, Proving, and Teacher-Student Interaction: Theories and Contexts (Q2915860) (← links)
- From Exploration to Proof Production (Q2915864) (← links)
- Principles of Task Design for Conjecturing and Proving (Q2915869) (← links)
- Argumentation and Proof in the Mathematics Classroom (Q2915878) (← links)
- Examining the Role of Logic in Teaching Proof (Q2915879) (← links)