OTTER Cited in 324 Documents (1988–2023) Software Authors: Bill McCune; Amor Montano, Jose Alfredo; Miranda Perea, Favio Ezequiel Related Software: TPTP; VAMPIRE; Mace4; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX); …
Z Cited in 228 Documents (1958–2022) Software Authors: Woodcock, Jim; Davies, Jim Related Software: Circus; ProofPower; Rodin; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …
GOLOG Cited in 157 Documents (1996–2022) Software Authors: Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B. Related Software: ConGolog; AgentSpeak; METATEM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
ETPS Cited in 161 Documents (1986–2022) Software Authors: Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi Related Software: TPS; Isabelle/HOL; HOL; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX); …
TPS Cited in 77 Documents (1990–2022) Software Authors: Andrews, Peter B.; Brown, Chad E. Related Software: TPTP; ETPS; HOL; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX); …
Isabelle/ZF Cited in 65 Documents (1993–2023) Software Authors: Lawrence C. Paulson Related Software: Isabelle; Coq; Isabelle/HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX); …
MathSAT Cited in 56 Documents (2005–2022) Software Authors: Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani Related Software: z3; Yices; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX); …
XDuce Cited in 53 Documents (2003–2020) Software Authors: Haruo Hosoya , Benjamin C. Pierce Related Software: CDuce; XPath; PiDuce; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
Oyster Cited in 34 Documents (1989–2021) Software Authors: Horn, Christian; Smaill, Alan Related Software: CLAM; Nuprl; HOL; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX); …
HOLyHammer Cited in 31 Documents (2014–2022) Software Authors: Kaliszyk, Cezary; Urban, Josef Related Software: HOL Light; VAMPIRE; Flyspeck; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)
NESTOR Cited in 27 Documents (1985–2017) Software Authors: Cooper, G.F. Related Software: TETRAD; DENDRAL; ElemStatLearn; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …
ART 3 Cited in 16 Documents (1992–2012) Software Authors: Gail A. Carpenter; Stephen Grossberg Related Software: Fuzzy ARTMAP; UCI-ml; LVQPAK; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Grail Cited in 20 Documents (1994–2021) Software Authors: Raymond, Darrell; Wood, Derick Related Software: AUTOMATE; AMoRE; Walnut; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …
CP-logic Cited in 19 Documents (2009–2022) Software Authors: Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice Related Software: ProbLog; PITA; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
LPL software Cited in 17 Documents (2000–2020) Software Authors: Dave Barker-Plummer, Jon Barwise, John Etchemendy; Albert Liu, Michael Murray, Emma Pease Related Software: EPGY; REDUCE; OTTER; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
ArchJava Cited in 10 Documents (2002–2017) Software Authors: Aldrich, Jonathan; Chambers, Craig; Notkin, David Related Software: SOFA 2.0; Rapide; UMLDiff; … Main Fields: Computer science (68-XX)
LARS Cited in 19 Documents (2016–2022) Software Authors: Beck, H., Dao-Tran, M., Eiter, T., Fink, M. Related Software: Clingo; oClingo; SPARQL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
YAPA Cited in 18 Documents (2009–2020) Software Authors: Baudet, Mathieu; Cortier, Véronique; Delaune, Stéphanie Related Software: AVISPA; Akiss; Maude-NPA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Atomizer Cited in 16 Documents (2004–2021) Software Authors: Flanagan C, Freund SN Related Software: Velodrome; SingleTrack; Eraser; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Isabelle/UTP Cited in 17 Documents (2015–2021) Software Authors: Foster, Simon; Zeyda, Frank; Woodcock, Jim Related Software: Circus; Z; Isabelle/HOL; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Systems theory; control (93-XX)
MBase Cited in 17 Documents (1999–2006) Software Authors: Franke, Andreas; Kohlhase, Michael Related Software: TPS; OMEGA; Nuprl; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)
Teyjus Cited in 17 Documents (2001–2022) Software Authors: Nadathur, G., Mitchell, D.J. Related Software: Twelf; Abella; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FAdo Cited in 15 Documents (2010–2021) Software Authors: André Almeida; Marco Almeida; José Alves; Nelma Moreira; Rogério Reis Related Software: GUItar; Python; Vaucanson; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Poincare_Series Cited in 15 Documents (2010–2023) Software Authors: Bedratyuk, L.P. Related Software: Macaulay2; Normaliz; Maple; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); …
ArcAngel Cited in 12 Documents (2003–2022) Software Authors: Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim Related Software: Z; ProofPower; Circus; … Main Fields: Computer science (68-XX)
IdentityFinder Cited in 14 Documents (2015–2023) Software Authors: Kanade, Shashank; Russell, Matthew C. Related Software: qseries; RRtools; Maple; … Main Fields: History and biography (01-XX); Combinatorics (05-XX); Number theory (11-XX); …
NESL Cited in 14 Documents (1994–2022) Software Authors: Blelloch, Guy E. Related Software: Haskell; MapReduce; GHC; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)
ForTheL Cited in 12 Documents (2002–2021) Software Authors: Vershinin, K., Paskevich, A. Related Software: Mizar; SAD; Theorema; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Isabelle/Circus Cited in 12 Documents (2013–2017) Software Authors: Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff Related Software: Isabelle/HOL; ProofPower; Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
LFLC 2000 Cited in 12 Documents (2004–2021) Software Authors: IRAFM Related Software: ETPS; ANFIS; TSDL; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX); …
ChC 3 Cited in 10 Documents (2010–2020) Software Authors: Durán, Francisco; Meseguer, José Related Software: Maude; CRC 3; MTT; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX); …
DifferentialAlgebra Cited in 11 Documents (2010–2021) Software Authors: Boulier, François; Lemaire, François Related Software: Maple; DIFFALG; DifferentialThomas; … Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Partial differential equations (35-XX); …
Juno-2 Cited in 11 Documents (1996–2004) Software Authors: Allan Heydon; Greg Nelson Related Software: Skyblue; MMP/Geometer; MEDLAR; … Main Fields: Geometry (51-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Myhill-Nerode Cited in 11 Documents (2011–2020) Software Authors: Wu, Chunhan; Zhang, Xingyuan; Urban, Christian Related Software: Archive Formal Proofs; Regular Sets; Presburger Automata; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
DREAM Cited in 10 Documents (2018–2022) Software Authors: Vrugt, J. A Related Software: NUTS; Glow; GitHub; … Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …
GUItar Cited in 9 Documents (2010–2018) Software Authors: André Almeida; Marco Almeida; José Alves; Nelma Moreira; Rogério Reis Related Software: FAdo; Python; Vaucanson; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
Kleene Algebra Cited in 9 Documents (2015–2022) Software Authors: Armstrong, A., Struth, G., Weber, T. Related Software: Archive Formal Proofs; Isabelle/HOL; Sledgehammer; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX); …
Verigraph Cited in 9 Documents (2016–2023) Software Authors: Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo Related Software: AGG; AGREE; egg; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
AEtnaNova Cited in 8 Documents (2011–2018) Software Authors: Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz Related Software: Referee; SETL; Mizar; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Functions of a complex variable (30-XX); …
ALM Cited in 8 Documents (2012–2020) Software Authors: Daniela Inclezan, Michael Gelfond Related Software: PEORL; VerbNet; CCalc; … Main Fields: Computer science (68-XX)
CalCS Cited in 8 Documents (2013–2019) Software Authors: Nuzzo, P., Puggelli, A., Seshia, S.A., Sangiovanni-Vincentelli, A.L. Related Software: dReal; z3; dReach; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX); …
TituRel Cited in 8 Documents (2007–2015) Software Authors: Gunther Schmidt Related Software: RelView; Haskell; Algorithm 97; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …
VeriML Cited in 8 Documents (2010–2016) Software Authors: Stampoulis, Antonis; Shao, Zhong Related Software: Coq; seL4; Mtac; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Z3str2 Cited in 7 Documents (2017–2023) Software Authors: Zheng, Yunhui; Ganesh, Vijay; Subramanian, Sanu; Tripp, Omer; Berzish, Murphy; Dolby, Julian; Zhang, Xiangyu Related Software: Z3str3; HAMPI; CVC4; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LPTP Cited in 6 Documents (1998–2016) Software Authors: Stärk, Robert F. Related Software: AsmL; ML; XSB; … Main Fields: Computer science (68-XX)
Referee Cited in 7 Documents (2013–2018) Software Authors: Eugenio G. Omodeo; Domenico Cantone; Alberto Policriti; Jacob T. Schwartz Related Software: AEtnaNova; SETL; Mizar; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
RLangGFun Cited in 7 Documents (2008–2019) Software Authors: Koutschan, Christoph Related Software: RNAsubopt; RNAfold; Maple; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); …
qFunctions Cited in 5 Documents (2020–2022) Software Authors: Jakob Ablinger, Ali K. Uncu Related Software: qMultiSum; qGeneratingFunctions; RATE; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX); …
Amphion Cited in 3 Documents (1998–2010) Software Authors: Lowry, M.R., Philpot, A., Pressburger, T., Underwood, I Related Software: CLAM; Oyster; HOL; … Main Fields: Computer science (68-XX)
Cyto-Sim Cited in 4 Documents (2008–2014) Software Authors: Sean Sedwards, Tommaso Mazza Related Software: BlenX; COPASI; Bio-PEPA Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
Dist-Orc Cited in 5 Documents (2011–2015) Software Authors: Musab AlTurki; José Meseguer Related Software: Maude; JavaFAN; Java+ITP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SAT Solver Verification Cited in 5 Documents (2009–2018) Software Authors: Filip Maric Related Software: Archive Formal Proofs; Chaff; MiniSat; … Main Fields: Computer science (68-XX)
Template-Coq Cited in 5 Documents (2018–2022) Software Authors: Anand, Abhishek; Boulier, Simon; Cohen, Cyril; Sozeau, Matthieu; Tabareau, Nicolas Related Software: Coq; MetaCoq; CertiCoq; … Main Fields: Computer science (68-XX)
helperOC Cited in 3 Documents (2020–2022) Software Authors: Somil Bansal, Mo Chen, Sylvia Herbert, Claire J. Tomlin Related Software: ToolboxLS; PILCO; Python; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); …
Krohn-Rhodes Cited in 4 Documents (2005–2011) Software Authors: Egri-Nagy, Attila; Nehaniv, Chrystopher L. Related Software: GAP; SgpDec Main Fields: Group theory and generalizations (20-XX); Computer science (68-XX)
LLFp Cited in 4 Documents (2016–2019) Software Authors: Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan Related Software: Coq; MMT; Agda; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Mathematical Components Cited in 4 Documents (2016–2021) Software Authors: Mathematical Components Team Related Software: Coq; Isabelle/HOL; GitHub; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Field theory and polynomials (12-XX); …
RDL Cited in 4 Documents (2001–2005) Software Authors: Armando, Alessandro; Compagna, Luca; Ranise, Silvio Related Software: NQTHM; ACL2; Cambridge LCF; … Main Fields: Computer science (68-XX)
ARGENT Cited in 3 Documents (2002–2009) Software Authors: Tratch, Serge S.; Molchanova, Marina S.; Zefirov, Nikolai S. Related Software: – Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
CALF Cited in 3 Documents (2017–2022) Software Authors: Gerco van Heerdt, Matteo Sammartino, Alexandra Silva Related Software: LearnLib; LEVER; Sigma*; … Main Fields: Computer science (68-XX)
ForMaRE Cited in 3 Documents (2013–2018) Software Authors: Lange, Christoph; Rowat, Colin; Kerber, Manfred Related Software: Isabelle/HOL; Arrow Gibbard Satterthwaite; Stable Matching; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
GLINTS Cited in 3 Documents (2019–2022) Software Authors: María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña Related Software: Maude; ACUOS2; Curry; … Main Fields: General algebraic systems (08-XX); Computer science (68-XX)
HOLCF Cited in 3 Documents (2012–2017) Software Authors: Brian Huffman Related Software: Isabelle/HOL; Matita; HOL; … Main Fields: Computer science (68-XX)
PolyCleaner Cited in 3 Documents (2020–2021) Software Authors: Mahzoon, A., Große, D., Drechsler, R. Related Software: RevSCA; GenMul; multgen; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
Regular_Algebras Cited in 3 Documents (2015–2016) Software Authors: Simon Foster; Georg Struth Related Software: Sledgehammer; Isabelle/HOL; TRAMP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SEMANOL Cited in 3 Documents (1976–1984) Software Authors: Anderson, E. R.; Belz, F. C.; Blum, E. K. Related Software: ALGOL 68; Refal; ALGOL 60 Main Fields: General algebraic systems (08-XX); Commutative algebra (13-XX); Group theory and generalizations (20-XX); …
sprfn Cited in 3 Documents (1988–1993) Software Authors: Plaisted, David A.; Potter, Richard C. Related Software: NQTHM; Nuprl; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
StonyCam Cited in 3 Documents (2008–2010) Software Authors: Bartocci, Ezio; Corradini, Flavio; Grosu, Radu; Merelli, Emanuela; Riganelli, Oliviero; Smolka, Scott A. Related Software: Uppaal; IF-2.0; Kronos Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
ABEL Cited in 1 Document (2011) Software Authors: Haenni, Rolf; Lehmann, Norbert Related Software: LISP Main Fields: Computer science (68-XX)
ArchSAT Cited in 1 Document (2020) Software Authors: Guillaume Bury Related Software: Zenon; TPTP; dedukti; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CompoSAT Cited in 2 Documents (2018–2022) Software Authors: Porncharoenwase, Sorawee; Nelson, Tim; Krishnamurthi, Shriram Related Software: Kodkod; Mace4; NuSMV; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DrazinInverse Cited in 2 Documents (2021) Software Authors: Caravantes, J.; Sendra, JR; Sendra, J.; Gerhard, J.; Kotsireas, I. Related Software: Maple Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Differential geometry (53-XX); Computer science (68-XX)
FindFacts Cited in 2 Documents (2021–2022) Software Authors: Fabian Huch, Alexander Krauss Related Software: SErAPIS; Isabelle/HOL; Archive Formal Proofs; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Fragger Cited in 2 Documents (2020–2021) Software Authors: Danos, Vincent; Heindel, Tobias; Honorato-Zimmer, Ricardo; Stucki, Sandro Related Software: KappaTools; BGL; MedOlDatschgerl; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX); …
GDR Cited in 2 Documents (1994–2005) Software Authors: Matthias Stallmann, Rance Cleaveland, and Prashant Hebbar Related Software: – Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); …
LEON Cited in 2 Documents (2013–2022) Software Authors: Doron Zeilberger Related Software: – Main Fields: Partial differential equations (35-XX); Difference and functional equations (39-XX); Numerical analysis (65-XX); …
PDQ Cited in 2 Documents (2005–2016) Software Authors: Gunther, Neil J. Related Software: PERL Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
RoutingLib Cited in 2 Documents (2018–2020) Software Authors: Zmigrod, Ran; Daggitt, Matthew L.; Griffin, Timothy G. Related Software: Agda; GitHub Main Fields: Computer science (68-XX)
Ruler Cited in 2 Documents (2006–2016) Software Authors: Dijkstra, Atze; Swierstra, S. Doaitse Related Software: Stratego; K Prover; Centaur; … Main Fields: Computer science (68-XX)
ZFC_in_HOL Cited in 2 Documents (2022) Software Authors: Paulson, L.C. Related Software: Isabelle/HOL; Archive Formal Proofs; Mizar; … Main Fields: Computer science (68-XX)
CatTheo Cited in 1 Document (2022) Software Authors: Ekici B. Related Software: Coq Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
CellExcite Cited in 1 Document (2008) Software Authors: Bartocci, E., F. Corradini, E. Entcheva, R. Grosu, S. A. Smolka Related Software: Charon; d/dt; HyTech Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
DASACT Cited in 1 Document (2016) Software Authors: Domenach, Florent; Tayari, Ali Related Software: PAUP*; PHYLIP Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
DeepRT Cited in 1 Document (2019) Software Authors: Kang, Woochul; Chung, Jaeyong Related Software: AlexNet; GitHub; Model Zoo; … Main Fields: Computer science (68-XX)
DISCOVERY Cited in 1 Document (1993) Software Authors: Vityaev, E.E.; Moskvitin, A.A. Related Software: – Main Fields: Computer science (68-XX)
Fishers_Inequality Cited in 1 Document (2023) Software Authors: Edmonds, C., Paulson, L.C Related Software: Roth_Arithmetic_Progressions; Ergodic theory; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …
Galois Field Arithmetic Library Cited in 1 Document (2011) Software Authors: Arash Partow Related Software: CRYPTALL; CRYPTIM Main Fields: Combinatorics (05-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Gaussian_Integers Cited in 1 Document (2022) Software Authors: Eberl, M. Related Software: Archive Formal Proofs; Isabelle/HOL; KANT/KASH; … Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Computer science (68-XX)
Jove Cited in 1 Document (2019) Software Authors: Gopalakrishnan, Ganesh Lalitha Related Software: Jupyter; Python Main Fields: Computer science (68-XX)
libVATA Cited in 1 Document (2019) Software Authors: Ondrej Lengal; Jiri Simacek; Tomas Vojnar; Martin Hruska; Lukas Holik Related Software: TaPAS; Antichains; LTL2BA; … Main Fields: Computer science (68-XX)
Linear Recurrences Cited in 1 Document (2020) Software Authors: Manuel Eberl Related Software: Count Complex Roots; Archive Formal Proofs; Berlekamp Zassenhaus; … Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
Meta Model Isabelle Cited in 1 Document (2016) Software Authors: Frédéric Tuong; Burkhart Wolff Related Software: Coq; Isabelle/HOL; Density Compiler; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
metaSMT Cited in 1 Document (2021) Software Authors: Riener, H. Related Software: CVC4; SMT Kit; BtorMC; … Main Fields: Computer science (68-XX)
Monae Cited in 1 Document (2022) Software Authors: Saito, Ayumu; Affeldt, Reynald Related Software: OCaml; Coq Main Fields: Computer science (68-XX)
NonEquivMACs Cited in 1 Document (2023) Software Authors: Ignatov, D. I. Related Software: OEIS; GAP Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
NUML Cited in 1 Document (1995) Software Authors: Xu, Manwu; Lu, Jianfeng; Zeng, Fancong; Dai, Jinwen Related Software: Automath Main Fields: Computer science (68-XX)
Nuprl-Light Cited in 1 Document (1997) Software Authors: Hickey, Jason J. Related Software: Cambridge LCF; Nuprl; Isabelle Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
POLYPAK Cited in 1 Document (1989) Software Authors: Schmidt, Dieter S. Related Software: PL/I Main Fields: Mechanics of particles and systems (70-XX)
Razor Cited in 1 Document (2015) Software Authors: Salman Saghafi; Daniel J. Dougherty Related Software: MiniSat; iProver; iProver-Eq; … Main Fields: Computer science (68-XX)
Roth_Arithmetic_Progressions Cited in 1 Document (2023) Software Authors: Edmonds, C., Koutsoukou-Argyraki, A., Paulson, L.C. Related Software: Fishers_Inequality; Ergodic theory; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …