"topic:horner-method" — Search

1 results for “topic:horner-method”

Horner's method as universal fold: polynomial evaluation, tuple encoding, and fold/unfold duality across Lisp dialects (Guile, Chez, Racket, Clojure, Janet, Elisp) with formal verification in Alloy, TLA+, and Lean4

Tree-sitter Query00Updated 3 days ago

alloybase-conversioncatamorphismclojureemacs-lispfold-unfoldformal-verificationfunctional-programmingguilehorner-methodjanet-langlean4literate-programmingorg-modepolynomial-evaluationrabin-karpracketschemetlaplustuple-encoding