Software Authors:   Markus Wenzel et. al.

Cited in:	97 Publications (2002–2022)
Related Software:	Isabelle; Isabelle/HOL; Isar; Coq; HOL; Mizar; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

Software Authors:   R. Teyssier

Cited in:	38 Publications (2006–2022)
Related Software:	NIRVANA; GADGET; FLASH; ENZO; PARAMESH; Pluto; …
Main Fields:	Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Software Authors:   Chandrasekhar Boyapati; Sarfraz Khurshid; Darko Marinov

Cited in:	24 Publications (2001–2022)
Related Software:	TestEra; Java PathFinder; Symstra; CUTE; Rostra; JUnit; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Guy Katz, Clark Barrett, David Dill, Kyle Julian, Mykel Kochenderfer

Cited in:	29 Publications (2017–2022)
Related Software:	AI2; Marabou; Adam; NNV; MNIST; DeepFool; …
Main Fields:	Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   L. Del Zanna, O. Zanotti, N. Bucciantini, P. Londrillo

Cited in:	29 Publications (2008–2021)
Related Software:	RIEMANN; HLLE; HE-E1GODF; WhiskyMHD; HARM; Pluto; …
Main Fields:	Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Software Authors:   Jackson, D.; Schechter, I.; Shlyakhter, I.

Cited in:	20 Publications (2000–2021)
Related Software:	Alloy; SPIN; Chaff; Z; TestEra; NuSMV; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Dunchev, Tsvetan; Leitsch, Alexander; Libal, Tomer; Weller, Daniel; Woltzenlogel Paleo, Bruno

Cited in:	21 Publications (2005–2021)
Related Software:	GAPT; ProofTool; Mace4; Prover9; VAMPIRE; SPASS; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Bourguiba, Imen; Moa, Belaid

Cited in:	10 Publications (2000–2018)
Related Software:	SPIN; NuSMV; Smodels; ASSAT; PVS; TorX; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   AlTurki, M., Meseguer, J

Cited in:	13 Publications (2011–2021)
Related Software:	Maude; PMaude; VESTA; PRISM; Uppaal; PSMaude; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Zeilberger, Doron

Cited in:	18 Publications (2000–2022)
Related Software:	MAYLIS; USAW; USAP; ZOO; Maple; FreeSAW; …
Main Fields:	Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX)

Software Authors:   ClearSy; France Steria

Cited in:	16 Publications (2000–2021)
Related Software:	ProB; Rodin; Zenon; CADP; SPIN; LOTOS; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Flanagan C, Freund SN

Cited in:	16 Publications (2004–2021)
Related Software:	Velodrome; SingleTrack; Eraser; Java PathFinder; Goldilocks; ESC/Java; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Brayton, R.K., et al.

Cited in:	10 Publications (2005–2015)
Related Software:	NuSMV; SPIN; HyTech; LTL2BA; SPOT; CESAR; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   P. Kravanja, M. Van Barel, O. Ragos, M.N. Vrahatis, F.A. Zafiropoulos

Cited in:	16 Publications (1998–2022)
Related Software:	NLEVP; EZERO; SciPy; minpack; disproots; Algorithm 699; …
Main Fields:	History and biography (01-XX); Functions of a complex variable (30-XX); Numerical analysis (65-XX)

Software Authors:   George, Chris

Cited in:	14 Publications (1993–2021)
Related Software:	Z; PVS; SPIN; ETPS; SAL; mural; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Software Authors:   Krajca P., Outrata J., Vychodil V.

Cited in:	12 Publications (2011–2022)
Related Software:	In-Close; UCI-ml; AddIntent; Algorithm 447; LCM; CUDD; …
Main Fields:	Order, lattices, ordered algebraic structures (06-XX); Statistics (62-XX); Computer science (68-XX)

Software Authors:   Stojanović, Sana; Pavlović, Vesna; Janičić, Predrag

Cited in:	12 Publications (2011–2020)
Related Software:	Coq; GCLC; TPTP; GEX; GeoGebra; Isar; …
Main Fields:	Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)

Software Authors:   Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky

