The following pages link to (Q5828993):
Displayed 50 items.
- The counterpart principle of analogical support by structural similarity (Q264027) (← links)
- Isoperimetric triangular enclosures with a fixed angle (Q375380) (← links)
- Solving a generalized Gauss problem (Q493345) (← links)
- An introduction to mechanized reasoning (Q504394) (← links)
- Logical probability and the strength of mathematical conjectures (Q517891) (← links)
- Book review of: I. Hacking, Why is there philosophy of mathematics at all? (Q517905) (← links)
- Morse index of a cyclic polygon (Q539205) (← links)
- Theories and inequalities on the satellite system (Q541806) (← links)
- The well-designed logical robot: learning and experience from observations to the Situation Calculus (Q543604) (← links)
- CERES in higher-order logic (Q716500) (← links)
- An experiment on case-based decision making (Q905093) (← links)
- Generalization: One technique of computational and applied mathematical methodology (Q932560) (← links)
- Mathematical analogy and metaphorical insight (Q1002116) (← links)
- The Jones polynomial of ribbon links (Q1006134) (← links)
- Euler's 1760 paper on divergent series (Q1225036) (← links)
- Fullerenes and coordination polyhedra versus half-cube embeddings (Q1584443) (← links)
- Minimal curvature-constrained networks (Q1756754) (← links)
- Analogy calculus (Q1802070) (← links)
- A summary of Euler's work on the pentagonal number theorem (Q1956486) (← links)
- Glimpsing at guessing (Q2014417) (← links)
- Several continued fraction expansions of generalized Cauchy numbers (Q2045269) (← links)
- Generating functions for probabilistic programs (Q2119118) (← links)
- Bisecting envelopes of convex polygons (Q2122767) (← links)
- Optimal finite homogeneous sphere approximation (Q2136837) (← links)
- Analogical proportions (Q2149806) (← links)
- Degrees of Kalman varieties of tensors (Q2156357) (← links)
- An understandable way to discover methods to model interval input-output samples (Q2245728) (← links)
- Heuristics and inferential microstructures: the path to quaternions (Q2289695) (← links)
- Inverse problems (Q2289697) (← links)
- Global optimization on an interval (Q2359788) (← links)
- A semigroup generated by definite matrices (Q2540429) (← links)
- A computer assisted study of Go on \(M \times N\) boards (Q2549939) (← links)
- An examination of the SEP candidate analogical inference rule within pure inductive logic (Q2634490) (← links)
- Examining the Role of Logic in Teaching Proof (Q2915879) (← links)
- Non-deductive Logic in Mathematics: The Probability of Conjectures (Q2950026) (← links)
- Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics (Q2950042) (← links)
- Euler's Sine Product Formula: An Elementary Proof (Q4581731) (← links)
- The Grazing Goat and Spherical Curiosities (Q5019915) (← links)
- PLANS AND PLANNING IN MATHEMATICAL PROOFS (Q5027672) (← links)
- Analogical reasoning using transformations of rules (Q5044780) (← links)
- Recent advances in asymptotic analysis (Q5049156) (← links)
- Leaping Cauchy numbers (Q5086830) (← links)
- Shifted Cauchy numbers (Q5221844) (← links)
- From Analogical Proportion to Logical Proportions: A Survey (Q5739527) (← links)
- Harmonic numbers associated with inversion numbers in terms of determinants (Q5742939) (← links)
- Conformal upper bounds for the eigenvalues of the p‐Laplacian (Q5874021) (← links)
- Using quantum mechanics for calculation of different infinite sums (Q5883113) (← links)
- On V.A. Yankov’s Contribution to the History of Foundations of Mathematics (Q5886463) (← links)
- Introduction (Q5892213) (← links)
- (Q6043298) (← links)