The following pages link to (Q4099559):
Displaying 50 items.
- Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus (Q351452) (← links)
- Top-down and bottom-up philosophy of mathematics (Q360438) (← links)
- Ten misconceptions from the history of analysis and their debunking (Q360440) (← links)
- How to think about informal proofs (Q383052) (← links)
- A discrete Gauss-Bonnet type theorem (Q427169) (← links)
- Objects and processes in mathematical practice (Q429823) (← links)
- Explanation of two non-blocking shared-variable communication algorithms (Q469352) (← links)
- The spaces of functions of two variables of bounded \(\kappa \Phi\)-variation in the sense of Schramm-Korenblum (Q490941) (← links)
- Platitudes in mathematics (Q514596) (← links)
- A dialogue on the ethics of mathematics (Q517901) (← links)
- Letter (Q621561) (← links)
- Proof and refutation in MALL as a game (Q636305) (← links)
- A star in the Minkowskian sky: anisotropic special relativity (Q639792) (← links)
- Models and the dynamics of theory-building in physics. I: Modeling strategies (Q643103) (← links)
- Continuum, name and paradox (Q707899) (← links)
- 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)
- On uniform convergence of sequences and series of fuzzy-valued functions (Q898206) (← 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)
- 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)
- Towards a credit network based early warning indicator for crises (Q1623965) (← links)
- Identifiability of structural characteristics: how relevant is it for the Bayesian approach? (Q1654333) (← links)
