Found 15 Software Packages (Results 1–15)


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)


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)


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)


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)


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)


Software Authors:   R. Liska; L. Drsda
Cited in: 4 Publications (1989–2012)
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)


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)


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)


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)


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)


Software Authors:   Mokbel Karam; James C. Sutherland; James C. Sutherland
Cited in: 0 Publications
Related Software: SymPy; Python
Main Fields:


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)


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)


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)


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)