VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities.
Zhengfeng YangHanrui ZhaoLihong ZhiPublished in: J. Syst. Sci. Complex. (2023)
Keyphrases
- building blocks
- polynomial equations
- complex systems
- information retrieval
- real life
- neural network
- knowledge based systems
- expert systems
- information systems
- artificial intelligence
- management system
- distributed systems
- peer to peer
- intelligent systems
- computer systems
- search engine
- real world
- retrieval systems
- partial differential equations
- solution space
- linear systems
- numerical algorithms
- real time