Contribution: Presburger
Presburger's algorithm
Authors
- Laurent Théry
Description
A formalization of Presburger's algorithm as stated in the initial paper by Presburger.
Keywords
integers, arithmetic, decision procedure, presburger
Available files
- Presburger.PresTac.html
- Presburger.Elim.html
- Presburger.sTactic.html
- Presburger.Nat.html
- Presburger.Form.html
- Presburger.Cong.html
- Presburger.Option.html
- Presburger.GroundN.html
- Presburger.Normal.html
- Presburger.ReduceEq.html
- Presburger.Process.html
- Presburger.Zdivides.html
- Presburger.Lift.html
- Presburger.ReduceCong.html
- Presburger.Factor.html
- Presburger.PresTac_ex.html
- Presburger.Sort.html