Cited in:	11 Publications (2003–2021)
Related Software:	JPAX; Java-MOP; Copilot; AspectWerkz; AspectJ; InterAspect; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Jones, C.B.; Jones, K.D.; Lindsay, P.A.; Moore, R.D.

Cited in:	10 Publications (1991–2014)
Related Software:	HOL; Nuprl; UNITY; Jape; FermaT; Rodin; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Peter Buneman, Mary Fernandez, Dan Suciu

Cited in:	10 Publications (2006–2018)
Related Software:	XPath; XQuery; XDuce; CDuce; Quilt; GRoundTram; …
Main Fields:	Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Software Authors:   Gill, R., Datta, S., Datta, S.

Cited in:	7 Publications (2013–2021)
Related Software:	WGCNA; GlobalMIT; MAST; MrTADFinder; slingshot; SNN-Cliq; …
Main Fields:	Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Software Authors:   Mitsch, S., Platzer, A.

Cited in:	6 Publications (2016–2021)
Related Software:	Coq; KeYmaera; SpaceEx; KeYmaera X; Bellerophon; dReach; …
Main Fields:	Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

Software Authors:   Bouquet, Fabrice; Legeard, Bruno; Peureux, Fabien

Cited in:	2 Publications (2002–2009)
Related Software:	ProB; jbtools; Rodin; XSB; FDR2; Oz; …
Main Fields:	Computer science (68-XX)

Software Authors:   Aaltonen, Timo; Katara, Mika; Pitkänen, Risto

Cited in:	7 Publications (1998–2006)
Related Software:	PVS; AspectJ; Ocsid; HOL-UNITY; HOL; Coq; …
Main Fields:	Computer science (68-XX)

Software Authors:   Lammich, Peter; Sefidgar, S. Reza

Cited in:	7 Publications (2016–2021)
Related Software:	Gabow SCC; Coq; Isabelle/HOL; Isabelle; Dijkstra Shortest Path; Separation Logic; …
Main Fields:	Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Software Authors:   ClearSy

Cited in:	3 Publications (2006–2010)
Related Software:	ProB; UNITY; jSpin; PROMELA; SymmSpin; Spin-to-Grape; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Yu. A. Ukolov, N.A. Chekanov, A.A. Gusev, V.A. Rostovtsev, S.I. Vinitsky, Y. Uwano

Cited in:	6 Publications (2005–2006)
Related Software:	GITA; Maple; pchip; UNCMND; REDUCE
Main Fields:	Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   da Rocha, Zélia

Cited in:	6 Publications (1999–2021)
Related Software:	Mathematica; OPQ; numeralgo; Netlib
Main Fields:	Special functions (33-XX); Approximations and expansions (41-XX); Harmonic analysis on Euclidean spaces (42-XX)

Software Authors:   Jakob Ablinger, Ali K. Uncu

Cited in:	5 Publications (2020–2022)
Related Software:	qMultiSum; qGeneratingFunctions; RATE; HYP; qseries; SIGMA; …
Main Fields:	Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX)

Software Authors:   Scornavacca, C.; Zickman, F.; Huson, D.

Cited in:	6 Publications (2012–2022)
Related Software:	OEIS; Python; dendextend; SageMath; Scikit; R; …
Main Fields:	Combinatorics (05-XX); Algebraic topology (55-XX); Statistics (62-XX)

Software Authors:   Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G.

Cited in:	5 Publications (2012–2017)
Related Software:	ABS; SPEED; SACO; JCobox; Erlang; Featherweight Java; …
Main Fields:	Computer science (68-XX)

Software Authors:   Anton Tsitsulin, Davide Mottin, Panagiotis Karras, Alex Bronstein, Emmanuel Müller

Cited in:	2 Publications (2020–2021)
Related Software:	Python; PyTorch; SciPy; NumPy; NetworkX; Scikit; …
Main Fields:	Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

Software Authors:   Tatyana Taran; Hanika, T., Hirth, J.

Cited in:	3 Publications (2008–2022)
Related Software:	UCI-ml; JGraph; Dia; fca.sty; Galicia; ToscanaJ; …
Main Fields:	Computer science (68-XX)

Software Authors:   B. Yordanov, C. Belta

Cited in:	4 Publications (2013–2018)
Related Software:	NuSMV; Algorithm 97; VeriSIMPL; Maxplus; SPIN
Main Fields:	Combinatorics (05-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

Software Authors:   Goues, C; Nguyen, T; Forrest, S; Weimer, W,

Cited in:	3 Publications (2018–2020)
Related Software:	EASEA; Gen-O-Fix; Djinn; Apache Spark; Agda; Hadoop; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Software Authors:   Somil Bansal, Mo Chen, Sylvia Herbert, Claire J. Tomlin

Cited in:	3 Publications (2020–2022)
Related Software:	ToolboxLS; PILCO; Python; BaRC
Main Fields:	Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

Software Authors:   Gheorghe, M., Ipate, F., Mierla, L., Konur, S.

Cited in:	4 Publications (2015–2021)
Related Software:	CompCert; ProB; Rodin; Coq; GitHub; CuSNP; …
Main Fields:	Computer science (68-XX)

Software Authors:   Stamatopoulou, Ioanna; Kefalas, Petros; Gheorghe, Marian

Cited in:	2 Publications (2009–2017)
Related Software:	NetLogo
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   G.-C. Roman, K. C. Cox, Donald Wilcox, Jerome Y. Plun

Cited in:	4 Publications (2002)
Related Software:	Tango; Leonardo; Zeus; POLKA; LEDA; XTango; …
Main Fields:	Computer science (68-XX)

Software Authors:   Zhang, Zhiyong; Wang, Lijuan

Cited in:	3 Publications (2013–2020)
Related Software:	SPSS; R; DYFRAT; lavaan; SODAS; EQS; …
Main Fields:	Statistics (62-XX)

Software Authors:   Gabor Madl

Cited in:	2 Publications (2006–2013)
Related Software:	HyTech; IF-2.0; Kronos; Ptolemy; REDLIB; Synthia; …
Main Fields:	Computer science (68-XX)

Software Authors:   Zimmerman, Daniel M.; Nagmoti, Rinkesh

Cited in:	3 Publications (2011–2022)
Related Software:	OpenJML; KeY; Eiffel; IdentityHashMap; JBMC; Why3; …
Main Fields:	Computer science (68-XX)

Software Authors:   Anureev, Igor S.

Cited in:	3 Publications (2007–2009)
Related Software:	XASM; AsmL
Main Fields:	Computer science (68-XX)

Software Authors:   Mahzoon, A., Große, D., Drechsler, R.

Cited in:	3 Publications (2020–2021)
Related Software:	RevSCA; GenMul; multgen; Yosys; ABC; ACL2; …
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Cybula, Piotr; Subieta, Kazimierz

Cited in:	2 Publications (2005–2006)
Related Software:	ODRA; AToM3; VIATRA2
Main Fields:	Computer science (68-XX)

Software Authors:   Anderson, E. R.; Belz, F. C.; Blum, E. K.

Cited in:	3 Publications (1976–1984)
Related Software:	ALGOL 68; Refal; ALGOL 60
Main Fields:	General algebraic systems (08-XX); Commutative algebra (13-XX); Group theory and generalizations (20-XX)

Software Authors:   Minopoli, Stefano; Frehse, Goran

Cited in:	3 Publications (2019–2023)
Related Software:	Simulink; Isabelle/HOL; Zelus; Matlab; KeYmaera; nuXmv; …
Main Fields:	Computer science (68-XX)

Software Authors:   X. Huang, Y. Zhao, C. Ma, J. Yang, X. Ye, C. Zhang

Cited in:	2 Publications (2019–2021)
Related Software:	TensorFlow; Brain Connectivity Toolbox; Cytoscape; ccNetViz; Argo Lite; NetV.js; …
Main Fields:	Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Schepers J, Hofmans J.

Cited in:	2 Publications (2017–2021)
Related Software:	CHull; R; lsa; vegan; FactoMineR; ade4; …
Main Fields:	Statistics (62-XX)

Software Authors:   Grigoriy Volkov, Mikhail Mandrykin, Denis Efremov

Cited in:	1 Publication (2021)
Related Software:	Dafny; Why3; Coq; GPUVerify; VerCors; Isabelle/HOL; …
Main Fields:	Computer science (68-XX)

Software Authors:   Florian Kummer, Martin Smuda, Jens Weber

Cited in:	1 Publication (2021)
Related Software:	PARDISO; Jupyter; MUMPS
Main Fields:	Numerical analysis (65-XX); Fluid mechanics (76-XX)

Software Authors:   Jan Schäfer, Arnd Poetzsch-Heffter

Cited in:	1 Publication (2017)
Related Software:	ArchJava; JavAdaptor; JCobox; ABS; Fredhopper; Creol; …
Main Fields:	Computer science (68-XX)

Software Authors:   Andrews, George E.; Knopfmacher, Arnold; Paule, Peter; Zimmermann, Burkhard

Cited in:	2 Publications (2001–2009)
Related Software:	qZeil; Mathematica; qseries; RRtools; PARI/GP; Maple
Main Fields:	Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX)

