maths/PRESS
View on GitHub ↗ ★ 30 Prolog
PRolog Equation Solving System
5 mentions on Hacker News by 1 person: 0 stories, 5 comments · first 2019-08-24 · latest 2022-04-29
20082026
-
…equations with PRESS" https://www.sciencedirect.com/science/article/pii/S074771718... Source: https://github.com/maths/PRESS - - - - BTW, Does anyone know where I can find the source for MIXTUS partial evaluation system?
comment by carapace · 2022-04-29 · in Ask HN: What are some interesting examples of Prolog? -
…field of symbolic and algebraic manipulation. https://dream.inf.ed.ac.uk/software/press/ And: https://github.com/maths/PRESS > This directory contains a copy of the PRESS ... modified to run on SWI Prolog
comment by carapace · 2020-02-24 · in Legible Mathematics: Sketches of interactive arithmetic for programming (2014) -
…and algebraic manipulation. https://www.sciencedirect.com/science/article/pii/S074771718... https://github.com/maths/press I'm not trying to promote Prolog over TLA+ or anything, I've only just started with TLA+.
comment by carapace · 2019-08-30 · in Learning to prove theorems via interacting with proof assistants -
…and algebraic manipulation. https://www.sciencedirect.com/science/article/pii/S074771718... https://github.com/maths/press
comment by carapace · 2019-08-25 · in Adventure in Prolog Tutorial (2016) -
…controlling search in automatic theorem proving by using meta-level descriptions and strategies https://github.com/maths/PRESS A lot of this stuff was/is done/doable in Prolog. I've been looking at TLA+ recently and although I'm not to far…
comment by carapace · 2019-08-24 · in Learning to prove theorems via interacting with proof assistants