Towards Mechanized Mathematical Assistants

Davenport, J. H. (2007). Towards Mechanized Mathematical Assistants. Springer.

Type

Book

Intellectual base

Review or monograph

Year

2007

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Liouvillian function
  • Equivalent informal descriptions by arithmetic, composition and integration require a fixed base differential field; the class is closed under differentiation and integration but not arbitrary limits or infinite sums.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:ecc5b75018a0 · see in the full table