Mathematical Library for Critical Systems

5 views
Skip to first unread message

Tim Daly

unread,
Jan 13, 2023, 7:50:26 AM1/13/23
to FriCAS - computer algebra system

This library contains interesting standard function implementations.

This is the mathematical library for critical systems (LibmCS).

It has been developed in compliance with the European Cooperation for Space Standardization (ECSS) standards E-ST-40 and Q-ST-80 to criticality Category B and it is also compliant to the standards:

  • IEEE-754,
  • C18,
  • POSIX, and
  • MISRA C
The code repo is here: https://gitlab.com/gtd-gmbh/libmcs
Reply all
Reply to author
Forward
0 new messages