Coq Software Authors: Dehlinger, Christophe; Dufourd, Jean-François Cited in: 1,835 Publications (1993–2023) Related Software: Isabelle/HOL; Isabelle; HOL; PVS; HOL Light; Nuprl; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
GEOTHER 1.1 Software Authors: Dongming Wang Cited in: 31 Publications (1996–2021) Related Software: GeoGebra; GEX; GeoThms; GCLC; GCLCprover; GeoProof; … Main Fields: Field theory and polynomials (12-XX); Geometry (51-XX); Numerical analysis (65-XX)
JGEX Software Authors: Ye, Zheng; Chou, Shang-Ching; Gao, Xiao-Shan Cited in: 15 Publications (2007–2020) Related Software: GEX; GeoGebra; GeoProof; GeoThms; GCLC; OpenGeoProver; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Geometry (51-XX)
QNet Software Authors: S.Grunewald, K.Forslund, A.Dress, V. Moulton Cited in: 11 Publications (2008–2020) Related Software: SplitsTree; iTOL; EMBOSS; Noisy; T-coffee; DIALIGN; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Statistics (62-XX)
OpenGeoProver Software Authors: Predrag Janicic; Ivan Petrovic Cited in: 10 Publications (2015–2020) Related Software: GeoGebra; GEX; GCLC; JGEX; GeoThms; Coq; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX)
Jnurbs Software Authors: Xuefeng Zhang, Ganesh Subbarayan Cited in: 7 Publications (2007–2017) Related Software: ISOGAT; NLPQL Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Classical thermodynamics, heat transfer (80-XX)
webDiscovery Software Authors: Botana, Francisco Cited in: 7 Publications (2003–2015) Related Software: CoCoA; Lugares; Cinderella; GEX; Geometer's Sketchpad; Mathematica; … Main Fields: Commutative algebra (13-XX); Geometry (51-XX); Computer science (68-XX)
jReality Software Authors: Gunn, C., Hoffmann, T., Schmies, M., Weissmann, S Cited in: 6 Publications (2006–2017) Related Software: polymake; Cinderella; PovRay; Gfan; Normaliz; cdd; … Main Fields: Algebraic geometry (14-XX); Geometry (51-XX); Convex and discrete geometry (52-XX)
Vessiot Software Authors: Anderson, I.M. Cited in: 6 Publications (2001–2011) Related Software: DifferentialGeometry; Mathematica; Maple; GeM; Rif; InvariantsSymmetries; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
JavaViewLib Software Authors: Dugaro, Steven Peter; Polthier, Konrad Cited in: 2 Publications (2003–2004) Related Software: Maple; Cinderella; JavaView Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
TiGL Software Authors: DLR; Siggel, Martin; Kleinert, Jan; Stollenwerk, Tobias; Maierl, Reinhold Cited in: 2 Publications (2016–2019) Related Software: GitHub; CPACS; CEASIOM; Vehicle sketch pad; ParaView; Gmsh; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
WIRED Software Authors: Ballaminut, A.; Colonello, C.; Dönszelmann, M.; van Herwijnen, E.; Köper, D.; Korhonen, J.; Litmaath, M.; Perl, J.; Theodorou, A.; Whiteson, D.; Wolff, E. Cited in: 2 Publications (2001) Related Software: HepODBMS; ROOT; GEANT4 Main Fields: Computer science (68-XX); Quantum theory (81-XX)
Binary Maker Software Authors: Bradstreet, D. H.; Steelman, D. P. Cited in: 1 Publication (2020) Related Software: clustervalidation; clusfind; RobPer; AS 136; dtw; Silhouettes Main Fields: Statistics (62-XX)
3D FractaL Tree Software Authors: John Jungck, Jennifer Spangenberg, Noppadon Khiripet, Rawin Viruchpinta, Jutarat Maneewattanapluk Cited in: 1 Publication (2011) Related Software: Excel Main Fields: Measure and integration (28-XX); Biology and other natural sciences (92-XX)
ParametricSurfaceViewer Software Authors: Markus Schmies Cited in: 1 Publication (2005) Related Software: – Main Fields: Functions of a complex variable (30-XX)
Tektosyne Software Authors: Nahr, C. Cited in: 1 Publication (2019) Related Software: EGO; ROME Main Fields: Operations research, mathematical programming (90-XX)
PENGEOM Software Authors: Almansa, Julio; Salvat-Pujol, Francesc; Díaz-Londoño, Gloria; Carnicer, Artur; Lallena, Antonio M.; Salvat, Francesc Cited in: 0 Publications Related Software: – Main Fields: –