Algolib Software Authors: Algo team at INRIA Cited in: 5 Publications (2004–2022) Related Software: Maple; OEIS; HOL Light; Coq; gdev; Coq-Combi; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Number theory (11-XX)
BLASFEO Software Authors: Gianluca Frison, Dimitris Kouzoupis, Andrea Zanelli, Moritz Diehl Cited in: 7 Publications (2018–2022) Related Software: OpenBLAS; qpOASES; ACADO; qpDUNES; LAPACK; OSQP; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
CAOP Software Authors: Koepf, W., Swarttouw, R. Cited in: 5 Publications (2012–2021) Related Software: retode; OPQ; DLMF; Mathematica; DEtools; SumTools; … Main Fields: Special functions (33-XX); Harmonic analysis on Euclidean spaces (42-XX); Operator theory (47-XX)
expmARPACK Software Authors: Botchev, Mikhail A. Cited in: 9 Publications (2016–2021) Related Software: Expokit; mftoolbox; phipm; Algorithm 919; Expint; MATLAB expm; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
FDCD Software Authors: Gao, Min; Kato, Yasuyuki; Ito, Masaaki Cited in: 3 Publications (2002–2009) Related Software: CONDENS; InvariantsSymmetries; REDUCE; Maple; TransPDEDensityFlux; DifferentialGeometry; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Difference and functional equations (39-XX)
FIDE Software Authors: R. Liska; L. Drsda Cited in: 4 Publications (1989–2012) Related Software: QEPCAD; REDUCE; REDLOG; SINGULAR Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
Ginv Software Authors: Blinkov, Yu.A.; Gerdt, V.P. Cited in: 8 Publications (2006–2014) Related Software: Janet; Maple; AlgebraicThomas; DIFFALG; DifferentialThomas; RegularChains; … Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Partial differential equations (35-XX)
iNA Software Authors: Thomas, P., Matuschek, H., Grima, R. Cited in: 4 Publications (2015–2018) Related Software: CERENA; StochKit2; Matlab; LNA++; GitHub; Python; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
LaunchSlave Software Authors: Ganzha, V. G.; Vorozhtsov, E. V. Cited in: 1 Publication (1999) Related Software: MathLink; Mathematica Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)
OreTools Software Authors: Abramov, S.A., Le, H.Q., Li, Z Cited in: 5 Publications (2005–2020) Related Software: HolonomicFunctions; olga.lib; Plural; SINGULAR; JAS; SageMath; … Main Fields: Associative rings and algebras (16-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
PyModPDE Software Authors: Mokbel Karam; James C. Sutherland; James C. Sutherland Cited in: 0 Publications Related Software: SymPy; Python Main Fields: –
Special_Function_Bounds Software Authors: Lawrence C. Paulson Cited in: 1 Publication (2019) Related Software: MetiTarski; Coq; Archive Formal Proofs; Algebraic Numbers; Sledgehammer; HOL; … Main Fields: Field theory and polynomials (12-XX); Computer science (68-XX)
sumit Software Authors: Bronstein, Manuel Cited in: 1 Publication (2002) Related Software: ALDOR; Maple Main Fields: Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)
UNAMALLA Software Authors: Barrera-Sánchez, Pablo Cited in: 7 Publications (2003–2013) Related Software: Matlab; Mesquite; LSNNO Main Fields: Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX); Classical thermodynamics, heat transfer (80-XX)
VeriSIMPL Software Authors: Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro Cited in: 3 Publications (2015–2018) Related Software: Algorithm 97; opaal; Ellipsoidal Toolbox; MPT; FaPAS; Maxplus; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Systems theory; control (93-XX)