Search results
From MaRDI portal
- Paper A possibilistic linear program is equivalent to a stochastic linear program in a special case 1997-02-23 Paper AN INTERACTIVE FUZZY SATISFICING METHOD...10 bytes (16 words) - 00:19, 9 December 2023
- with Coq proof objects 2022-08-12 Paper Algebraic program analysis 2022-03-25 Paper Programmable program synthesis 2022-03-25 Paper Synthesis with asymptotic...10 bytes (19 words) - 17:23, 12 December 2023
- 1984-01-01 Paper In memoriam. Bo Östen Almroth 1984-01-01 Paper Panda—Interactive program for minimum weight design of stiffened cylindrical panels and shells...10 bytes (18 words) - 22:30, 11 December 2023
- Paper A hierarchical interactive method for ranking alternatives with multiple qualitative criteria 1986-01-01 Paper A visual interactive method for solving...10 bytes (18 words) - 16:51, 6 December 2023
- Basis for Verifying Multi-threaded Programs 2009-03-31 Paper HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier 2008-12-04 Paper Verification...10 bytes (20 words) - 14:45, 12 December 2023
- An adaptation of PRIAM to multiobjective linear programming 1987-01-01 Paper PRIAM, an interactive program for chosing among multiple attribute alternatives...10 bytes (18 words) - 18:26, 8 December 2023
- Paper On the algebraic definition of programming languages 1987-01-01 Paper Algebraic implementations preserve program correctness 1986-01-01 Paper A theory...10 bytes (17 words) - 08:16, 9 December 2023
- 2011-10-21 Paper The Matita Interactive Theorem Prover 2011-07-29 Paper Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita 2011-07-29...10 bytes (17 words) - 15:52, 10 December 2023
- algorithm for dc solutions in an experimental general purpose interactive circuit design program 1977-01-01 Paper...10 bytes (18 words) - 03:55, 9 December 2023
- Publication Type \textsc{Prawf}: an interactive proof system for program extraction 2022-12-16 Paper Optimized program extraction for induction and coinduction...10 bytes (16 words) - 18:27, 24 September 2023
- Publication Type Automated discovery of angle theorems 2024-01-08 Paper A program to create new geometry proof problems 2024-01-08 Paper A symbolic dynamic...10 bytes (18 words) - 11:20, 13 December 2023
- Publication Date of Publication Type Program synthesis for interactive-security systems 2018-02-14 Paper Complexity verification using guided theorem enumeration...10 bytes (18 words) - 21:14, 24 September 2023
- Simultaneous amplification: the case of non-interactive zero-knowledge 2020-03-09 Paper Sum-of-squares meets program obfuscation, revisited 2020-02-04 Paper...10 bytes (17 words) - 00:18, 13 December 2023
- strings for 0-1 programming problems 2003-04-10 Paper An interactive fuzzy satisficing method for multiobjective stochastic linear programming problems through...10 bytes (16 words) - 22:03, 11 December 2023
- 1989-01-01 Paper Interactive decision making for multiobjective nonlinear programming problems with fuzzy parameters 1989-01-01 Paper An interactive fuzzy satisficing...10 bytes (16 words) - 13:51, 11 December 2023
- methods of ensuring interactive consistency in distributed computing systems 1992-06-25 Paper Randomized algorithm of interactive information consistency...10 bytes (18 words) - 10:39, 12 December 2023
- Non-interactive Zero-Knowledge Arguments 2010-12-07 Paper Short Non-interactive Zero-Knowledge Proofs 2010-12-07 Paper Pairing-Based Non-interactive Zero-Knowledge...10 bytes (17 words) - 13:08, 7 October 2023
- linear production programming problems with fuzzy parameters 2001-06-27 Paper Interactive fuzzy programming for multi-level linear programming problems with...10 bytes (16 words) - 00:19, 9 December 2023
- C: Verifying Program Executions Succinctly and in Zero Knowledge 2013-09-17 Paper Succinct Non-interactive Arguments via Linear Interactive Proofs 2013-03-18...10 bytes (16 words) - 11:22, 7 October 2023
- Paper Succinct Non-interactive Arguments via Linear Interactive Proofs 2013-03-18 Paper Succinct Arguments from Multi-prover Interactive Proofs and Their...10 bytes (16 words) - 07:20, 7 October 2023