Found 4,043 Documents (Results 1–100)
On a convex geometric connection to threshold logic. (English) Zbl 07924269
Hoffman, Frederick (ed.) et al., Combinatorics, graph theory and computing. Proceedings of the 52nd Southeastern international conference, SEICCGTC 2021, virtual, Boca Raton, FL, USA, March 8–12, 2021. Singapore: Springer. Springer Proc. Math. Stat. 448, 87-97 (2024).
MSC:
06E30
Good’s and Mallows’s enumerations of hypotheses of independence: a new proof and a discussion. (English) Zbl 07919946
A novel fixed-time fuzzy adaptive tracking control for nonlinear high-order systems with state constraints. (English) Zbl 07919303
Point-set games and functions with the hereditary small oscillation property. (English) Zbl 1542.91043
Modal model theory. (English) Zbl 07873790
MSC:
03B45
03C10
03C52
03C55
03C62
03C65
03C80
03E10
03E20
03E47
03E65
05C15
05C20
05C38
05C40
05C80
Migrativity properties of general grouping (overlap) functions with regard to null-norms. (English) Zbl 07872417
A logico-geometric comparison of coherence for non-additive uncertainty measures. (English) Zbl 07870394
An extension framework for creating operators and functions for intuitionistic fuzzy sets. (English) Zbl 07848774
Logical activation functions for training arbitrary probabilistic Boolean operations. (English) Zbl 07842973
First-degree entailment and truthmaker functions. (English) Zbl 07832900
MSC:
03-XX
Fuzzy logics – quantitatively. (English) Zbl 07821020
MSC:
03-XX
Phase diagram and topological expansion in the complex quartic random matrix model. (English) Zbl 1537.81167
Measurability in the Fundamental Theorem of Statistical Learning. arXiv:2410.10243
Preprint, arXiv:2410.10243 [cs.LG] (2024).
Bridging Meadows and Sheaves. arXiv:2410.05921
Preprint, arXiv:2410.05921 [math.AC] (2024).
Logical reduction of relations: from relational databases to Peirce’s reduction thesis. arXiv:2406.14094
Preprint, arXiv:2406.14094 [math.LO] (2024).
Is Peirce’s reduction thesis gerrymandered? arXiv:2406.14058
Preprint, arXiv:2406.14058 [math.LO] (2024).
Formalizing Pfaffian in bounded arithmetic. arXiv:2404.01728
Preprint, arXiv:2404.01728 [math.LO] (2024).
Towards systematic treatment of partial functions in knowledge representation. (English) Zbl 07855158
Gaggl, Sarah (ed.) et al., Logics in artificial intelligence. 18th European conference, JELIA 2023, Dresden, Germany, September 20–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14281, 756-770 (2023).
MSC:
68T27
The partial operation of formulas with applications to formulas generated by order-decreasing mappings. (English) Zbl 07829887
Book review of: C. Albertini and M. Huber, Grundbegriffe der Mathematik. Logik – Mengen – Relationen und Funktionen – Zahlbegriff. (English) Zbl 07809278
Proving properties of binary classification neural networks via Łukasiewicz logic. (English) Zbl 07806938
Binary bipolar soft sets. (English) Zbl 07805625
Families of Eulerian functions involved in regularization of divergent polyzetas. (English) Zbl 1531.11081
Algèbre et théorie des nombres 2023. Besançon: Presses Universitaires de Franche-Comté. Publ. Math. Besançon, Algèbre Théor. Nombres 2023, 5-28 (2023).
On the three-valued expansions of Kleene’s logic. (Russian. English summary) Zbl 07793832
MSC:
03-XX
Criterion of completeness and submaximal ultraclones for linear hyperfunctions of rank 2. (Russian. English summary) Zbl 1529.08014
Integration by substitution: a case study in the relationship between calculus and analysis. (English) Zbl 07770390
An elementary belief function logic. (English) Zbl 07757223
MSC:
03-XX
Receding horizon control with online barrier function design under signal temporal logic specifications. (English) Zbl 07744838
The nonarithmeticity of the predicate logic of primitive recursive realizability. (English. Russian original) Zbl 07739850
Izv. Math. 87, No. 2, 389-419 (2023); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 87, No. 2, 196-228 (2023).
Experimental study of algorithms for minimization of binary decision diagrams using algebraic representations of cofactors. (English. Russian original) Zbl 1533.68426
Program. Comput. Softw. 49, No. 4, 268-285 (2023); translation from Programm. Inzh. 13, No. 8 (2022).
Hardware implementation of code converters designed to reduce the length of binary encoded words. (English. Russian original) Zbl 1533.68425
Program. Comput. Softw. 49, No. 4, 247-267 (2023); translation from Programm. Inzh. 13, No. 8 (2022).
Fixpoint theory – upside down. (English) Zbl 07731926
On the equality problem of finitely generated classes of exponentially-polynomial functions. (English. Russian original) Zbl 07726728
Discrete Math. Appl. 33, No. 3, 167-175 (2023); translation from Diskretn. Mat. 34, No. 1, 64-75 (2022).
A discrete transition to advanced mathematics. 2nd edition. (English) Zbl 1520.00001
Pure and Applied Undergraduate Texts 63. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-7204-7/pbk; 978-1-4704-7427-0/ebook). xiii, 523 p. (2023).
A novel, flexible circuit used to implement selected mathematical operations for AI algorithms optimized for hardware applications. (English) Zbl 07711011
A completeness proof for a regular predicate logic with undefined truth value. (English) Zbl 1522.03063
Reviewer: Branislav Boričić (Beograd)
MSC:
03B50
Core Gödel. (English) Zbl 1541.03163
Reviewer: Saeed Salehi (Tabriz)
Mixing and double recurrence in probability groups. (English) Zbl 1526.37004
Reviewer: Michael L. Blank (Moskva)
Bijections between planar maps and planar linear normal \(\lambda\)-terms with connectivity condition. (English) Zbl 07686838
Basic concepts of mathematics. Logic – sets – relations and functions – concept of numbers. 3rd revised and enlarged edition. (Grundbegriffe der Mathematik. Logik – Mengen – Relationen und Funktionen – Zahlbegriff.) (German) Zbl 1511.00004
München: Carl Hanser Verlag (ISBN 978-3-446-47563-2/pbk). viii, 126 p. (2023).
Synergies in analysis, discrete mathematics, soft computing and modelling. Selected papers based on the presentations at the international conference FIM28-SCMSPS20, virtual, Chennai, India, November 23–27, 2020. (English) Zbl 1515.00024
Forum for Interdisciplinary Mathematics. Singapore: Springer (ISBN 978-981-19-7013-9/hbk; 978-981-19-7016-0/pbk; 978-981-19-7014-6/ebook). x, 221 p. (2023).
Maximally nonlinear functions over finite fields. (English. Russian original) Zbl 1519.94261
Discrete Math. Appl. 33, No. 1, 41-53 (2023); translation from Diskretn. Mat. 33, No. 1, 47-63 (2021).
On sequences of homomorphisms into measure algebras and the Efimov problem. (English) Zbl 1528.28005
Finitist axiomatic truth. (English) Zbl 07657274
A fixed point theorem for measurable selection valued correspondences induced by upper Caratheodory correspondences. (English) Zbl 07629823
Reviewer: Valerii V. Obukhovskij (Voronezh)
Epistemic systems and Flagg and Friedman’s translation. arXiv:2307.02688
Preprint, arXiv:2307.02688 [math.LO] (2023).
On synthesizing computable Skolem functions for first-order logic. (English) Zbl 07893068
Szeider, Stefan (ed.) et al., 47th international symposium on mathematical foundations of computer science, MFCS 2022, Vienna, Austria, August 22–26, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 241, Article 30, 15 p. (2022).
MSC:
68Qxx
Fuzzy implication functions with a specific expression: the polynomial case. (English) Zbl 1522.03083
MSC:
03B52
Strong negations and restricted equivalence functions revisited: an analytical and topological approach. (English) Zbl 1522.03067
MSC:
03B52
Automorphisms on normal and convex fuzzy truth values revisited. (English) Zbl 1522.03072
MSC:
03B52
Finite-memory supervisory control of discrete event systems for LTL[\(\mathcal{F}\)] specifications. (English) Zbl 1541.93007
Towards a unified view on logics for uncertainty. (English) Zbl 1524.68353
Dupin de Saint-Cyr, Florence (ed.) et al., Scalable uncertainty management. 15th international conference, SUM 2022, Paris, France, October 17–19, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13562, 329-337 (2022).
Visualizing polymorphisms and counter-polymorphisms in S5 modal logic. (English) Zbl 1524.03016
Giardino, Valeria (ed.) et al., Diagrammatic representation and inference. 13th international conference, Diagrams 2022, Rome, Italy, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13462, 296-311 (2022).
Toward updating belief functions over Belnap-Dunn logic. (English) Zbl 1522.68564
Le Hégarat-Mascle, Sylvie (ed.) et al., Belief functions: theory and applications. 7th international conference, BELIEF 2022, Paris, France, October 26–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13506, 261-272 (2022).
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. (English) Zbl 1512.68428
Deriving approximate logic circuits for TMR technique. (English. Russian original) Zbl 1520.81039
Russ. Phys. J. 65, No. 4, 751-760 (2022); translation from Izv. Vyssh. Uchebn. Zaved., Fiz. 65, No. 4, 150-159 (2022).
Representations of normalized formulas. (Russian. English summary) Zbl 07656037
Properties of the full class of quaternary bent-functions of two variables. (English) Zbl 1504.94190
Games characterizing limsup functions and Baire class \(1\) functions. (English) Zbl 1505.54025
Reviewer: Christopher Caruvana (Kokomo)
Global dissipativity of fuzzy genetic regulatory networks with mixed delays. (English) Zbl 1510.92086
Reviewer: Chay Paterson (Manchester)
Notes on real analysis and measure theory. Fine properties of real sets and functions. (English) Zbl 1504.26003
Springer Monographs in Mathematics. Cham: Springer (ISBN 978-3-031-17032-4/hbk; 978-3-031-17035-5/pbk; 978-3-031-17032-4/ebook). xi, 253 p. (2022).
Reviewer: Jaroslav Tišer (Praha)
Model-theoretic properties of dynamics on the Cantor set. (English) Zbl 1521.03107
Reviewer: Paul Bankston (Milwaukee)
On the classes of autodual functions implicitly maximal in \(P_k \). (English. Russian original) Zbl 1496.03105
Mosc. Univ. Math. Bull. 77, No. 3, 154-159 (2022); translation from Vestn. Mosk. Univ., Ser. I 77, No. 3, 40-45 (2022).
MSC:
03B50
Completeness criterion with respect to the enumeration closure operator in the three-valued logic. (English. Russian original) Zbl 1529.03176
Discrete Math. Appl. 32, No. 2, 105-114 (2022); translation from Diskretn. Mat. 33, No. 2, 86-99 (2021).
Computability. Randomness, reverse mathematics and hypercomputability. (Calculabilité. Aléatoire, mathématiques à rebours et hypercalculabilité.) (French) Zbl 1516.03001
Tableau Noir 107. Paris: Calvage et Mounet (ISBN 978-2-916352-96-1/hbk). xxii, 828 p. (2022).
Reviewer: Jeffry L. Hirst (Boone)
Filter Results by …
Document Type
- Journal Articles (2,765)
- Collection Articles (638)
- Books (613)
- arXiv Preprints (27)
all
top 5
Author
- Marchenkov, Sergeĭ Serafimovich (42)
- Di Nola, Antonio (25)
- Stojmenović, Ivan (21)
- Kandel, Abraham (18)
- Levin, Vitaliĭ Il’ich (18)
- Pedrycz, Witold (18)
- Lau, Dietlinde (17)
- Nowik, Andrzej (17)
- Dubois, Didier (16)
- Muzio, Jon C. (16)
- Prade, Henri M. (14)
- Liu, Renren (13)
- Kudryavtsev, Valeriĭ Borisovich (12)
- Moraga, Claudio R. (12)
- Ol’shanskiĭ, Aleksandr Yur’evich (12)
- Sapir, Mark Valentinovich (12)
- Selezneva, Svetlana Nikolaevna (12)
- Dvurečenskij, Anatolij (11)
- Leivant, Daniel M. (11)
- Ugol’nikov, A. B. (11)
- Yablonskiĭ, Sergeĭ Vsevolodovich (11)
- Alekseev, Valeriĭ Borisovich (10)
- Burosch, Gustav (10)
- Kočinac, Ljubiša D. R. (10)
- Mukaidono, Masao (10)
- Davis, Martin David (9)
- Gottwald, Siegfried (9)
- Muroga, Saburo (9)
- Myasnikov, Alexei G. (9)
- Sasao, Tsutomu (9)
- Sessa, Salvatore (9)
- Thayse, André (9)
- Baczynski, Michal (8)
- Boros, Endre (8)
- Mesiar, Radko (8)
- Moschovakis, Yiannis Nicholas (8)
- Navara, Mirko (8)
- Riley, Timothy R. (8)
- Rosenberg, Ivo G. (8)
- Shapiro, Stewart (8)
- Birget, Jean-Camille (7)
- Chen, Xiexiong (7)
- Demetrovics, János (7)
- Hayes, John P. (7)
- Hikita, Teruo (7)
- Huber, Franz (7)
- Kabulov, Anvar Vasilievich (7)
- Liu, Huawen (7)
- Odifreddi, Piergiorgio (7)
- Raţă, Mefodij F. (7)
- Sharankhaev, Ivan Konstantinovich (7)
- Tošić, Ratko (7)
- Trillas, Enric (7)
- Weiss, Tomasz (7)
- Zakrevskiĭ, Arkadiĭ Dmitrievich (7)
- Avallone, Anna (6)
- Barendregt, Hendrik Pieter (6)
- Bedregal, Benjamín René Callejas (6)
- Calude, Cristian S. (6)
- Constable, Robert Lee (6)
- de Lucia, Paolo (6)
- Drechsler, Rolf (6)
- Feferman, Solomon (6)
- Flaminio, Tommaso (6)
- Gittenberger, Bernhard (6)
- Godo, Lluís (6)
- Golunkov, Yu. V. (6)
- Henno, Jaak (6)
- Kleene, Stephen Cole (6)
- Klir, George J. (6)
- Kochergin, Vadim Vasil’evich (6)
- Marek, V. Wiktor (6)
- Mesnager, Sihem (6)
- Mikhailovich, Anna Vital’evna (6)
- Miyakawa, Masahiro (6)
- Paris, Jeffrey Bruce (6)
- Perkowski, Marek A. (6)
- Peter, Rozsa (6)
- Popkov, Kirill Andreevich (6)
- Pulmannová, Sylvia (6)
- Romov, Boris A. (6)
- Rudeanu, Sergiu (6)
- Scheepers, Marion (6)
- Simpson, Stephen G. (6)
- Smullyan, Raymond Merrill (6)
- Stanković, Radomir S. (6)
- Vashchenko, V. P. (6)
- Wu, Xunwei (6)
- Zhuravlëv, Yuriĭ Ivanovich (6)
- Al-Rabadi, Anas N. (5)
- Alekhina, Marina An. (5)
- Arens, Tilo (5)
- Avsarkisyan, G. S. (5)
- Bella, Angelo (5)
- Bridges, Douglas Suth (5)
- Bridson, Martin R. (5)
- Bryant, Randal E. (5)
- Busam, Rolf (5)
- Bustince Sola, Humberto (5)
- Carson, Andrew B. (5)
- and 4,257 more Authors
all
top 5
Serial
- IEEE Trans. Comput. (121)
- Fuzzy Sets Syst. (96)
- Discrete Math. Appl. (54)
- Theor. Comput. Sci. (42)
- Autom. Remote Control (39)
- J. Symb. Log. (38)
- Mult.-Valued Log. (38)
- Notre Dame J. Formal Logic (37)
- Autom. Control Comput. Sci. (33)
- Inf. Sci. (33)
- Ann. Pure Appl. Logic (29)
- J. Mult.-Val. Log. Soft Comput. (29)
- Mosc. Univ. Math. Bull. (24)
- Avtom. Vychisl. Tekh. (Riga) (24)
- J. Philos. Log. (24)
- Stud. Log. (24)
- Mosc. Univ. Comput. Math. Cybern. (24)
- Rostocker Math. Kolloq. (21)
- Probl. Kibern. (21)
- Sov. Math., Dokl. (20)
- Digital Processes (20)
- Cybernetics (19)
- Nat. Sci. J. Xiangtan Univ. (19)
- Z. Math. Logik Grundlagen Math. (18)
- J. Log. Comput. (18)
- Elektron. Informationsverarbeitung Kybernetik (18)
- Discrete Appl. Math. (17)
- Topology Appl. (17)
- Math. Notes (16)
- Int. J. Algebra Comput. (16)
- Log. J. IGPL (16)
- Int. J. Approx. Reasoning (15)
- Stud. Logic Found. Math. (15)
- Int. J. Theor. Phys. (14)
- Kibernetika (14)
- Am. Math. Mon. (13)
- Int. J. Gen. Syst. (13)
- Kybernetika (13)
- SIAM J. Comput. (13)
- Synthese (13)
- BUSEFAL (13)
- Inf. Comput. (13)
- Soft Comput. (13)
- Prikl. Diskretn. Mat. (13)
- J. Math. Anal. Appl. (12)
- Zh. Vychisl. Mat. Mat. Fiz. (12)
- Fundam. Math. (12)
- Proc. Am. Math. Soc. (12)
- C. R. Acad. Sci., Paris, Sér. A (12)
- Acta Cybern. (11)
- Algebra Univers. (11)
- Inf. Control (11)
- Diskretn. Mat. (11)
- Arch. Math. Logic (11)
- Cybern. Syst. Anal. (11)
- Metody Diskretn. Anal. (11)
- Math. Log. Q. (11)
- ACM Trans. Comput. Log. (11)
- J. Assoc. Comput. Mach. (10)
- Publ. Inst. Math., Nouv. Sér. (10)
- Vestn. Mosk. Univ., Ser. I (10)
- Bull. Symb. Log. (10)
- Dokl. Math. (10)
- Diskretn. Anal. Issled. Oper., Ser. 1 (10)
- Artif. Intell. (9)
- Inf. Process. Lett. (9)
- J. Algebra (9)
- J. Comput. Syst. Sci. (9)
- J. Pure Appl. Algebra (9)
- Kybernetes (9)
- Zb. Rad., Prir.-Mat. Fak., Univ. Novom Sadu, Ser. Mat. (9)
- J. Log. Program. (9)
- U.S.S.R. Comput. Math. Math. Phys. (9)
- Philos. Math. (3) (9)
- J. Zhejiang Univ., Sci. Ed. (9)
- Log. Methods Comput. Sci. (9)
- Arch. Autom. Telemech. (8)
- J. Franklin Inst. (8)
- Math. Intell. (8)
- Automatica (8)
- Int. J. Comput. Inform. Sci. (8)
- Math. Slovaca (8)
- Fuzzy Math. (8)
- J. Autom. Reasoning (8)
- Math. Struct. Comput. Sci. (8)
- J. Appl. Non-Class. Log. (8)
- Theory Pract. Log. Program. (8)
- Diskret. Analiz, Novosibirsk (8)
- Lect. Notes Math. (8)
- Commun. Algebra (7)
- Comput. J. (7)
- Tatra Mt. Math. Publ. (7)
- Bull. Sect. Logic, Pol. Acad. Sci. (7)
- Lect. Notes Log. (7)
- Log. Issled. (7)
- Acta Inf. (6)
- Comput. Electr. Eng. (6)
- Comput. Math. Appl. (6)
- Rep. Math. Phys. (6)
- Algebra Logic (6)
- and 715 more Serials
all
top 5
Year of Publication
- 2024 (27)
- 2023 (43)
- 2022 (51)
- 2021 (61)
- 2020 (50)
- 2019 (46)
- 2018 (79)
- 2017 (61)
- 2016 (54)
- 2015 (80)
- 2014 (93)
- 2013 (85)
- 2012 (88)
- 2011 (92)
- 2010 (55)
- 2009 (54)
- 2008 (63)
- 2007 (64)
- 2006 (80)
- 2005 (67)
- 2004 (69)
- 2003 (70)
- 2002 (69)
- 2001 (71)
- 2000 (66)
- 1999 (90)
- 1998 (94)
- 1997 (79)
- 1996 (75)
- 1995 (76)
- 1994 (54)
- 1993 (75)
- 1992 (63)
- 1991 (83)
- 1990 (86)
- 1989 (73)
- 1988 (79)
- 1987 (101)
- 1986 (93)
- 1985 (84)
- 1984 (109)
- 1983 (99)
- 1982 (119)
- 1981 (103)
- 1980 (104)
- 1979 (120)
- 1978 (101)
- 1977 (59)
- 1976 (46)
- 1975 (64)
- 1974 (66)
- 1973 (42)
- 1972 (42)
- 1971 (15)
- 1970 (13)
- 1969 (5)
- 1968 (4)
- 1967 (14)
- 1966 (7)
- 1965 (11)
- 1964 (4)
- 1963 (9)
- 1962 (9)
- 1961 (3)
- 1960 (1)
- 1958 (1)
- 1957 (2)
- 1955 (1)
- 1954 (1)
- 1952 (1)
- 1951 (2)
- 1949 (1)
- 1945 (1)
- 1941 (2)
- 1939 (1)
- 1938 (2)
- 1937 (1)
- 1936 (1)
- 1935 (1)
- 1934 (1)
- 1915 (1)
- 1907 (1)
- 1875 (1)
- 1874 (6)
- 1873 (3)
all
top 3
Main Field
- 03-XX (2,766)
- 94-XX (1,530)
- 68-XX (997)
- 06-XX (366)
- 26-XX (268)
- 00-XX (251)
- 28-XX (217)
- 20-XX (214)
- 01-XX (192)
- 05-XX (175)
- 08-XX (143)
- 81-XX (142)
- 54-XX (141)
- 11-XX (124)
- 91-XX (114)
- 46-XX (96)
- 93-XX (89)
- 60-XX (84)
- 18-XX (70)
- 90-XX (51)
- 39-XX (45)
- 30-XX (40)
- 65-XX (40)
- 15-XX (38)
- 62-XX (34)
- 92-XX (29)
- 12-XX (28)
- 13-XX (27)
- 47-XX (25)
- 16-XX (24)
- 37-XX (21)
- 57-XX (21)
- 22-XX (20)
- 14-XX (17)
- 43-XX (17)
- 42-XX (14)
- 51-XX (14)
- 97-XX (14)
- 34-XX (13)
- 35-XX (13)
- 52-XX (13)
- 53-XX (12)
- 32-XX (10)
- 40-XX (9)
- 41-XX (9)
- 82-XX (9)
- 49-XX (7)
- 44-XX (6)
- 17-XX (5)
- 83-XX (5)
- 33-XX (4)
- 58-XX (4)
- 70-XX (4)
- 31-XX (3)
- 74-XX (3)
- 76-XX (3)
- 45-XX (2)
- 55-XX (2)
- 78-XX (1)
- 86-XX (1)
all
top 3
Biographic Reference
- Dedekind, Richard (3)
- Robinson, Abraham (3)
- Aristotle (2)
- Boole, George (2)
- Bourbaki, Nicolas (2)
- Cantor, Georg (2)
- Frege, Gottlob (2)
- Peano, Giuseppe (2)
- Puzyna, Józef (2)
- Shannon, Claude Elwood (2)
- Weyl, Hermann (2)
- Alexander of Aphrodisias (1)
- Babbage, Charles (1)
- Berkeley, George (1)
- Bolzano, Bernard (1)
- Bradwardine, Thomas (1)
- Brouwer, Luitzen Egbertus Jan (1)
- Cassirer, Ernst (1)
- Cavalieri, Bonaventura (1)
- Cohen, Hermann (1)
- Du Bois-Reymond, Paul (1)
- Feferman, Solomon (1)
- Fodor, Geza (1)
- Galilei, Galileo (1)
- Hintikka, Jaakko (1)
- Hobbes, Thomas (1)
- Hölder, Otto (1)
- Huygens, Christiaan (1)
- Kantorovich, Leonid Vital’evich (1)
- Kreisel, Georg (1)
- Kuznetsov, Aleksander Vladimirovich (1)
- Leibniz, Gottfried Wilhelm (1)
- Lesńiewski, Stanisław (1)
- Méray, Charles (1)
- Noether, Emmy (1)
- Parmenides (1)
- Peirce, Charles Sanders (1)
- Poincaré, Henri (1)
- Post, Emil Leon (1)
- Robinson, Julia (1)
- Rolle, Michel (1)
- Russell, Bertrand (1)
- Sanden, G. (1)
- Schwichtenberg, Helmut (1)
- Skolem, Thoralf (1)
- Turing, Alan Mathison (1)
- Volterra, Vito (1)
- von Tschirnhaus, Ehrenfried Walther (1)
- Wallis, John (1)
- Weierstraß, Karl (1)
- Zahorski, Zygmunt (1)
- Zeno of Elea (1)
all
top 3
Software
- Coq (11)
- HOL (8)
- JBool (8)
- Isabelle/HOL (7)
- Mathematica (7)
- Chaff (6)
- Isabelle/ZF (6)
- Matlab (6)
- ALGOL 60 (5)
- Automath (5)
- ML (5)
- Nuprl (5)
- OEIS (5)
- Clingcon (4)
- ESPRESSO (4)
- GitHub (4)
- Isabelle (4)
- NQTHM (4)
- ASSAT (3)
- Datalog (3)
- ETPS (3)
- Fuzzy Logic Toolbox (3)
- Gringo (3)
- HOL Light (3)
- Haskell (3)
- LCF (3)
- Ltur (3)
- Mizar (3)
- PVS (3)
- RevLib (3)
- XBOOLE (3)
- Z (3)
- z3 (3)
- ALGOL 68 (2)
- ATERM (2)
- Alloy (2)
- BSDS (2)
- CP-nets (2)
- GAP (2)
- Geo 2007F (2)
- IMPS (2)
- ISETL (2)
- LEGO (2)
- LIPSAT (2)
- Leibniz (2)
- Maple (2)
- Maude (2)
- MiniSat (2)
- ModelSim (2)
- OTTER (2)
- QPL (2)
- SEC-DED (2)
- SETL (2)
- SMT-LIB (2)
- SageMath (2)
- Simulink (2)
- TPS (2)
- Walksat (2)
- YALMIP (2)
- ABC (1)
- ABINIT (1)
- ABY (1)
- ACL2 (1)
- AEtnaNova (1)
- APL (1)
- AProVE (1)
- ARA (1)
- ASIFT (1)
- ASPMT2SMT (1)
- Ada95 (1)
- Adam (1)
- Alt-Ergo (1)
- Analytica (1)
- Archive Formal Proofs (1)
- BABEL (1)
- BGSL (1)
- BLANKS (1)
- BLAST (1)
- BNB (1)
- BRISK (1)
- BarcelogicTools (1)
- BerkMin (1)
- Binary Multirelations (1)
- BinaryConnect (1)
- BinaryNet (1)
- CBMC (1)
- CCalc (1)
- CIFAR (1)
- CPLEX (1)
- CRAG (1)
- CUDD (1)
- CVC Lite (1)
- CVC4 (1)
- CVT (1)
- CakeML (1)
- CalcCheck (1)
- Circuits (1)
- CoLoSS (1)
- Coquelicot (1)
- DAVID_IAN (1)
- and 130 more Software Packages
