Fermat Cited in 43 Documents (1997–2022) Software Authors: Dr. Robert H. Lewis http://www.bway.net/~lewis Related Software: FORM; Reduze; Maple; … Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …
Zinc Cited in 28 Documents (2005–2022) Software Authors: Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark Related Software: Essence; MiniZinc; Gecode; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX); …
mpFq Cited in 20 Documents (2008–2022) Software Authors: Gaudry, P., Thomé, E. Related Software: eBACS; Curve25519; eBASH; … Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-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); …
SmartMobile Cited in 14 Documents (2008–2014) Software Authors: Auer, Ekaterina; Luther, Wolfram Related Software: ValEncIA-IVP; FADBAD++; ValEncIA; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX); …
RealLib Cited in 15 Documents (2006–2022) Software Authors: Lambov, Branimir Related Software: iRRAM; RZ; OCaml; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Measure and integration (28-XX); …
Barreto-Naehrig Cited in 14 Documents (2010–2022) Software Authors: Beuchat, Jean-Luc; Gonz'alez-D{'i}az, Jorge E.; Mitsunari, Shigeo; Okamoto, Eiji; Rodr{'i}guez-Henr{'i}quez, Francisco; Teruya, Tadanori Related Software: gRPC; GitHub; SageMath; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …
Cogent Cited in 11 Documents (2005–2018) Software Authors: Cook, Byron; Kroening, Daniel; Sharygina, Natasha Related Software: SatAbs; SIMPLIFY; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
FireFly Cited in 13 Documents (2019–2023) Software Authors: Jonas Klappert, Fabian Lange Related Software: Kira; FIRE; LiteRed; … Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX); …
ore_algebra Cited in 13 Documents (2015–2021) Software Authors: Kauers, Manuel; Jaroschek, Maximilian; Johansson, Fredrik Related Software: SageMath; DLMF; gfun; … Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Special functions (33-XX); …
cqt-toolbox Cited in 12 Documents (2019–2023) Software Authors: Bini, Dario; Massei, Stefano; Robol, Leonardo Related Software: mftoolbox; Matlab; Matrix Means Toolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Operator theory (47-XX); …
Beaver Cited in 9 Documents (2010–2021) Software Authors: Sanjit Seshia Related Software: Yices; z3; CVC4; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
CoxIter Cited in 10 Documents (2015–2023) Software Authors: Guglielmetti, R. Related Software: PARI/GP; SageMath; Mathematica Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Topological groups, Lie groups (22-XX); …
Givaro Cited in 7 Documents (1997–2016) Software Authors: Thierry Gautier, Jean-Louis Roch, Gilles Villard Related Software: LinBox; SageMath; FFLAS-FFPACK; … Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-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); …
Algorithm 722 Cited in 5 Documents (1993–2017) Software Authors: Cody, W.J.; Coonen, Jerome T. Related Software: MACHAR; INTLIB; Matlab; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Real functions (26-XX); Statistics (62-XX); …
SLICE Cited in 5 Documents (1986–2000) Software Authors: Williams, T. W. C. Related Software: SLICE; CherryPi; LINPACK; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …
FaCiLe Cited in 3 Documents (2005–2009) Software Authors: Barnier, N., Brisset, P. Related Software: Choco; ProB; Gecode; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); 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); …
Caravel Cited in 3 Documents (2020–2021) Software Authors: S. Abreu, J. Dormans, F. Febres Cordero, H. Ita, M. Kraus, B. Page, E. Pascual, M. S. Ruf, V. Sotnikov Related Software: FIRE; FiniteFlow; DiffExp; … Main Fields: Numerical analysis (65-XX); Quantum theory (81-XX)
LMBOPT Cited in 3 Documents (2022) Software Authors: Kimiaei, Morteza; Neumaier, Arnold; Azmi, Behzad Related Software: CUTEst; LBFGS-B; CG_DESCENT; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
Incompleteness Theorems Cited in 2 Documents (2015–2018) Software Authors: Lawrence C. Paulson Related Software: Archive Formal Proofs; Isabelle/HOL; GitHub; … Main Fields: Mathematical logic and foundations (03-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)
Robinson arithmetic Cited in 2 Documents (2020–2021) Software Authors: Popescu, A., Traytel, D. Related Software: Archive Formal Proofs; Locales; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-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); …
VS2DT Cited in 2 Documents (2011–2017) Software Authors: Healy R W, Ronan A D. Related Software: EnKF; HYDRUS; CVODE Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Geophysics (86-XX); …
calculus Cited in 0 Documents Software Authors: Emanuele Guidotti Related Software: reticulate; difNLR; microbenchmark; … Main Fields: –
cvec Cited in 0 Documents Software Authors: Max Neunhöffer Related Software: Forms; orb; Genss; … Main Fields: –
2dhf Cited in 1 Document (2013) Software Authors: Kobus, Jacek Related Software: – Main Fields: Numerical analysis (65-XX); Quantum theory (81-XX)
ENDRE Cited in 1 Document (2010) Software Authors: Doron Zeilberger Related Software: – Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX)
HyperellipticIsogeny Cited in 1 Document (2023) Software Authors: Eid, Elie Related Software: Magma Main Fields: Number theory (11-XX)
krylov-adr Cited in 1 Document (2022) Software Authors: Schoutrop, Chris; ten Thije Boonkkamp, Jan; van Dijk, Jan Related Software: IDRStab; Eigen; COMSOL; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)
metaQASM Cited in 1 Document (2019) Software Authors: Amy, Matthew Related Software: cQASM; QPL; PyZX; … Main Fields: Computer science (68-XX); Quantum theory (81-XX)
MinimalRealization Cited in 1 Document (2014) Software Authors: Adukov, V.M.; Fadeeva, A.S. Related Software: Maple Main Fields: Systems theory; control (93-XX)
MSSMOBILE Cited in 1 Document (2010) Software Authors: Auer, E. Related Software: SmartMobile Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)
NuFHE Cited in 1 Document (2022) Software Authors: NuCypher Related Software: CryptDB; RethinkDB; ZeroDB; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
PLSS Cited in 1 Document (2023) Software Authors: Brust, Johannes J.; Saunders, Michael A. Related Software: CRAIG; LSMR; LIBSVM; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)