×

Found 50 Software Packages (Results 1–50)

ELAN

Software Authors:   Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
Referenced in: 105 Publications (1996–2020)
Related Software: Maude; CafeOBJ; OBJ3; Stratego; Haskell; ATERM; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

DiffSharp

Software Authors:   Baydin, A.G., Pearlmutter, B.A.
Referenced in: 95 Publications (2016–2022)
Related Software: Adam; TensorFlow; PyTorch; DGM; ImageNet; AlexNet; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

IF-2.0

Software Authors:   Bozga, Marius; Graf, Susanne; Mounier, Laurent
Referenced in: 37 Publications (2002–2017)
Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; CMC; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

FLAME

Software Authors:   Bientinese, Paolo; Quintana-Ortí, Enrique S.; van de Geijn, Robert A
Referenced in: 38 Publications (1997–2021)
Related Software: LAPACK; BLAS; ATLAS; SPIRAL; PLAPACK; libflame; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

DiaGen

Software Authors:   Minas, Mark; Viehstaedt, G.
Referenced in: 24 Publications (1997–2015)
Related Software: GenGED; AToM3; PROGRES; AGG; GrGen; VIATRA2; …
Main Fields: Combinatorics (05-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

ATL

Software Authors:   Jouault, Frédéric; Allilaire, Freddy; Bézivin, Jean; Kurtev, Ivan
Referenced in: 11 Publications (2008–2021)
Related Software: HOL-OCL; Maude; UML2Alloy; Henshin; AGG; VIATRA2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GPGPU

Software Authors:   Luebke, D., Harris, M., Govindaraju, N., Lefohn, A., Houston, M., Owens, J., Segal, M., Papakipos, M., Buck, I.
Referenced in: 14 Publications (2006–2018)
Related Software: CUDA; OpenACC; OpenCL; HOSTA; MPI; ATLAS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

Maria

Software Authors:   M"akel"a, Marko
Referenced in: 19 Publications (2000–2021)
Related Software: LoLA; Uppaal; M-nets; Isabelle; PEP; Kronos; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Biology and other natural sciences (92-XX)

cc(FD)

Software Authors:   Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves
Referenced in: 17 Publications (1998–2021)
Related Software: CPLEX; Choco; COMET; MINION; Oz; Gecode; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

LIQUi

Software Authors:   Dave Wecker, Krysta M. Svore
Referenced in: 8 Publications (2018–2021)
Related Software: qHiPSTER; ProjectQ; Python; Quipper; OpenFermion; ScaffCC; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

Regular Sets

Software Authors:   Alexander Krauss; Tobias Nipkow
Referenced in: 16 Publications (2011–2018)
Related Software: Isabelle/HOL; Coq; Archive Formal Proofs; Myhill-Nerode; Isabelle; Presburger Automata; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

PLAN

Software Authors:   Hicks, Michael; Kakkar, Pankaj; Moore, Jonathan T.; Gunter, Carl A.; Nettles, Scott
Referenced in: 9 Publications (1997–2005)
Related Software: Guava; AtomCaml; Atomizer; OCaml; Maude; Atropos; …
Main Fields: Computer science (68-XX)

Spatial SQL

Software Authors:   M. Egenhofer
Referenced in: 6 Publications (1996–2008)
Related Software: DB2; Oracle; Geo-sal; Informix; PostGIS; JTS Topology Suite; …
Main Fields: Computer science (68-XX)

CoCaml

Software Authors:   Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
Referenced in: 6 Publications (2017–2022)
Related Software: coFJ; Paco; Featherweight Java; Nominal Isabelle; Fudgets; CoALP; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

MATLANG

Software Authors:   Geerts, Floris
Referenced in: 5 Publications (2018–2022)
Related Software: LaraDB; MathOverflow; APL
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX)

VPAlib

Software Authors:   Nguyen H.
Referenced in: 5 Publications (2004–2021)
Related Software: Bebop; OpenNWA; GitHub; Java-MOP; SPIN; BLAST; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BioStream

Software Authors:   Thies, William; Urbanski, John Paul; Thorsen, Todd; Amarasinghe, Saman
Referenced in: 2 Publications (2008–2020)
Related Software: PottersWheel; COPASI; DAISY
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Fastflo

Software Authors:   NAG
Referenced in: 4 Publications (1999–2004)
Related Software: FLOTRAN; PETSc; ADIC; Python; GRUMMP; Triangle; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

NOSA-ITACA

Software Authors:   Porcelli, Margherita; Binante, Vincenzo; Girardi, Maria; Padovani, Cristina; Pasquinelli, Giuseppe
Referenced in: 4 Publications (2014–2020)
Related Software: ARPACK; DAKOTA; lobpcg.m; profile wavefront; Salinas; JDCG; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

Tekkotsu

Software Authors:   Touretzky DS, Tira-Thompson EJ
Referenced in: 0 Publications
Related Software: CARMEN; Doxygen; Matlab; PFLib; SMCTC; ROS; …
Main Fields:

Algorithm 818

Software Authors:   Duff, Iain S.; Vörmel, Christof
Referenced in: 3 Publications (2002–2017)
Related Software: BLAS; LAPACK; Python; Algorithm 719; Algorithm 694; Algorithm 722; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

Cairo

Software Authors:   Cairo Graphics
Referenced in: 1 Publication (2019)
Related Software: R; RGtk2; rJava; GGobi; cairoDevice; GTK+; …
Main Fields: Statistics (62-XX)

DReX

Software Authors:   Alur, Rajeev; D'Antoni, Loris; Raghothaman, Mukund
Referenced in: 3 Publications (2015–2022)
Related Software:
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

MultiZ

Software Authors:   Aguirre-Mesa, Andres M.; Garcia, Manuel J.; Millwater, Harry
Referenced in: 3 Publications (2019–2021)
Related Software: SuperLU; LAPACK; Python; SciPy; Matlab
Main Fields: Number theory (11-XX); Functions of a complex variable (30-XX); Partial differential equations (35-XX)

Riposte

Software Authors:   J. Talbot, Z. DeVito, P. Hanrahan
Referenced in: 1 Publication (2015)
Related Software: R; pqR; Renjin; dplyr; Oracle; Survey; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

RPython

Software Authors:   Davide Ancona, Massimo Ancona, Antonio Cuni, and Nicholas D. Matsakis
Referenced in: 2 Publications (2009–2018)
Related Software: Pycket; JavaScript; GraalVM; PyPy; pike; Kotlin; …
Main Fields: Computer science (68-XX)

Autosubst

Software Authors:   S. Schäfer, T. Tebbi, G. Smolka
Referenced in: 2 Publications (2015–2016)
Related Software: foetus; OCaml; Why3; Haskell; Coq; LNgen; …
Main Fields: Computer science (68-XX)

BALM-II

Software Authors:   Castagnetti, G., Piccolo, M., Villa, T.
Referenced in: 2 Publications (2015–2020)
Related Software: MVSIS
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Biomechanical ToolKit

Software Authors:   Barre, A., Armand, S.
Referenced in: 1 Publication (2017)
Related Software: AnyBody; OpenSim; Matlab; CusToM
Main Fields: Biology and other natural sciences (92-XX)

GRAQULA

Software Authors:   Sockut, Gary H.; Burns, Luanne M.; Malhotra, Ashok; Whang, Kyu-Young
Referenced in: 1 Publication (1993)
Related Software:
Main Fields: Computer science (68-XX)

MORPHIX

Software Authors:   Finkler, W.; Neumann, G.
Referenced in: 1 Publication (1990)
Related Software:
Main Fields: Numerical analysis (65-XX)

TUDD

Software Authors:   Höreth, S.
Referenced in: 1 Publication (2001)
Related Software: MIPLIB; ABCD; CUDD
Main Fields: Computer science (68-XX)

Algorithm 1005

Software Authors:   Jonasson, Kristjan; Sigurdsson, Sven; Yngvason, Hordur Freyr; Ragnarsson, Petur Orri; Melsted, Pall
Referenced in: 1 Publication (2020)
Related Software: Algorithm 878; DISPMODULE; ADiGator; AUGEM; OpenBLAS; ADMAT; …
Main Fields: Numerical analysis (65-XX)

