Revision as of 04:34, 30 December 2021 edit PaleoNeonate (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 29,743 edits See also: +Lambda calculus Tag: Reverted ← Previous edit		Revision as of 11:28, 30 December 2021 edit undo Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits Undid revision 1062726893 by PaleoNeonate (talk): I don't see why Lambda calculus is relevant here Tag: Undo Next edit →
Line 88: * [[Computational algebraic geometry]] * [[Computer algebra system]] * [[Lambda calculus]] * [[Proof checker]] * [[Model checker]]

Computer algebra: Difference between revisions