kepler98 Cited in 206 Documents (2000–2023) Software Authors: Hales, Thomas C.; Ferguson, Samuel P. Related Software: Flyspeck; Isabelle/HOL; HOL Light; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Convex and discrete geometry (52-XX); …
Miniball Cited in 46 Documents (2001–2023) Software Authors: Fischer, Kaspar; Gärtner, Bernd; Aditya Gupta; Alexandros Konstantinakis-Karmis Related Software: SDPT3; SeDuMi; CGAL; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Mathemagix Cited in 42 Documents (2006–2021) Software Authors: Joris van der Hoeven, Grégoire Lecerf, Bernard Mourrain Related Software: gmp; Maple; FLINT; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …
CGALmesh Cited in 13 Documents (2014–2023) Software Authors: C. Jamin, P. Alliez, M. Yvinec, J.-D. Boissonnat Related Software: Netgen; TetGen; CGAL; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
QTFier Cited in 9 Documents (2010–2021) Software Authors: Deok-Soo Kim, Youngsong Cho, Kokichi Sugihara Related Software: CGAL; BetaConcept; VOROPACK-D; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Curve Ensemble Cited in 5 Documents (2016–2022) Software Authors: Johnson, M.J., Johnson, H.S. Related Software: – Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)
EJS Cited in 2 Documents (2010–2012) Software Authors: Francisco Esquembre Related Software: SDSim; CropSyst; Matlab; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
CAVE Cited in 3 Documents (2008–2015) Software Authors: Buša, Ján; Hayryan, Shura; Hu, Chin-Kun; Skřivánek, Jaroslav; Wu, Ming-Chya Related Software: ARVO; SURFNET; VADAR; … Main Fields: Fluid mechanics (76-XX); Biology and other natural sciences (92-XX)
SphericalCubature Cited in 3 Documents (2016–2021) Software Authors: John P. Nolan Related Software: R; CRAN; SphericalK; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
ABCDepth Cited in 2 Documents (2018–2019) Software Authors: Milica Bogicevic, Milan Merkle Related Software: AS 307; depth; Quicksort; … Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX)
UrnSolitaire Cited in 1 Document (2007) Software Authors: Shalosh B. Ekhad, Doron Zeilberger Related Software: HolonomicFunctions; Maple; Isolde Main Fields: General and overarching topics; collections (00-XX); Mathematics education (97-XX)
BallsInBoxes Cited in 1 Document (2013) Software Authors: Doron Zeilberger Related Software: DEtools; EKHAD; Asyrec Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)
CAVE-CL Cited in 1 Document (2015) Software Authors: Buša, Ján jun.; Buša, Ján; Hayryan, Shura; Hu, Chin-Kun; Wu, Ming-Chya Related Software: CAVE; OpenCL Main Fields: Biology and other natural sciences (92-XX)
EasyOCaml Cited in 1 Document (2015) Software Authors: Benedikt Becker, Christian Haack, J. B. Wells Related Software: SHErrLoc; vZ; OCaml; … Main Fields: Computer science (68-XX)
MolSurfComp Cited in 1 Document (2020) Software Authors: Quan, C, Stamm, B Related Software: SBL; GitHub; McVol; … Main Fields: Convex and discrete geometry (52-XX)
mvmesh Cited in 1 Document (2016) Software Authors: – Related Software: SphericalCubature; gensphere; R; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
occupancy Cited in 1 Document (2022) Software Authors: Ben O'Neill Related Software: – Main Fields: Statistics (62-XX)
RosettaHoles Cited in 1 Document (2015) Software Authors: Sheffler, W., Baker, D. Related Software: Naccess; CHomP; Homology; … Main Fields: Algebraic topology (55-XX); Biology and other natural sciences (92-XX)
Space_filling_model_surface_volume Cited in 1 Document (2018) Software Authors: F. Cazals, T. Dreyfus, S. Loroit Related Software: SBL; Intersurf Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Vdream Cited in 1 Document (2018) Software Authors: Reem, D. Related Software: – Main Fields: Functional analysis (46-XX); Operator theory (47-XX); General topology (54-XX); …