SENAC

swMATH846MaRDI QIDQ13591FDOQ13591

Author name not available (Why is that?)

Official website: http://www.computeralgebra.nl/systemsoverview/general/senac/senacoverview.html

Described by source

• SENAC

Cited In (5)

• Title not available (Why is that?)
• The need for knowledge and reliability in numeric computation: Case study of multivariate Padé approximation
• Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties
• Model checking of time Petri nets using the state class timed automaton
• Fast floating-point processing in Common Lisp

This page was built for software: SENAC