Learn how to foster a classroom culture that values examples and counterexamples as part of proof in mathematics education. Skip to main content LinkedIn Articles ...

SAT+CAS systems, a la MathCheck, can be used as an assistant by mathematicians to either counterexample or finitely verify open universal conjectures on any mathematical topic (e.g., graph and number ...

In 1995 J. C. Lagarias and Y. Wang conjectured that the generalized spectral radius of a finite set of matrices can be attained on a finite product of matrices. The first counterexample to this ...

Recent results on the composition of the stability boundary by N.A. Tsolas et al. (IEEE Trans. Circuits Syst., vol.CAS-32, no.10, pp.1041-9, Oct. 1985) and J. Zaborszky et al. (Proc. IFAC Symp. Power ...

Sungho Choi has criticised Michael Strevens’s counterexample to David Lewis’s final theory of “token” causation, causation as “influence.” I argue that, even if Choi’s points are correct, Strevens’s ...