Software Authors:   Barkatou, Moulay A.; Cluzeau, Thomas; El Bacha, Carole

Cited in:	2 Publications (2018–2021)
Related Software:	Maple; PseudoLinearSystems
Main Fields:	Special functions (33-XX); Difference and functional equations (39-XX); Computer science (68-XX)

Software Authors:   Agnieszka Lawrynowicz; Jedrzej Potoniec

Cited in:	2 Publications (2016–2019)
Related Software:	KEGG; Aleph; SimRank; PL-ranking; SEGS; SegMine; …
Main Fields:	Statistics (62-XX); Computer science (68-XX)

Software Authors:   Tan, Gang

Cited in:	1 Publication (2015)
Related Software:	Ilea; Featherweight Java; OCaml
Main Fields:	Computer science (68-XX)

Software Authors:   Wheldon, Mark C.; Raftery, Adrian E.; Clark, Samuel J.; Gerland, Patrick

Cited in:	1 Publication (2013)
Related Software:	R; AlleleRetain; bayesLife; wpp2010; wpp2012; bayesTFR; …
Main Fields:	Statistics (62-XX)

Software Authors:   Jiri Stepan, Javier Trujillo Bueno

Cited in:	1 Publication (2023)
Related Software:	DENOVO; PETSc; MULTI3D; Cython; Astropy; Matplotlib; …
Main Fields:	Numerical analysis (65-XX)

Software Authors:   Cho, Eun-Sun; Hong, Sunho; Oh, Sechang; Yeh, Hong-Jin; Hong, Manpyo

Cited in:	2 Publications (2001–2003)
Related Software:	SoftwarePot
Main Fields:	Computer science (68-XX)

Software Authors:   J Fitzgerald, PG Larsen, S Sahara

Cited in:	1 Publication (2017)
Related Software:	MiniSat; Overture Tool; GROOVE; Pict; COWS; Maude; …
Main Fields:	Computer science (68-XX)

Software Authors:   Ahmad, Raheel; Rahimi, Shahram

Cited in:	1 Publication (2008)
Related Software:	CLIPS; MWB
Main Fields:	Computer science (68-XX)

Software Authors:   Yang, J.; Pitt, M. A.; Ahn, W.-Y.; Myung, J. I.

Cited in:	1 Publication (2022)
Related Software:	JAGS
Main Fields:	Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   Lvov, Alexey; Lastras-Montaño, Luis A.; Trager, Barry; Paruthi, Viresh; Shadowen, Robert; El-Zein, Ali

Cited in:	1 Publication (2014)
Related Software:	STABLE; SINGULAR
Main Fields:	Commutative algebra (13-XX); Information and communication theory, circuits (94-XX)

Software Authors:   –

Cited in:	1 Publication (2021)
Related Software:	CoreASM; WebASM; SICStus; JeB; Rodin; Overture Tool; …
Main Fields:	Computer science (68-XX)

Software Authors:   de Azevedo Oliveira D, Medeiros V, Déharbe D, Musicante MA

Cited in:	1 Publication (2021)
Related Software:	CoreASM; WebASM; SICStus; JeB; Rodin; Overture Tool; …
Main Fields:	Computer science (68-XX)

