PASCAL-XSC

PASCAL-XSC: PASCAL for Extended Scientific Computing. The programming language PASCAL-XSC was developed to supply a powerful tool for the numerical solution of scientific problems based upon a properly defined and implemented computer arithmetic in the usual spaces of numerical computation.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 103 articles , 4 standard articles )

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

1 2 3 4 5 6 next

  1. Marciniak, Andrzej; Jankowska, Malgorzata A.: Interval versions for special kinds of explicit linear multistep methods (2020)
  2. Kulisch, Ulrich: Mathematics and speed for interval arithmetic. a complement to IEEE 1788 (2019)
  3. Marciniak, Andrzej; Jankowska, Malgorzata A.: Interval versions of Milne’s multistep methods (2018)
  4. Rump, Siegfried M.: Mathematically rigorous global optimization in floating-point arithmetic (2018)
  5. Syaripuddin; Suprajitno, Herry; Fatmawati: Solution of quadratic programming with interval variables using a two-level programming approach (2018)
  6. Gawali, D. D.; Zidna, Ahmed; Nataraj, P. S. V.: Algorithms for unconstrained global optimization of nonlinear (polynomial) programming problems: the single and multi-segment polynomial B-spline approach (2017)
  7. Marciniak, Andrzej; Jankowska, Malgorzata A.; Hoffmann, Tomasz: On interval predictor-corrector methods (2017)
  8. Koupaei, J. Alikhani; Hosseini, S. M. M.: A new hybrid algorithm based on chaotic maps for solving systems of nonlinear equations (2015)
  9. Suprajitno, Herry: Solving multiobjective linear programming problem using interval arithmetic (2012)
  10. Schnurr, Marco: A second-order pruning step for verified global optimization (2009)
  11. Chen, Chin-Yun: Bivariate product cubature using peano kernels for local error estimates (2008)
  12. Chen, Chin-Yun: Verified computed Peano constants and applications in numerical quadrature (2007)
  13. Neher, Markus: Verified integration of linear (n)th order ODEs using large steps (2007)
  14. Chen, Chin-Yun: Computing interval enclosures for definite integrals by application of triple adaptive strategies (2006)
  15. Mayer, Günter: A contribution to the feasibility of the interval Gaussian algorithm (2006)
  16. Kolberg, Mariana Lüderitz; Hölbig, Carlos Amaral; Bohlender, Gerd; Claudio, Dalcidio Moraes: New accurate expressions in C-XSC (2004)
  17. Heindl, G.: Best possible componentwise parameter inclusions computable from a priori estimates, measurements, and bounds for the measurement errors (2003)
  18. Schäfer, Uwe: Aspects for a block version of the interval Cholesky algorithm (2003)
  19. Csallner, Andras Erik; Klatte, Rudi; Ratz, Dietmar; Wiethoff, Andreas: Interval methods for global optimization using the boxing method (2001)
  20. Neher, Markus: Validated bounds for Taylor coefficients of analytic functions (2001)

1 2 3 4 5 6 next