MPFI

library for arbitrary precision interval arithmetic
CreativeWork mathematical_software Q133930706
Press Enter · cited answer in seconds

MPFI

Summary

MPFI is a mathematical software[1]. MPFI is known by 3 alternative names across languages and contexts.[2]

Key Facts

  • MPFI is the creator of Nathalie Revol[3].
  • MPFI is the creator of Fabrice Rouillier[4].
  • MPFI's instance of is recorded as mathematical software[5].
  • MPFI's instance of is recorded as software library[6].
  • MPFI's instance of is recorded as free software[7].
  • MPFI's maintained by is recorded as Institut National de Recherche en Informatique et en Automatique[8].
  • MPFI's based on is recorded as GNU MPFR[9].
  • MPFI's copyright license is recorded as GNU Lesser General Public License, version 2.1 or later[10].
  • MPFI's copyright license is recorded as GNU Library General Public License, version 2.0 or later[11].
  • MPFI's programmed in is recorded as Q15777[12].
  • MPFI's operating system is recorded as Q3251801[13].
  • MPFI's operating system is recorded as BSD[14].
  • MPFI's operating system is recorded as macOS[15].
  • MPFI's operating system is recorded as Unix-like operating system[16].
  • +2000-00-00T00:00:00Z marks the founding of MPFI[17].
  • MPFI's contributor to the creative work or subject is recorded as Nathalie Revol[18].
  • MPFI's contributor to the creative work or subject is recorded as Fabrice Rouillier[19].
  • MPFI's contributor to the creative work or subject is recorded as Sylvain Chevillard[20].
  • MPFI's contributor to the creative work or subject is recorded as Christoph Lauter[21].
  • MPFI's contributor to the creative work or subject is recorded as Hong Diep Nguyen[22].
  • MPFI's contributor to the creative work or subject is recorded as Philippe Theveny[23].
  • MPFI's official website is recorded as https://gitlab.inria.fr/mpfi/mpfi[24].
  • MPFI's official website is recorded as https://perso.ens-lyon.fr/nathalie.revol/software.html[25].
  • MPFI's main subject is recorded as interval arithmetic[26].
  • MPFI's source code repository URL is recorded as https://gitlab.inria.fr/mpfi/mpfi.git[27].

Body

Authorship and Creation

Created works include Nathalie Revol[3], a computer scientist[28], b. 1967[29], of France[30], specialised in informatics[31] and Fabrice Rouillier[4], a researcher[32], of France[33].

Subject and Themes

MPFI's main subject is recorded as interval arithmetic[26].

Why It Matters

MPFI is known by 3 alternative names across languages and contexts.[2]

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [5] . wikidata.org.
  2. [6] . wikidata.org.
  3. [7] . wikidata.org.
  4. [8] . wikidata.org.
  5. [9] . The MPFI Library: Towards IEEE 1788–2015 Compliance. Retrieved . wikidata.org.
  6. [3] . The MPFI Library: Towards IEEE 1788–2015 Compliance. Retrieved . wikidata.org.
  7. [4] . The MPFI Library: Towards IEEE 1788–2015 Compliance. Retrieved . wikidata.org.
  8. [10] . GNU Guix. Retrieved . wikidata.org.
  9. [11] . gitlab.inria.fr. Retrieved . gitlab.inria.fr. Provenance: wikidata.org.
  10. [12] . wikidata.org.
  11. [13] . wikidata.org.
  12. [14] . wikidata.org.
  13. [15] . wikidata.org.
  14. [16] . wikidata.org.
  15. [17] . The MPFI Library: Towards IEEE 1788–2015 Compliance. Retrieved . wikidata.org.
  16. [18] . wikidata.org.
  17. [19] . who.rocq.inria.fr. Retrieved . who.rocq.inria.fr. Provenance: wikidata.org.
  18. [20] . The MPFI Library: Towards IEEE 1788–2015 Compliance. Retrieved . gitlab.inria.fr. Provenance: wikidata.org.
  19. [21] . The MPFI Library: Towards IEEE 1788–2015 Compliance. Retrieved . gitlab.inria.fr. Provenance: wikidata.org.
  20. [22] . The MPFI Library: Towards IEEE 1788–2015 Compliance. Retrieved . gitlab.inria.fr. Provenance: wikidata.org.
  21. [23] . The MPFI Library: Towards IEEE 1788–2015 Compliance. Retrieved . gitlab.inria.fr. Provenance: wikidata.org.
  22. [24] . wikidata.org.
  23. [25] . wikidata.org.
  24. [26] . wikidata.org.
  25. [27] . wikidata.org.

Inline context (facts about related entities)

  1. [28] . Wikidata. wikidata.org. → on this site
  2. [29] . Wikidata. wikidata.org. → on this site
  3. [30] . Wikidata. wikidata.org. → on this site
  4. [31] . Wikidata. wikidata.org. → on this site
  5. [32] . Wikidata. wikidata.org. → on this site
  6. [33] . Wikidata. wikidata.org. → on this site

Class ancestry

  1. [1] . Wikidata. wikidata.org.

Aggregate / graph-position facts

  1. [2] . Wikidata aliases. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). MPFI. Retrieved May 3, 2026, from https://4ort.xyz/entity/mpfi
MLA “MPFI.” 4ort.xyz Knowledge Graph, 4ort.xyz, 3 May. 2026, https://4ort.xyz/entity/mpfi.
BibTeX @misc{4ortxyz_mpfi_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{MPFI}}, year = {2026}, url = {https://4ort.xyz/entity/mpfi}, note = {Accessed: 2026-05-03}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): MPFI — https://4ort.xyz/entity/mpfi (retrieved 2026-05-03)

Canonical URL: https://4ort.xyz/entity/mpfi · Last refreshed: