Found 551 Documents (Results 1–100)
Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis. (English) Zbl 07889314
On the role of automation in an epidemic. (English) Zbl 07868302
MSC:
91-XX
Linear internal stability for mixed traffic flow of CAVs with different automation levels. (English) Zbl 07866107
MSC:
82-XX
Analytic auxiliary mass flow to compute master integrals in singular kinematics. (English) Zbl 07862158
MSC:
81-XX
The colourful antenna subtraction method. (English) Zbl 07862113
MSC:
81-XX
Automated superconducting qubit characterization platform based on a modified 3D printer. (English) Zbl 1542.81185
Confluence criteria for logically constrained rewrite systems. (English) Zbl 07838503
Pientka, Brigitte (ed.) et al., Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14132, 474-490 (2023).
Tensor reduction of loop integrals. (English) Zbl 07807286
MSC:
81-XX
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy. (English) Zbl 07801577
Continuous assessment and improvement of software quality with devops-based hybrid model of automation tools. (English) Zbl 07790691
MSC:
68Nxx
Scheduling multi-staged jobs on parallel identical machines and a central server with sequence-dependent setup times: an application to an automated kitchen. (English) Zbl 07764424
MSC:
90Bxx
Benefit of connectivity on promoting stability and capacity of traffic flow in automation era: an Analytical and Numerical investigation. (English) Zbl 1535.90041
MSC:
90B20
Integrating by parts at finite density. (English) Zbl 07749087
MSC:
81-XX
Reduction to master integrals via intersection numbers and polynomial expansions. (English) Zbl 07749050
MSC:
81-XX
An algorithmic approach to finding canonical differential equations for elliptic Feynman integrals. (English) Zbl 07748995
MSC:
81-XX
Technological knowledge and wages: from skill premium to wage polarization. (English) Zbl 1522.91145
Automation of the application of data distribution with overlapping in distributed memory. (Russian. English summary) Zbl 07745082
MSC:
68-XX
An automated treatment planning strategy for highly noncoplanar radiotherapy arc trajectories. (English) Zbl 07744644
MSC:
90-XX
Human-centered driving authority allocation for driver-automation shared control: a two-layer game-theoretic approach. (English) Zbl 07735652
MSC:
82-XX
Optimal probabilistic motion planning with potential infeasible LTL constraints. (English) Zbl 1541.93234
The effects of explanations on automation bias. (English) Zbl 07732227
MSC:
68Txx
Can language models automate data wrangling? (English) Zbl 07712823
MSC:
68T05
Capital-augmenting technical change in the context of untapped automation opportunities. (English) Zbl 1520.91215
MSC:
91B38
Assessing the communication gap between AI models and healthcare professionals: explainability, utility and trust in AI-driven clinical decision-making. (English) Zbl 07697279
MSC:
68Txx
A solver for arrays with concatenation. (English) Zbl 07695707
MSC:
68V15
Module intersection and uniform formula for iterative reduction of one-loop integrals. (English) Zbl 1541.81123
Koopman operator-based driver-vehicle dynamic model for shared control systems. (English) Zbl 1510.93212
Springer handbook of automation. With 809 figures and 151 tables. With forewords by A. Isidori, H.-J. Bullinger, S. W. Holland, Y. Inaba and M. Shoham. 2nd revised and updated edition. (English) Zbl 1518.93001
Springer Handbooks. Cham: Springer (ISBN 978-3-030-96728-4/hbk; 978-3-030-96729-1/ebook). lii, 1536 p. (2023).
User interface design in the holpy theorem prover (invited talk). (English) Zbl 07881115
Andronick, June (ed.) et al., 13th international conference on interactive theorem proving, ITP 2022, Haifa, Israel, August 7–10, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 237, Article 2, 1 p. (2022).
MSC:
68V15
Towards a SAT encoding for quantum circuits: a journey from classical circuits to Clifford circuits and beyond. (English) Zbl 07880739
Meel, Kuldeep S. (ed.) et al., 25th international conference on theory and applications of satisfiability testing, SAT 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 236, Article 18, 17 p. (2022).
Uneven growth: automation’s impact on income and wealth inequality. (English) Zbl 1541.91172
MSC:
91B62
The dynamics of task automation and worker adjustment in labor markets: an agent-based approach. (English) Zbl 07843166
MSC:
91-XX
Continuous interval type-2 fuzzy Q-learning algorithm for trajectory tracking tasks for vehicles. (English) Zbl 1528.93123
VLSI physical design: from graph partitioning to timing closure. 2nd edition. (English) Zbl 1531.68015
Cham: Springer (ISBN 978-3-030-96414-6/hbk; 978-3-030-96417-7/pbk; 978-3-030-96415-3/ebook). xvii, 317 p. (2022).
A unified formulation of one-loop tensor integrals for finite volume effects. (English) Zbl 1536.81068
Construction of complex shell models of turbulent systems by computer algebra methods. (Russian. English summary) Zbl 1538.76091
Local unitarity: cutting raised propagators and localising renormalisation. (English) Zbl 1534.81094
Looking ahead at the effects of automation in an economy with matching frictions. (English) Zbl 1517.91052
MSC:
91B39
Automated expected amortised cost analysis of probabilistic data structures. (English) Zbl 1514.68049
Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 70-91 (2022).
Features of building a microservice system for modeling non-stationary states of nonlinear circuits. (Russian. English summary) Zbl 1500.93078
MSC:
93C85
Number of labelings of definite automata graphs. (English. Russian original) Zbl 07584509
Mosc. Univ. Math. Bull. 77, No. 2, 102-107 (2022); translation from Vestn. Mosk. Univ., Ser. I 77, No. 2, 71-75 (2022).
Optimization study of three-stage assembly flowshop problem in pharmacy automation dispensing systems. (English) Zbl 1520.90115
Flood inundation prediction. (English) Zbl 1491.76011
Moin, Parviz (ed.) et al., Annual review of fluid mechanics. Vol. 54. Palo Alto, CA: Annual Reviews. Annu. Rev. Fluid Mech. 54, 287-315 (2022).
Should robots be taxed? (English) Zbl 1484.91296
Demographics and automation. (English) Zbl 1484.91233
Integrating side channel security in the FPGA hardware design flow. (English) Zbl 07633697
Bertoni, Guido Marco (ed.) et al., Constructive side-channel analysis and secure design. 11th international workshop, COSADE 2020, Lugano, Switzerland, April 1–3, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12244, 275-290 (2021).
ATLAS: automated amortised complexity analysis of self-adjusting data structures. (English) Zbl 1493.68129
Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 99-122 (2021).
A graph cellular automaton with relation-based neighbourhood describing the impact of peer influence on the consumption of marijuana among college-aged youths. (English) Zbl 1494.92145
Reviewer: Yuriy V. Rogovchenko (Kristiansand)
Verified interactive computation of definite integrals. (English) Zbl 1540.68278
Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 485-503 (2021).
Human-machine interaction control for stochastic cell manipulation systems. (English) Zbl 1478.93457
A cyber-physical system for building automation and control based on a distributed MPC with an efficient method for communication. (English) Zbl 1472.93066
Backtracking gradient descent method and some applications in large scale optimisation. II: Algorithms and experiments. (English) Zbl 07410946
Optimized synthesis of snapping fixtures. (English) Zbl 1469.68138
Lavalle, Steven M. (ed.) et al., Algorithmic foundations of robotics XIV. Proceedings of the fourteenth workshop on the algorithmic foundations of robotics. Cham: Springer. Springer Proc. Adv. Robot. 17, 143-158 (2021).
Fast numerical algorithm for calculating the given instability of the zero level of DC amplifiers. (Russian. English summary) Zbl 1466.94060
MSC:
94C05
\(AMP^2\): a fully automated program for ab initio calculations of crystalline materials. (English) Zbl 1525.82031
Practical proof search for Coq by type inhabitation. (English) Zbl 07614661
Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 28-57 (2020).
MSC:
68V15
Public announcement logic in HOL. (English) Zbl 1509.03065
Martins, Manuel A. (ed.) et al., Dynamic logic. New trends and applications. Third international workshop, Dalí 2020, Prague, Czech Republic, October 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12569, 222-238 (2020).
Introducing design automation for quantum computing. (English) Zbl 1479.81004
Cham: Springer (ISBN 978-3-030-41752-9/hbk; 978-3-030-41755-0/pbk; 978-3-030-41753-6/ebook). x, 222 p. (2020).
Reviewer: Carlos Pedro Gonçalves (Lisboa)
Use of the hyperelastic model for plastic materials by example of the three-bar truss. (English) Zbl 1464.74037
Paul Klee’s “Honey-writing”. Some reflections on the relation of automatism, automation, machines and mathematics. (English) Zbl 1454.00031
Emmer, Michele (ed.) et al., Imagine math 7. Between culture and mathematics. Proceedings of the international conference on mathematics and culture, Venice, Italy, March 29–31, 2019. Cham: Springer. 5-29 (2020).
MSC:
00A66
Leveraging Horn clause solving for compositional verification of PLC software. (English) Zbl 1435.68190
Event-based functional decomposition. (English) Zbl 1435.68062
MSC:
68N30
The implications of automation for economic growth when investment decisions are irreversible. (English) Zbl 1429.91207
MSC:
91B62
Hammering Mizar by learning clause guidance (short paper). (English) Zbl 07649983
Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 34, 8 p. (2019).
Ornaments for proof reuse in Coq. (English) Zbl 07649975
Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 26, 19 p. (2019).
MSC:
68V15
Stability analysis of an improved car-following model accounting for the driver’s characteristics and automation. (English) Zbl 07566439
MSC:
82-XX
Feedforward optimal control for precise displacement of a rigid body: minimal electrical energy. (English) Zbl 1458.49002
A hybrid deep learning architecture for classification of microscopic damage on national ignition facility laser optics. (English) Zbl 07260656
Increase of efficiency of systems of modeling electronic circuits in the frequency domain. (Russian. English summary) Zbl 1452.78021
Reviewer: Vladimir Čadež (Beograd)
Programmable manufacturing advisor – a tool for automating decision-making in production systems. (English. Russian original) Zbl 1436.90001
Autom. Remote Control 80, No. 11, 1929-1948 (2019); translation from Avtom. Telemekh. 2019, No. 11, 3-23 (2019).
Composing proof terms. (English) Zbl 1535.68123
Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 337-353 (2019).
Co-design of safe and efficient networked control systems in factory automation with state-dependent wireless fading channels. (English) Zbl 1429.93136
Robust orientation control of multi-DOF cell based on uncertainty and disturbance estimation. (English) Zbl 1426.93071
Optimal codesign of industrial networked control systems with state-dependent correlated fading channels. (English) Zbl 1426.93198
Two cryptomorphic formalizations of projective incidence geometry. (English) Zbl 1415.51007
Reviewer: Steven T. Dougherty (Scranton)
MSC:
51E20
Automated sortation conveyors: a survey from an operational research perspective. (English) Zbl 1430.90063
Tracking control of electro-pneumatic systems based on Petri nets. (English) Zbl 1530.93284
Madani, Kurosh (ed.) et al., ICINCO 2018. Proceedings of the 15th international conference on informatics in control, automation and robotics, Porto, Portugal, July 29–31, 2018. In 2 volumes. Setúbal: SCITEPRESS – Science and Technology Publications. 344-354, Vol. 1 (2018).
Formalizing some “small” finite models of projective geometry in Coq. (English) Zbl 1515.68349
Fleuriot, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11110, 54-69 (2018).
Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties. (English) Zbl 1485.93277
Completion for logically constrained rewriting. (English) Zbl 1462.68098
Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 30, 18 p. (2018).
Filter Results by …
Document Type
- Journal Articles (303)
- Collection Articles (150)
- Books (98)
all
top 5
Author
- Middeldorp, Aart (12)
- Moser, Georg (12)
- Benzmüller, Christoph Ewald (6)
- Avanzini, Martin (5)
- Zankl, Harald (5)
- Leondes, Cornelius Thomas (4)
- Nof, Shimon Y. (4)
- Anisimov, Vladimir I. (3)
- Dreyer, Derek R. (3)
- Felgenhauer, Bertram (3)
- Gridin, V. N. (3)
- Leutgeb, Lorenz (3)
- Mohammadian, Masoud (3)
- Nanevski, Aleksandar (3)
- Reina, Laura (3)
- Reuschle, Christian (3)
- Schnieder, Eckehard (3)
- Schreck, Pascal (3)
- Winkler, Sarah (3)
- Ziliani, Beta (3)
- Zuleger, Florian (3)
- Acharya, Ira (2)
- An, Xuemei (2)
- Aoto, Takahito (2)
- Appel, Andrew W. (2)
- Becker, Bernd (2)
- Bender, Klaus (2)
- Biwer, Gerhard (2)
- Braun, David J. (2)
- Brown, Chad Edward (2)
- Broy, Manfred (2)
- Bundy, Alan (2)
- Cao, Haotian (2)
- Carson, Daniel F. (2)
- Cavalcanti, Ana (2)
- Chadeev, V. M. (2)
- Cummings, Mary L. (2)
- Czajka, Łukasz (2)
- Davydov, G. V. (2)
- Durdu, Ömer Faruk (2)
- Edgar, Thomas F. (2)
- Fontana, Gaia (2)
- Funke, Axel (2)
- Gehrmann, Thomas (2)
- Glover, E. W. N. (2)
- Gonthier, Georges (2)
- Gückel, H. (2)
- Guo, Wenfeng (2)
- Hachtel, Gary D. (2)
- Hahn, Juergen (2)
- Heidepriem, J. (2)
- Hirokawa, Nao (2)
- Hirschi, Valentin (2)
- Hu, Bin (2)
- Hu, Hongpu (2)
- Hu, Jin (2)
- Isidori, Alberto (2)
- Kabulov, Vasil Kabulovich (2)
- Kahng, Andrew B. (2)
- Kaliszyk, Cezary (2)
- Kapitonova, Yu. V. (2)
- Katz, Marianne (2)
- Khoshafian, Setrag (2)
- Kim, Myunghwan (2)
- Kohlhase, Michael (2)
- Leiserson, Charles E. (2)
- Li, Yue (2)
- Liang, Wannian (2)
- Lienig, Jens (2)
- Loveland, Donald W. (2)
- Luqi (2)
- Magaud, Nicolas (2)
- Markov, Igor L. (2)
- Maslov, S. Yu. (2)
- Melkumyan, Arman (2)
- Mihali, Raul (2)
- Mints, Grigoriĭ Efroimovich (2)
- Morel, Gérard (2)
- Orevkov, V. P. (2)
- Patton, Peter C. (2)
- Pétin, Jean-François (2)
- Pinnekamp, Friedrich (2)
- Ponomarev, V. M. (2)
- Pozzorini, Stefano (2)
- Prawitz, Dag (2)
- Quackenbush, Seth (2)
- Reiche, Sebastian (2)
- Restrepo, Pascual (2)
- Robinson, George A. (2)
- Robinson, John Alan (2)
- Sebastiany, Thomas (2)
- Siekmann, Jörg H. (2)
- Slisenko, A. O. (2)
- Sobh, Tarek M. (2)
- Somenzi, Fabio (2)
- Song, Xiaolin (2)
- Sternagel, Thomas (2)
- Terwiesch, Peter (2)
- Thiele, Rainer (2)
- Urbain, Xavier (2)
- and 1,093 more Authors
all
top 5
Serial
- J. High Energy Phys. (14)
- Comput. Phys. Commun. (9)
- Comput.-Aided Des. (8)
- J. Autom. Reasoning (7)
- Autom. Remote Control (6)
- Physica A (5)
- Inf. Comput. (5)
- Automatisierungstechnik (5)
- Eur. J. Control (5)
- Int. J. Syst. Sci. (4)
- Automatica (4)
- Comput. Oper. Res. (4)
- Formal Asp. Comput. (4)
- Econ. Lett. (4)
- Discrete Event Dyn. Syst. (4)
- Eur. J. Oper. Res. (4)
- Control Dyn. Syst., Adv. Theory Appl. (4)
- Appl. Math. Comput. (3)
- IEEE Trans. Comput. (3)
- Inf. Sci. (3)
- Kybernetes (3)
- Rev. Econ. Stud. (3)
- J. Symb. Comput. (3)
- Syst. Anal. Modell. Simul. (3)
- Int. J. Robust Nonlinear Control (3)
- Mat. Model. (3)
- Kluwer Int. Ser. Eng. Comput. Sci. (3)
- Concurrent Syst. Eng. Ser. (3)
- Artif. Intell. (2)
- Int. J. Numer. Methods Fluids (2)
- J. Comput. Phys. (2)
- ACM Trans. Math. Softw. (2)
- IEEE Trans. Autom. Control (2)
- J. Oper. Res. Soc. (2)
- Theor. Comput. Sci. (2)
- Sci. Comput. Program. (2)
- Int. J. Prod. Res. (2)
- Parallel Comput. (2)
- Avtom., Izchislitelna Tekh., Avtom. Sist. (2)
- J. Econ. Dyn. Control (2)
- Integr., VLSI J. (2)
- Ann. Oper. Res. (2)
- J. Intell. Robot. Syst. (2)
- Appl. Math. Comput. Sci. (2)
- Digital Processes (2)
- Adv. Eng. Softw. (2)
- Vopr. Vychisl. Prikl. Mat. (2)
- Inf.-Fachber. (2)
- Log. Methods Comput. Sci. (2)
- Math. Geosci. (2)
- Vestn. Yuzhno-Ural. Gos. Univ., Ser. Mat. Model. Program. (2)
- Algorithms (Basel) (2)
- J. Log. Algebr. Methods Program. (2)
- Mod. Phys. Lett. B (1)
- Autom. Control Comput. Sci. (1)
- Biol. Cybern. (1)
- Comput. Fluids (1)
- Comput. Math. Appl. (1)
- Discrete Appl. Math. (1)
- Int. J. Theor. Phys. (1)
- Inf. Process. Lett. (1)
- J. Franklin Inst. (1)
- J. Math. Phys. (1)
- J. Stat. Phys. (1)
- Mosc. Univ. Math. Bull. (1)
- Phys. Lett., A (1)
- Scand. J. Stat. (1)
- ACM Trans. Database Syst. (1)
- J. Guid. Control Dyn. (1)
- Sov. Appl. Mech. (1)
- Appl. Math. Optim. (1)
- Computing (1)
- Econometrica (1)
- Inf. Control (1)
- Int. J. Numer. Methods Eng. (1)
- J. Comput. Syst. Sci. (1)
- J. Econom. (1)
- J. Optim. Theory Appl. (1)
- Kybernetika (1)
- Manage. Sci. (1)
- Math. Comput. Simul. (1)
- Nav. Res. Logist. (1)
- Oper. Res. (1)
- Opsearch (1)
- Program. Comput. Softw. (1)
- RAIRO, Inf. Théor. (1)
- SIAM J. Comput. (1)
- Softw., Pract. Exper. (1)
- Soobshch. Akad. Nauk Gruz. SSR (1)
- Stud. Log. (1)
- Szigma (1)
- Cybernetics (1)
- Sov. Autom. Control (1)
- Eng. Cybern. (1)
- Math. Soc. Sci. (1)
- Oper. Res. Lett. (1)
- Acta Autom. Sin. (1)
- J. Syst. Sci. Math. Sci. (1)
- J. Log. Program. (1)
- Trait. Signal (1)
- and 104 more Serials
all
top 5
Year of Publication
- 2024 (11)
- 2023 (25)
- 2022 (22)
- 2021 (13)
- 2020 (12)
- 2019 (13)
- 2018 (14)
- 2017 (7)
- 2016 (11)
- 2015 (12)
- 2014 (11)
- 2013 (13)
- 2012 (13)
- 2011 (15)
- 2010 (17)
- 2009 (70)
- 2008 (11)
- 2007 (6)
- 2006 (10)
- 2005 (6)
- 2004 (4)
- 2003 (18)
- 2002 (12)
- 2001 (14)
- 2000 (13)
- 1999 (11)
- 1998 (8)
- 1997 (6)
- 1996 (11)
- 1995 (15)
- 1994 (7)
- 1993 (9)
- 1992 (7)
- 1991 (12)
- 1990 (10)
- 1989 (10)
- 1988 (10)
- 1987 (4)
- 1986 (7)
- 1985 (7)
- 1984 (2)
- 1983 (9)
- 1982 (5)
- 1981 (3)
- 1980 (3)
- 1979 (9)
- 1978 (4)
- 1977 (4)
- 1971 (1)
- 1969 (1)
- 1967 (1)
- 1963 (1)
- 1962 (1)
all
top 3
Main Field
- 68-XX (269)
- 93-XX (150)
- 90-XX (94)
- 00-XX (44)
- 94-XX (44)
- 03-XX (33)
- 91-XX (31)
- 65-XX (29)
- 81-XX (26)
- 92-XX (19)
- 82-XX (17)
- 62-XX (16)
- 74-XX (12)
- 05-XX (11)
- 70-XX (11)
- 78-XX (8)
- 37-XX (6)
- 60-XX (6)
- 76-XX (6)
- 01-XX (5)
- 86-XX (5)
- 35-XX (4)
- 49-XX (4)
- 51-XX (3)
- 08-XX (2)
- 34-XX (2)
- 97-XX (2)
- 15-XX (1)
- 17-XX (1)
- 26-XX (1)
- 33-XX (1)
- 39-XX (1)
- 44-XX (1)
- 45-XX (1)
- 80-XX (1)
all
top 3
Software
- Coq (19)
- Isabelle/HOL (12)
- Tyrolean (7)
- GitHub (6)
- z3 (6)
- CSI (5)
- HOL (5)
- Kira (5)
- CiME (4)
- CutTools (4)
- FIRE (4)
- FORM (4)
- FiniteFlow (4)
- Isabelle (4)
- Matlab (4)
- VAMPIRE (4)
- AMFlow (3)
- AProVE (3)
- Amortized Complexity (3)
- BlackHat (3)
- Coq/SSReflect (3)
- Ctrl (3)
- DiffExp (3)
- E Theorem Prover (3)
- Flyspeck (3)
- GoSam (3)
- Herwig++ (3)
- LiteRed (3)
- Mizar (3)
- Mtac (3)
- Nitpick (3)
- POWHEG BOX (3)
- Reduze (3)
- SEPIA (3)
- Saigawa (3)
- Satallax (3)
- TPTP (3)
- TcT (3)
- UMDES (3)
- ACL2 (2)
- Agda (2)
- ArcAngelC (2)
- Automath (2)
- COLLIER (2)
- CeTA (2)
- Circus (2)
- CoLoR (2)
- CompCert (2)
- Conditional Confluence (2)
- CoqHammer (2)
- DOLFIN (2)
- Dafny (2)
- DeepMath (2)
- FEniCS (2)
- FIAT (2)
- FireFly (2)
- Golem95 (2)
- HELAC-1LOOP (2)
- HOL Light (2)
- HarmonicSums (2)
- Idris (2)
- Irdis (2)
- JProver (2)
- Lean (2)
- Leo-III (2)
- Locales (2)
- ML4PG (2)
- MaLARea (2)
- MaLeCoP (2)
- Matchbox (2)
- MiniSat (2)
- Modelica (2)
- NLOX (2)
- Ninja (2)
- OCaml (2)
- OEIS (2)
- OpenLoops (2)
- OreSys (2)
- PentagonFunctions (2)
- Proof General (2)
- Ptolemy (2)
- REVE (2)
- SHERPA (2)
- SPEED (2)
- SPIN (2)
- SeaSyde (2)
- Sledgehammer (2)
- Slothrop (2)
- TacticToe (2)
- TiML (2)
- Toolchain (2)
- VST-Floyd (2)
- VeriML (2)
- Z (2)
- ZRC (2)
- seL4 (2)
- ABC (1)
- ABINIT (1)
- ABsolver (1)
- ADIC (1)
- and 265 more Software Packages