WolframAlpha computational knowledge AI
cf theorems that hold for regular continued fractions