scientific article
From MaRDI portal
Publication:3002926
zbMath1218.68206MaRDI QIDQ3002926
Publication date: 24 May 2011
Full work available at URL: https://eudml.org/doc/11376
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
symbolic computationdynamical systemmathematical softwarecomputer-assisted proofs\texttt{C-XSC}\texttt{intpakX}self-validating numerical methodsverified periodic orbit
Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to computer science (68-04) Software, source code, etc. for problems pertaining to numerical analysis (65-04)
Related Items
Uses Software