المؤلفون: Freek Wiedijk

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 53, Iss Proc. TYPES 2009, Pp 47-61 (2011)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1103.3322v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/8d3b6a55843149479f4b92ebda5aebf7

المؤلفون: Herman Geuvers, Robbert Krebbers, James McKinna, Freek Wiedijk

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 34, Iss Proc. LFMTP 2010, Pp 53-67 (2010)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1009.2792v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/ab0f74afc74e46b3ac6465389c6c28f0

المؤلفون: Maxim Hendriks, Cezary Kaliszyk, Femke van Raamsdonk, Freek Wiedijk

المصدر: Acta Didactica Napocensia, Vol 3, Iss 2, Pp 35-48 (2010)

مصطلحات موضوعية: Logic Education, Proof Assistants, Coq, Web Interface, Natural Deduction, Education (General), L7-991

وصف الملف: electronic resource

Relation: http://adn.teaching.ro/v3n2a4.htm; https://doaj.org/toc/2065-1430

URL الوصول: https://doaj.org/article/7f94b26d134b46f7ada5c91730198ed8

المؤلفون: John Harrison, Josef Urban, Freek Wiedijk

المصدر: Journal of Formalized Reasoning, Vol 9, Iss 1, Pp 1-2 (2016)

مصطلحات موضوعية: QED, formal verification, formalization of mathematics, Electronic computers. Computer science, QA75.5-76.95, Analytic mechanics, QA801-939

وصف الملف: electronic resource

Relation: http://jfr.unibo.it/article/view/5974; https://doaj.org/toc/1972-5787

URL الوصول: https://doaj.org/article/af4e3da7e04145a1b6df80714e11ab54

المؤلفون: Freek Wiedijk

المصدر: Logical Methods in Computer Science, Vol Volume 8, Issue 1 (2012)

مصطلحات موضوعية: computer science - logic in computer science, f.4.1, i.2.3, i.2.4, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/1046/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/d4c6ad94698042958c0761082af349e9

المؤلفون: Freek Wiedijk, Michael Beeson, Julien Narboux

المساهمون: San Jose State University [San Jose] (SJSU), Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Institute for Computing and Information Sciences [Nijmegen] (ICIS), Radboud University [Nijmegen], San Jose State University [San José] (SJSU), Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Réseau nanophotonique et optique, Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Matériaux et nanosciences d'Alsace (FMNGE), Institut de Chimie du CNRS (INC)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Institut de Chimie du CNRS (INC)-Université de Strasbourg (UNISTRA)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS), Radboud university [Nijmegen]

المصدر: Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence, 2019, pp.53. ⟨10.1007/s10472-018-9606-x⟩
Annals of Mathematics and Artificial Intelligence, 85, 2-4, pp. 213-257
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2019, pp.53. ⟨10.1007/s10472-018-9606-x⟩
Annals of Mathematics and Artificial Intelligence, 85, 213-257

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Correctness, formalization, Computer science, 02 engineering and technology, Mathematical proof, Fragment (logic), Artificial Intelligence, Simple (abstract algebra), Euclidean geometry, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, HOL-Light, 0202 electrical engineering, electronic engineering, information engineering, Calculus, Hol light, Software Science, Coq, Axiom, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], Applied Mathematics, Euclid, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, Logic in Computer Science (cs.LO), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Proof checking, F.4.1, ITP, 020201 artificial intelligence & image processing, Software_PROGRAMMINGLANGUAGES, 03A99

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aea93a5c512a30eb3feab607e2897a27
https://hdl.handle.net/2066/201509

المؤلفون: Freek Wiedijk, Timmy Weerwag, Benoît Viguier, Peter Schwabe

المصدر: CSF 2021: 34th IEEE Computer Security Foundations Symposium, June 21-25. 2021-Virtual Conference, pp. 529-544
CSF 2021: 34th IEEE Computer Security Foundations Symposium, June 21-25. 2021-Virtual Conference, 529-544. Los Alamitos : IEEE
STARTPAGE=529;ENDPAGE=544;TITLE=CSF 2021: 34th IEEE Computer Security Foundations Symposium, June 21-25. 2021-Virtual Conference
CSF

مصطلحات موضوعية: Algebra, Automated theorem proving, Correctness, Computer science, Curve25519, Software Science, Digital Security, Mathematical proof, Scalar multiplication, Formal verification, Toolchain, Undefined behavior

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7af02581d86f214e1dae9a3667abd782
https://repository.ubn.ru.nl/handle/2066/236529

المؤلفون: Venanzio Capretta, Robbert Krebbers, Freek Wiedijk

نوع المادة: eBook.

الموضوعات: Computer science, Computer science—Mathematics, Mathematics

تصنيفات: COMPUTERS / General, COMPUTERS / Computer Science, MATHEMATICS / Applied

المؤلفون: Aaron Ballman, Alex Gilding, Jens Gustedt, Tom Scogland, Robert Seacord, Martin Uecker, Freek Wiedijk

المساهمون: Chercheur indépendant, Perforce, Compilation pour les Architectures MUlti-coeurS (CAMUS), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et nanosciences d'Alsace (FMNGE), Institut de Chimie du CNRS (INC)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Institut de Chimie du CNRS (INC)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA), Lawrence Livermore National Laboratory (LLNL), NCC Group, University Medical Center Göttingen (UMG), Radboud university [Nijmegen], Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Radboud University [Nijmegen]

المصدر: ISO TC1/SC22/WG14, pp.57, 2020
HAL

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b71598b06603fa82e422476846536527
https://hal.inria.fr/hal-02953399

المؤلفون: Freek Wiedijk, Laurent Théry

المساهمون: Mathematical, Reasoning and Software (MARELLE), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institute for Computing and Information Sciences [Nijmegen] (ICIS), Radboud university [Nijmegen], Radboud University [Nijmegen]

المصدر: Mathematics in Computer Science, 9, 1-3
International Journal of Mathematics and Computer Science
International Journal of Mathematics and Computer Science, 2014, pp.1-3. ⟨10.1007/s11786-014-0214-9⟩
Mathematics in Computer Science, 9, 1, pp. 1-3

مصطلحات موضوعية: Statement (computer science), Mathematical logic, Computer science, Applied Mathematics, media_common.quotation_subject, Data Science, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Language of mathematics, 02 engineering and technology, Certainty, Mathematical proof, Formal proof, Computational Mathematics, Computational Theory and Mathematics, Simple (abstract algebra), 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Calculus, Gödel, 020201 artificial intelligence & image processing, computer, Algorithm, ComputingMilieux_MISCELLANEOUS, computer.programming_language, media_common

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28b9ba567afa7009ef06b8de6f76d289
https://doi.org/10.1007/s11786-014-0214-9