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