hardmath

Knoxville, TN

Enjoys programming in Prolog.

Richard O'Keefe: "Prolog is an efficient programming language because it is a very stupid theorem prover."

When I cross the street, I look both ways: up and dn.

top accounts reputation activity subscriptions

Add an "I don't understand" option for review audits

feature-request review-audits disputed-review-audits asked Jul 14, 2013 at 14:26

meta.stackexchange.com

21 votes

Visited Calendar pop out on user activity pages missing

bug status-review profile-page visited-days calendar asked Aug 29 at 3:41

meta.stackexchange.com

18 votes

Research funding for health benefits by coffee trade associations

health trade-association asked Mar 4, 2015 at 22:26

coffee.stackexchange.com

17 votes

WLOG reasoning and Proof Assistants

program-extraction equivalence-relation program-correctness without-loss-of-generality asked Feb 23, 2022 at 20:36

proofassistants.stackexchange.com

17 votes

So many data types, so little time

type-theory learning asked Mar 2, 2022 at 3:54

proofassistants.stackexchange.com

14 votes

Using CPLEX "solution pool" to count feasible points

mixed-integer-programming feasible-points cplex asked Jun 3, 2019 at 4:56

or.stackexchange.com

12 votes

Two SO Questions, each marked as Duplicate of the other

discussion exact-duplicates asked Nov 5, 2013 at 0:14

meta.stackexchange.com

10 votes

Who was V. Viskovatov?

math-history asked May 13, 2013 at 16:03

math.stackexchange.com

10 votes

Continued fraction expansion related to exponential generating function

algorithms power-series special-functions continued-fractions bernoulli-numbers asked Apr 30, 2013 at 22:29

math.stackexchange.com

10 votes

Centralizer of a specific permutation

combinatorics group-theory asked Mar 7, 2012 at 3:28

math.stackexchange.com

Top Answers

213

The program can't start because libgcc_s_dw2-1.dll is missing

stackoverflow.com

Can two topological spaces surject onto each other but not be homeomorphic?

math.stackexchange.com

What is the difference between == and = in Prolog?

stackoverflow.com

I need to calculate $x^{50}$

math.stackexchange.com

How does a non-technical manager add value to team of self-motivated software developers?

softwareengineering.stackexchange.com

org.xml.sax.SAXParseException: Content is not allowed in prolog

stackoverflow.com

What's the difference between predicate and propositional logic?

math.stackexchange.com

Fastest way to calculate $e^x$ up to arbitrary number of decimals?

math.stackexchange.com

Find the inverse of a submatrix of a given matrix

math.stackexchange.com

Why there are $11$ non-isomorphic graphs of order $4$?

math.stackexchange.com

Determining a matrix from its characteristic polynomial

math.stackexchange.com

What are some theorems that currently only have computer-assisted proofs?

math.stackexchange.com

Prolog - how to check if a list includes certain elements?

stackoverflow.com

What is a possible use case of BigInteger's .isProbablePrime()?

stackoverflow.com

Why can't Householder reflections diagonalize a matrix?

scicomp.stackexchange.com

Slang names for souteneur

english.stackexchange.com

Can a group have more subgroups than it has elements?

math.stackexchange.com

Does $R[x] \cong S[x]$ imply $R \cong S$?

math.stackexchange.com

Rabin and Shallit Algorithm

math.stackexchange.com

If a matrix is triangular, is there a quicker way to tell if it is can be diagonalized?

math.stackexchange.com

Get location of vector/circle intersection?

math.stackexchange.com

Is there a planar graph that (almost) all its vertices have degree 6?

math.stackexchange.com

Is Kopi Luwak safe to drink?

coffee.stackexchange.com

Homeomorphism of the unit disk onto itself which does not extend to the boundary

math.stackexchange.com

Invertibility, eigenvalues and singular values

math.stackexchange.com

Algorithm to find points that are furthest apart -- better than O(n^2)?

stackoverflow.com

Fitting one set of points to another by a rigid motion

scicomp.stackexchange.com

Dobble card game - mathematical background

math.stackexchange.com

Color an $n\times n$ square with $n$ colors

math.stackexchange.com

Prolog implying a negative predicate

stackoverflow.com