scientific article; zbMATH DE number 5298331

zbMATH Open1155.93007MaRDI QIDQ3511031FDOQ3511031

Authors:

Publication date: 4 July 2008

Title of this publication is not available (Why is that?)

Recommendations

• Toward an algebraic theory of systems
• scientific article; zbMATH DE number 1531926
• On the construction of free algebras for equational systems
• Constructive universal algebra: An introduction
• scientific article; zbMATH DE number 3285193
• On constructive connectives and systems
• Equational Systems and Free Constructions (Extended Abstract)
• scientific article; zbMATH DE number 2182597
• scientific article; zbMATH DE number 3862421
• Formal systems of constructive mathematics

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to partial differential equations (35-06) Proceedings, conferences, collections, etc. pertaining to ordinary differential equations (34-06) Proceedings, conferences, collections, etc. pertaining to dynamical systems and ergodic theory (37-06) Proceedings, conferences, collections, etc. pertaining to systems and control theory (93-06)

Cited In (3)

• Pricing derivatives on multiple assets: recombining multinomial trees based on Pascal's simplex
• Multidimensional realisation theory and polynomial system solving
• Efficiency improvement in an \(n\)D systems approach to polynomial optimization

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3511031)