Found 17 Software Packages (Results 1–17)


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)


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)


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)


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)


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)


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)


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)


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)


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)


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)


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)


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)


Software Authors:   Markus Schmies
Cited in: 1 Publication (2005)
Related Software:
Main Fields: Functions of a complex variable (30-XX)


Software Authors:   Nahr, C.
Cited in: 1 Publication (2019)
Related Software: EGO; ROME
Main Fields: Operations research, mathematical programming (90-XX)


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: