INTLAB Cited in 493 Documents (1999–2023) Software Authors: Rump, Siegfried M. Related Software: Matlab; mctoolbox; C-XSC 2.0; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
INTOPT_90 Cited in 304 Documents (1996–2021) Software Authors: Kearfott, R.Baker Related Software: INTLAB; PROFIL/BIAS; C-XSC; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ISOLATE Cited in 231 Documents (1999–2023) Software Authors: Rouillier, Fabrice; Zimmermann, Paul Related Software: Kronecker; FGb; Maple; … Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
RODES Cited in 137 Documents (2002–2023) Software Authors: Tucker, Warwick Related Software: INTLAB; CAPD; Taylor; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
PROFIL/BIAS Cited in 132 Documents (1979–2021) Software Authors: Knüppel, O. Related Software: INTOPT_90; C-XSC; INTLAB; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …
FEAST Cited in 95 Documents (2012–2023) Software Authors: Tang, Ping Tak Peter; Polizzi, Eric Related Software: CIRR; lobpcg.m; JDQZ; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Operator theory (47-XX); …
CAPD Cited in 78 Documents (2005–2023) Software Authors: Grzegorz Jablonski; Kapela, T., Mrozek, M., Pilarczyk, P., Wilczak, D., Zgliczyński, P. Related Software: RODES; Taylor; INTLAB; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
mpmath Cited in 68 Documents (2010–2023) Software Authors: Fredrik Johansson Related Software: SageMath; SciPy; SymPy; … Main Fields: Number theory (11-XX); Special functions (33-XX); Numerical analysis (65-XX); …
RealPaver Cited in 51 Documents (2003–2017) Software Authors: Laurent Granvilliers Related Software: Numerica; INTOPT_90; gaol; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ACRITH-XSC Cited in 48 Documents (1985–2019) Software Authors: Walter, Wolfgang V. Related Software: C-XSC; C-XSC 2.0; PASCAL-XSC; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
MPFI Cited in 43 Documents (1979–2022) Software Authors: Revol, Nathalie; Rouillier, Fabrice Related Software: MPFR; ISOLATE; gmp; … Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …
INTBIS Cited in 31 Documents (1990–2018) Software Authors: Kearfott, R.Baker; Novoa, Manuel III Related Software: INTLIB; IbexOpt; Numerica; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …
INTLIB Cited in 28 Documents (1992–2018) Software Authors: Kearfott, R.B.; Dawande, M.; Hu, C. Related Software: PROFIL/BIAS; INTLAB; C-XSC; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Classical thermodynamics, heat transfer (80-XX); …
Benchmarks Cited in 27 Documents (2005–2022) Software Authors: Ratschan, Stefan; She, Zhikun Related Software: RSOLVER; HSolver; HyTech; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX); …
RAMAS Risk Calc Cited in 18 Documents (2003–2022) Software Authors: Ferson S. Related Software: Statool; FEAPpv; eSTOMP; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
cc(FD) Cited in 18 Documents (1998–2022) Software Authors: Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves Related Software: CPLEX; Choco; COMET; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ValEncIA Cited in 19 Documents (2008–2020) Software Authors: Rauh, A. ;Hofer, E.P.; Auer, E. Related Software: ValEncIA-IVP; Cosy; FADBAD++; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …
CORA Cited in 15 Documents (2016–2022) Software Authors: Matthias Althoff, Niklas Kochdumper Related Software: SpaceEx; HYST; C2e2; … Main Fields: Ordinary differential equations (34-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …
Boost Interval Arithmetic Cited in 15 Documents (2005–2020) Software Authors: Brönnimann, Hervé; Melquiond, Guillaume; Pion, Sylvain Related Software: Boost; libMC; LINDOGlobal; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
gaol Cited in 13 Documents (2004–2020) Software Authors: Goualard, F. Related Software: PROFIL/BIAS; Numerica; RealPaver; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
IBEX Cited in 14 Documents (2009–2022) Software Authors: Chabert, G; Ninin, Jordan Related Software: Numerica; PROFIL/BIAS; filib++; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX); …
VPI Cited in 14 Documents (1993–2005) Software Authors: Ely, Jeffrey S. Related Software: Verilog; CADAC; C-XSC; … Main Fields: History and biography (01-XX); Functions of a complex variable (30-XX); Numerical analysis (65-XX); …
hikmot Cited in 13 Documents (2016–2023) Software Authors: Hoffman, Neil; Ichihara, Kazuhiro; Kashiwagi, Masahide; Masai, Hidetoshi; Oishi, Shin’ichi; Takayasu, Akitoshi Related Software: SnapPy; SnapPea; GitHub; … Main Fields: Algebraic topology (55-XX); Manifolds and cell complexes (57-XX); Global analysis, analysis on manifolds (58-XX); …
intpakX Cited in 12 Documents (2003–2023) Software Authors: Krämer, Walter Related Software: Maple; INTLAB; C-XSC 2.0; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX); …
VSDP Cited in 12 Documents (2009–2019) Software Authors: V. Härter; C. Jansson; M. Lange Related Software: Mosek; SeDuMi; YALMIP; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
INTERVAL_ARITHMETIC Cited in 9 Documents (1996–2017) Software Authors: Kearfott, R.Baker Related Software: INTLIB; INTOPT_90; Matlab; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Statistics (62-XX); …
INTPAK Cited in 9 Documents (1993–2006) Software Authors: Connell, Amanda E.; Corless, Robert M. Related Software: C-XSC 2.0; Maple; PNM; … Main Fields: Integral equations (45-XX); Numerical analysis (65-XX); Computer science (68-XX); …
MOBILE Cited in 9 Documents (2001–2010) Software Authors: Auer, Ekaterina; Kecskeméthy, Andrés; Tändl, Martin; Traczinski, Holger Related Software: PROFIL/BIAS; SmartMobile; TADIFF; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …
FORTRAN-XSC Cited in 8 Documents (1993–2000) Software Authors: Walter, W.V. Related Software: PASCAL-XSC; C-XSC; ACRITH-XSC; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ACETAF Cited in 7 Documents (2003–2019) Software Authors: Eble, Ingo; Neher, Markus Related Software: INTOPT_90; filib++; C-XSC 2.0; … Main Fields: Functions of a complex variable (30-XX); Special functions (33-XX); Ordinary differential equations (34-XX); …
CoStLy Cited in 6 Documents (2004–2018) Software Authors: Neher, Markus Related Software: INTLAB; C-XSC 2.0; filib++; … Main Fields: General and overarching topics; collections (00-XX); Functions of a complex variable (30-XX); Dynamical systems and ergodic theory (37-XX); …
b4m Cited in 6 Documents (2003–2013) Software Authors: Rump, Siegfried M.; Olaf Knüppel; J. Zemke Related Software: INTLAB; Matlab; mctoolbox; … Main Fields: Dynamical systems and ergodic theory (37-XX); General topology (54-XX); Numerical analysis (65-XX); …
CAMPARY Cited in 6 Documents (2016–2022) Software Authors: Mioara Joldes; Jean-Michel Muller; Valentina Popescu; Warwick Tucker Related Software: MPFR; CUDA; Flocq; … Main Fields: General and overarching topics; collections (00-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …
surface_dynamics Cited in 6 Documents (2020–2022) Software Authors: V. Delecroix, C. Fougeron, S. Lelievre Related Software: SageMath Main Fields: Algebraic geometry (14-XX); Functions of a complex variable (30-XX); Several complex variables and analytic spaces (32-XX); …
xrc Cited in 6 Documents (2004–2018) Software Authors: Keith Briggs Related Software: iRRAM; Python; CoreASM; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Numerical analysis (65-XX); …
GNU Fortran Cited in 5 Documents (1999–2019) Software Authors: – Related Software: BLAS; SimpleScalar; PROFIL/BIAS; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Real functions (26-XX); Ordinary differential equations (34-XX); …
CADAC Cited in 4 Documents (1983–2017) Software Authors: Cohen, Marty S.; Hull, T.E.; Hamacher, V.Carl Related Software: VPI; C-XSC; decNumber; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
coco_gop_ex Cited in 4 Documents (2014–2017) Software Authors: Markót, Mihály Csaba; Schichl, Hermann Related Software: COCONUT; BARON; ANTIGONE; … Main Fields: Operations research, mathematical programming (90-XX)
IntervalArithmetic.jl Cited in 3 Documents (2019–2023) Software Authors: Sanders, D. P., Benet, L. Related Software: Julia; GitHub; libMC; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …
Sherlock Cited in 4 Documents (2019–2022) Software Authors: Dutta, Souradeep; Chen, Xin; Jha, Susmit; Sankaranarayanan, Sriram; Tiwari, Ashish Related Software: ReachNN; Reluplex; GAZEBO; … Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …
DSI Toolbox Cited in 2 Documents (2012–2013) Software Authors: Auer E, Luther W, Rebner G, Limbourg P Related Software: Matlab; INTLAB; symrcm; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)
FloatingPointConversion Cited in 2 Documents (2013–2018) Software Authors: Malgorzata A. Jankowska Related Software: – Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
InC++ Cited in 3 Documents (2002–2017) Software Authors: Hyvönen, E., De Pascale, S. Related Software: INTOPT_90; JGloptLab; UniCalc; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
INT Cited in 3 Documents (1984–1992) Software Authors: Bundy, Alan Related Software: PRESS; MACSYMA Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Real functions (26-XX); …
Intsolver Cited in 3 Documents (2013–2018) Software Authors: Tiago Montanher Related Software: Flyspeck; Matlab; PASCAL-XSC; … Main Fields: Number theory (11-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX); …
KS1SidedOneSample Cited in 1 Document (2016) Software Authors: J. Randall Brown, Milton E. Harvey Related Software: ExactKS2SidedOneSample; Mathematica; TIMP; … Main Fields: Statistics (62-XX)
PolyPaver Cited in 3 Documents (2014–2018) Software Authors: Michal Konečný, Jan Duracz Related Software: CkAnalytic; Taylor; CAPD; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)
TopDeg Cited in 3 Documents (2015–2018) Software Authors: Peter Franek, Stefan Ratschan, Tomas Dzetkulic Related Software: PHAT; Gudhi; MetiTarski; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic topology (55-XX); Numerical analysis (65-XX); …
ExactKS2SidedOneSample Cited in 1 Document (2016) Software Authors: J. Brown; Milton Harvey Related Software: KS1SidedOneSample; TIMP; Maple; … Main Fields: Statistics (62-XX)
Interval arithmetic for Ada Cited in 2 Documents (2003) Software Authors: Dmitry A. Kazakov Related Software: Fuzzy sets for Ada; RAMAS Risk Calc; Statool Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Libaffa Cited in 1 Document (2008) Software Authors: Olivier Gay, David Coeurjolly, Nathan J. Hurst Related Software: PROFIL/BIAS Main Fields: Numerical analysis (65-XX)
Moore Cited in 1 Document (2019) Software Authors: Walter F. Mascarenhas Related Software: filib++; PROFIL/BIAS; MPFR; … Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
Octave Interval Cited in 2 Documents (2018–2020) Software Authors: Oliver Heimlich Related Software: kv; INTLAB; MPFR Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
RangeLab Cited in 2 Documents (2018–2021) Software Authors: Martel, M. Related Software: PRECiSA; Daisy; GitHub; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
SAM Cited in 2 Documents (2011–2020) Software Authors: Graillat, Stef; Jézéquel, Fabienne; Wang, Shiyue; Zhu, Yuxiang Related Software: CADNA; Algorithm 524; mctoolbox; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
ValidatedNumerics.jl Cited in 2 Documents (2021–2022) Software Authors: Benet, L., Sanders, D.P. Related Software: GitHub; gPROMS; Matlab; … Main Fields: Functional analysis (46-XX); Operator theory (47-XX); Numerical analysis (65-XX); …
AERN Cited in 1 Document (2014) Software Authors: Michal Konecny Related Software: PolyPaver; iRRAM Main Fields: Numerical analysis (65-XX)
DEQuadrature Cited in 1 Document (2015) Software Authors: R. M. Slevinsky Related Software: SC Toolbox; Julia; NEUTRAL; … Main Fields: Functions of a complex variable (30-XX); Numerical analysis (65-XX)
Easyval Cited in 1 Document (2005) Software Authors: Johan Vervloet Related Software: INTLAB; GlobSol; SpecialValue Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
FI_LIB Cited in 1 Document (2005) Software Authors: W. Hofschuster, W. Krämer Related Software: filib++; PROFIL/BIAS; C-XSC 2.0; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
FPTaylor Cited in 1 Document (2022) Software Authors: Solovyev, Alexey; Baranowski, Marek S.; Briggs Ian; Jacobsen, Charles; Rakamarić, Zvonimir; Gopalakrishnan, Ganesh Related Software: CRlibm; dReal; MetiTarski; … Main Fields: Computer science (68-XX)
Kodiak Cited in 1 Document (2021) Software Authors: Marco A. Feliu; Aaron M. Dutle; Cesar A. Munoz; et al. Related Software: ReachNN; Kaa; Sapo; … Main Fields: Computer science (68-XX)
MNPVfuzzy Cited in 1 Document (2012) Software Authors: Sampaio Filho, Antonio Carlos; Vellasco, Marley; Tanscheit, Ricardo Related Software: Excel Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Picoso Cited in 1 Document (2012) Software Authors: Kalinnik, N., Schubert, T., Ábrahám, E., Wimmer, R., Becker, B. Related Software: MiniSat; SATO; Lingeling; … Main Fields: Operations research, mathematical programming (90-XX)
pybedtools Cited in 0 Documents Software Authors: Ryan K. Dale; Brent S. Pedersen; Aaron R. Quinlan Related Software: valr; Travis CI; testthat; … Main Fields: –
pyIbex Cited in 1 Document (2021) Software Authors: L. Jaulin, F. Le Bars, C. Aubry, V. Drevelle, S. Rohou, T. Le Mézo Related Software: Tubex; GitHub; IntervalArithmetic.jl; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Systems theory; control (93-XX)
PyInterval Cited in 1 Document (2020) Software Authors: Stefano Taschini Related Software: C2e2; GitHub; Matlab; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
UnstableManifoldCompactMap Cited in 1 Document (2017) Software Authors: Mireles-James, J.D. Related Software: INTLAB; Matlab Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
valr Cited in 0 Documents Software Authors: Jay Hesselberth, Kent Riemondy Related Software: Travis CI; testthat; BEDTools; … Main Fields: –
YalAA Cited in 0 Documents Software Authors: Kiel, S Related Software: IbexOpt; V-Clip; Ipopt; … Main Fields: –
ATCase Cited in 0 Documents Software Authors: Wang, Lilei; Zeng, Xia; Lin, Wang; Chen, Xin; Yang, Zhengfeng Related Software: – Main Fields: –