C-XSC swMATH ID: 181 Software Authors: Lawo, Christian Description: 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. Homepage: http://www2.math.uni-wuppertal.de/~xsc/xsc/cxsc_software.html Keywords: programming language \(C\); numerical algorithms; numerical data types; \(C++\) compiler Related Software: C-XSC 2.0; INTLAB; PROFIL/BIAS; INTOPT_90; PASCAL-XSC; filib++; ACRITH-XSC; Mathematica; BLAS; LAPACK; ParLinSys; Matlab; INTLIB; mctoolbox; ScaLAPACK; FADBAD++; PNM; MPFI; RODES; Cosy Cited in: 114 Documents Standard Articles 3 Publications describing the Software, including 3 Publications in zbMATH Year C-XSC 2.0 – a C++ library for extended scientific computing. Zbl 1126.65328Hofschuster, Werner; Krämer, Walter 2004 C-XSC. A programming environment for verified scientific computing and numerical data processing. Zbl 0801.68020Lawo, Christian 1993 C-XSC. A C++ class library for extended scientific computing. Transl. by G. F. Corliss, C. Lawo, R. Klatte, A. Wiethoff, C. Wolff. Zbl 0814.68035Klatte, Rudi; Kulisch, Ulrich W.; Wiethoff, Andreas; Lawo, Christian; Rauch, Michael 1993 all top 5 Cited by 152 Authors 11 Krämer, Walter 9 Gazdag-Tóth, Boglárka 8 Csendes, Tibor 7 Fernandez Hernandez, Jose 6 Popova, Evgeniya D. 6 Tucker, Warwick 5 Kolberg, Mariana Luderitz 5 Plum, Michael 5 Rump, Siegfried Michael 4 Frommer, Andreas 4 Hashemi, Behnam 3 Aschemann, Harald 3 Casado, Leocadio G. 3 Fernandes, Luiz Gustavo 3 Hölbig, Carlos Amaral 3 Johnson, Tomas 3 Kubica, Bartłomiej Jacek 3 Kulisch, Ulrich W. 3 Ortigosa, Pilar M. 3 Pelegrín, Blas 3 Plastria, Frank 3 Rauh, Andreas 3 Redondo, Juani L. 3 Senkel, Luise 3 Sotiropoulos, Dimitris G. 3 Wiethoff, Andreas 2 Arrondo, Aránzazu Gila 2 Auer, Ekaterina 2 Bohlender, Gerd 2 Breuer, B. 2 Fernández, José-Jesús 2 García, Inmaculada F. 2 Grapsa, Theodoula N. 2 Kearfott, Baker 2 Klatte, Rudi 2 Lang, Bruno 2 Lawo, Christian 2 McKenna, Patrick Joseph 2 Mitrea, Irina 2 Moraes Claudio, Dalcidio 2 Neher, Markus 2 Ratz, Dietmar 2 Schulte, Michael J. 2 Swartzlander, Earl E. jun. 2 Ullrich, Christian P. 2 Walter, Eric 2 Wolff von Gudenberg, Jürgen 2 Žilinskas, Julius 1 Alefeld, Götz E. 1 Anton-Sanchez, Laura 1 Arendt, Luis P. 1 Baharev, Ali 1 Bánhelyi, Balázs 1 Barboza, L. V. 1 Beelitz, Thomas 1 Berner, Sonja 1 Bischof, Christian H. 1 Bréhard, Florent 1 Canadell, Marta 1 Carrizosa, Emilio 1 Chen, Chin-Yun 1 Chen, Xiaojun 1 Corliss, George F. 1 Coss, Owen 1 Csallner, András Erik 1 Cuyt, Annie A. M. 1 Dawande, Milind W. 1 de Dinechin, Florent 1 De Farias, C. M. 1 De Vargas, R. R. 1 Didrit, Olivier 1 Dimuro, Graçaliz Pereira 1 Diverio, Tiarajú Asmuz 1 Do Carmo, Andriele 1 Dubickas, Artūras 1 Dyllong, Eva 1 Fausten, Daniela 1 Figueras, Jordi-Lluís 1 Goualard, Frédéric 1 Hammer, Rolf 1 Haro, Àlex 1 Haßlinger, Gerhard 1 Hauenstein, Jonathan D. 1 Heuveline, Vincent 1 Hiraoka, Yasuaki 1 Hocks, Matthias 1 Hofschuster, Werner 1 Hong, Hoon 1 Hoshi, Takeo 1 Hu, Chenyi 1 Hyvönen, Eero 1 Jankauskas, Jonas 1 Jaulin, Luc 1 Kersten, Julia 1 Kieffer, Michel 1 Kiel, Stefan 1 Kobbelt, Leif 1 Kolev, Lubomir V. 1 Krämer Alcalde, Bernardo Frederes 1 Kristinsdottir, Birna P. ...and 52 more Authors all top 5 Cited in 54 Serials 7 Computing 7 Reliable Computing 6 Journal of Computational and Applied Mathematics 5 ACM Transactions on Mathematical Software 4 Journal of Global Optimization 4 Linear Algebra and its Applications 3 BIT 3 Journal of Differential Equations 3 Numerical Algorithms 2 Computers & Operations Research 2 Annals of Operations Research 2 European Journal of Operational Research 2 Computational and Applied Mathematics 2 Informatica (Vilnius) 2 Mathematics in Computer Science 2 PAMM. Proceedings in Applied Mathematics and Mechanics 2 Serdica Journal of Computing 1 Journal of Mathematical Analysis and Applications 1 Mathematical Biosciences 1 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) 1 Mathematics of Computation 1 Applied Mathematics and Computation 1 Integral Equations and Operator Theory 1 Journal of Optimization Theory and Applications 1 Mathematics and Computers in Simulation 1 Numerische Mathematik 1 Mitteilungen der Gesellschaft für Angewandte Mathematik und Mechanik 1 International Journal of Parallel Programming 1 IMA Journal of Mathematical Control and Information 1 SIAM Journal on Matrix Analysis and Applications 1 Japan Journal of Industrial and Applied Mathematics 1 International Journal of Adaptive Control and Signal Processing 1 Computational Statistics 1 Doklady Bolgarskoĭ Akademii Nauk 1 Mathematical Programming. Series A. Series B 1 Computational Optimization and Applications 1 Numerical Linear Algebra with Applications 1 European Journal of Control 1 Optimization Methods & Software 1 ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik 1 International Journal of Applied Mathematics and Computer Science 1 RAIRO. Theoretical Informatics and Applications 1 Communications in Contemporary Mathematics 1 Qualitative Theory of Dynamical Systems 1 The Journal of Logic and Algebraic Programming 1 OR Spectrum 1 SIAM Journal on Applied Dynamical Systems 1 TEMA. Tendências em Matemática Aplicada e Computacional 1 Pacific Journal of Optimization 1 Applied Mathematical Sciences 1 Decision Making in Manufacturing and Services 1 Optimization Letters 1 Albanian Journal of Mathematics 1 SIAM Journal on Applied Algebra and Geometry all top 5 Cited in 24 Fields 82 Numerical analysis (65-XX) 29 Operations research, mathematical programming (90-XX) 26 Computer science (68-XX) 7 Partial differential equations (35-XX) 6 Ordinary differential equations (34-XX) 6 Systems theory; control (93-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 2 Real functions (26-XX) 2 Functions of a complex variable (30-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 Statistics (62-XX) 2 Mechanics of deformable solids (74-XX) 1 Number theory (11-XX) 1 Algebraic geometry (14-XX) 1 Special functions (33-XX) 1 Approximations and expansions (41-XX) 1 Integral equations (45-XX) 1 Operator theory (47-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year