Codatatype

Software Authors:   Dmitriy Traytel
Referenced in: 1 Publication (2015)
Related Software: NetKAT; MONA; Isabelle/HOL; Isabelle
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DGMS

Software Authors:   Xiang Ling, Lingfei Wu, Saizhuo Wang, Gaoning Pan, Tengfei Ma, Fangli Xu, Alex X Liu, Chunming Wu, Shouling Ji
Referenced in: 0 Publications
Related Software: GitHub; PyMT5; tox; Anaconda; pandas; Transformers; …
Main Fields:

fastp

Software Authors:   Chen, S., Zhou, Y., Chen, Y., Gu. J.
Referenced in: 1 Publication (2022)
Related Software: CLMB; metaGEM; HMD-ARG; DLBI; GTDB-Tk; CheckM; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

FJQuantum

Software Authors:   Feitosa, Samuel S.; Vizzotto, Juliana K.; Piveta, Eduardo K.; Du Bois, Andre R.
Referenced in: 1 Publication (2016)
Related Software: Featherweight Java
Main Fields: Computer science (68-XX); Quantum theory (81-XX)

GuiTeNet

Software Authors:   Lisa Sahlmann, Christian B. Mendl
Referenced in: 0 Publications
Related Software: NCON; D3.js; NumPy; Python; JavaScript
Main Fields:

Libpsht

Software Authors:   Martin Reinecke
Referenced in: 0 Publications
Related Software: FFTPACK; IGLOO; spinsfast; s2hat; GLESP; Healpix; …
Main Fields:

MetaME

Software Authors:   Engels, Gregor; Sauer, Stefan
Referenced in: 0 Publications
Related Software:
Main Fields:

mPyPl

Software Authors:   Dmitry Soshnikov, Yana Valieva
Referenced in: 0 Publications
Related Software: Pipe; Horovod; Apache Spark; Keras; pandas; Python
Main Fields:

Native Word

Software Authors:   Andreas Lochbihler; Peter Lammich
Referenced in: 1 Publication (2014)
Related Software: Gabow SCC; Archive Formal Proofs; Collections; Refinement Monadic; HOL; Isabelle/HOL; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

ProBO

Software Authors:   Willie Neiswanger, Kirthevasan Kandasamy, Barnabas Poczos, Jeff Schneider, Eric Xing
Referenced in: 1 Publication (2020)
Related Software: Hyperband; DARTS; GPyOpt; Dragonfly; SMAC; Hyperopt; …
Main Fields: Computer science (68-XX)

QCOR

Software Authors:   Tiffany M. Mintz, Alexander J. Mccaskey, Eugene F. Dumitrescu, Shirley V. Moore, Sarah Powers, Pavel Lougovski
Referenced in: 0 Publications
Related Software: SciPy; OpenFermion; Orquestra; Qiskit Terra; Aqua; Python; …
Main Fields:

Robotics API

Software Authors:   Andreas Angerer, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif
Referenced in: 1 Publication (2015)
Related Software: KUKA Robot Language
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

SociaLite

Software Authors:   Jiwon Seo; Stephen Guo; Monica S. Lam
Referenced in: 0 Publications
Related Software: Ligra; SNAP; Green-Marl; PowerGraph; GraphX; Pregel; …
Main Fields:

TXP

Software Authors:   Dudani, S., Geada, J., Jakacki, G., Vainer, D.
Referenced in: 1 Publication (2005)
Related Software: Java-MaC; LTL2BA; SPIN
Main Fields: Computer science (68-XX)

WNetKAT

Software Authors:   Larsen, Kim G.; Schmid, Stefan; Xue, Bingtian
Referenced in: 1 Publication (2017)
Related Software: Nettle; Merlin; VeriFlow; Frenetic
Main Fields: Computer science (68-XX)

Silq

Software Authors:   Benjamin Bichsel; Timon Gehr; Maximilian Baader; Martin Vechev
Referenced in: 0 Publications
Related Software:
Main Fields:

XuanYuan

Software Authors:   Li, Guoliang; Zhou, Xuanhe
Referenced in: 0 Publications
Related Software:
Main Fields: