The following pages link to (Q4099559):
Displayed 50 items.
- The problem of the invariance of dimension in the growth of modern topology. II (Q789050) (← links)
- Polyhedra and symmetry (Q793984) (← links)
- Logic of paradox revisited (Q795814) (← links)
- The Poincaré-Volterra theorem: A significant event in the history of the theory of analytic functions (Q796509) (← links)
- Law, learning and representation (Q814515) (← links)
- Command algebras, recursion and program transformation (Q911748) (← links)
- Type inference for polymorphic references (Q918190) (← links)
- Mathematics and conceptual analysis (Q928734) (← links)
- Categories for the working mathematician: making the impossible possible (Q928741) (← links)
- Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof (Q944364) (← links)
- 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)
- 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)
- 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)