Software Authors:   Vityaev, E.E.; Moskvitin, A.A.

Cited in:	1 Publication (1993)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   Moscato, Mariano M.; López Pombo, Carlos G.; Frias, Marcelo F.

Cited in:	0 Publications
Related Software:	PVS
Main Fields:	–

Software Authors:   Mazurek, Łukasz

Cited in:	1 Publication (2021)
Related Software:	Why3; solgraph; Manticore; Mythril; GitHub; WhyML; …
Main Fields:	Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Schwarzentruber, François

Cited in:	1 Publication (2015)
Related Software:	GeoGebra; eulerAPE; SketchSet; Dynagraph; Tulip; Graphviz; …
Main Fields:	Computer science (68-XX)

Software Authors:   P. Krajca, J. Outrata, V. Vychodil

Cited in:	1 Publication (2015)
Related Software:	FCALGS; In-Close; FcaBedrock; UCI-ml; AddIntent
Main Fields:	Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

Software Authors:   Magill, Stephen; Skaggs, Bradley; Papa, Mauricio; Hale, John

Cited in:	1 Publication (2003)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   David Fuenmayor; Christoph Benzmüller

Cited in:	1 Publication (2019)
Related Software:	Archive Formal Proofs; embed_modal; Isabelle/HOL; Nitpick
Main Fields:	Computer science (68-XX)

Software Authors:   Prigent, S., Frioux, C., Dittami, S., Thiele, S., Larhlimi, A., Collet, G., Gutknecht, F., Got, J., Eveillard, D., Bourdon, J., Plewniak, F., Tonon, T. Siegel, A

Cited in:	1 Publication (2019)
Related Software:	COBRA Toolbox; fastGapFill; COBRApy; Clingo; Clingcon; MetaCyc; …
Main Fields:	Computer science (68-XX); Biology and other natural sciences (92-XX)

Software Authors:   –

Cited in:	1 Publication (2005)
Related Software:	Jass; Java-MaC; Java-MOP; JPAX; JML
Main Fields:	Computer science (68-XX)

Software Authors:   Christiansen, Mikkel

Cited in:	1 Publication (1998)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   Lin, Xi; Zhang, Hehua; Gu, Ming

Cited in:	1 Publication (2013)
Related Software:	Protege; swrl; Ptolemy; Pellet; Simulink
Main Fields:	Computer science (68-XX)

Software Authors:   Robert Hoehndorf, Paul N. Schofield, Georgios V. Gkoutos

Cited in:	1 Publication (2016)
Related Software:	IntelliGO; FUNC; Aber-OWL; Ontobee; PlantTFDB; eggNOG; …
Main Fields:	Statistics (62-XX); Biology and other natural sciences (92-XX)

Software Authors:   Lin MF, Jungreis I, Kellis M

Cited in:	1 Publication (2015)
Related Software:	Matlab; RNAcode
Main Fields:	Dynamical systems and ergodic theory (37-XX); Biology and other natural sciences (92-XX)

Software Authors:   Jaber J. Hasbestan, Inanc Senocak

Cited in:	0 Publications
Related Software:	CUBLAS; cuFFT; AccFFT; PFFT; CUSPARSE; CUDA; …
Main Fields:	–

Software Authors:   Roffé, Ariel Jonathan

Cited in:	1 Publication (2020)
Related Software:	PLM; Isabelle/HOL
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Software Authors:   Brandon Paulsen, Jingbo Wang, Chao Wang

Cited in:	1 Publication (2021)
Related Software:	NeuroDiff; POPQORN; DiffRNN; DeepGauge; DeepXplore; TensorFuzz; …
Main Fields:	Computer science (68-XX)

Software Authors:   Amani, S., Andronick, J., Bortin, M., Lewis, C., Christine, R., Tuong, J.

Cited in:	0 Publications
Related Software:	–
Main Fields:	–

Software Authors:   Ray Baser

Cited in:	0 Publications
Related Software:	–
Main Fields:	–

Software Authors:   Abdi, Asad; Idris, Norisma; Ahmad, Zahrah

Cited in:	0 Publications
Related Software:	–
Main Fields:	–