C-XSC. A programming environment for verified scientific computing and numerical data processing. C-XSC is a tool for the development of numerical algorithms delivering highly accurate and automatically verified results. It provides a large number of predefined numerical data types and operators. These types are implemented as C++ classes. Thus, C-XSC allows high-level programming of numerical applications in C and C++. The C-XSC package is available for all computers with a C++ compiler translating the AT&T language standard 2.0.

References in zbMATH (referenced in 110 articles , 3 standard articles )

Showing results 1 to 20 of 110.
Sorted by year (citations)

1 2 3 4 5 6 next

  1. Carrizosa, Emilio; Messine, Frédéric: An interval branch and bound method for global robust optimization (2021)
  2. Petrone, Giovanni; Spagnuolo, Giovanni; Zamboni, Walter; Siano, Raffaele: An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic (2021)
  3. Frommer, Andreas; Hashemi, Behnam: Computing enclosures for the matrix exponential (2020)
  4. Hoshi, Takeo; Ogita, Takeshi; Ozaki, Katsuhisa; Terao, Takeshi: An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations (2020)
  5. Coss, Owen; Hauenstein, Jonathan D.; Hong, Hoon; Molzahn, Daniel K.: Locating and counting equilibria of the Kuramoto model with rank-one coupling (2018)
  6. Baharev, Ali; Schichl, Hermann; Rév, Endre: Computing the noncentral-(F) distribution and the power of the (F)-test with guaranteed accuracy (2017)
  7. Fernández, José; Tóth, Boglárka G.; Redondo, Juana L.; Ortigosa, Pilar M.; Arrondo, Aránzazu Gila: A planar single-facility competitive location and design problem under the multi-deterministic choice rule (2017)
  8. Mitrea, Irina; Ott, Katharine; Tucker, Warwick: Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions (2017)
  9. Pacella, Filomena; Plum, Michael; Rütters, Dagmar: A computer-assisted existence proof for Emden’s equation on an unbounded (L)-shaped domain (2017)
  10. Haro, Àlex; Canadell, Marta; Figueras, Jordi-Lluís; Luque, Alejandro; Mondelo, Josep-Maria: The parameterization method for invariant manifolds. From rigorous results to effective computations (2016)
  11. Rauh, Andreas; Senkel, Luise; Kersten, Julia; Aschemann, Harald: Reliable control of high-temperature fuel cell systems using interval-based sliding mode techniques (2016)
  12. Kolberg, Mariana; Bohlender, Gerd; Fernandes, Luiz Gustavo: An efficient approach to solve very large dense linear systems with verified computing on clusters. (2015)
  13. Arrondo, A. G.; Fernández, J.; Redondo, J. L.; Ortigosa, P. M.: An approach for solving competitive location problems with variable demand using multicore systems (2014)
  14. Bánhelyi, Balázs; Csendes, Tibor; Krisztin, Tibor; Neumaier, Arnold: Global attractivity of the zero solution for Wright’s equation (2014)
  15. Frommer, Andreas; Hashemi, Behnam; Sablik, Thomas: Computing enclosures for the inverse square root and the sign function of a matrix (2014)
  16. Goualard, Frédéric: How do you compute the midpoint of an interval? (2014)
  17. Rauh, Andreas; Senkel, Luise; Auer, Ekaterina; Aschemann, Harald: Interval methods for real-time capable robust control of solid oxide fuel cell systems (2014)
  18. Senkel, Luise; Rauh, Andreas; Aschemann, Harald: Sliding mode techniques for robust trajectory tracking as well as state and parameter estimation (2014)
  19. Hölbig, Carlos A.; Do Carmo, Andriele; Arendt, Luis P.: High accuracy and interval arithmetic on multicore processors (2013)
  20. Krämer, Walter: High performance verified computing using C-XSC (2013)

1 2 3 4 5 6 next