ScientificWare - Fusion des Maths Sciences et Informatiques

Articles les plus récents

FXMessages X1
23 février, par Guy Abossolo Foh

Dernières améliorations concernant l’affichage sur FXMessages.
Les matrices, les intégrales et autres opérateurs mathématiques s’affichent maintenant de manière correcte.
ScientificPad / MathMLPad / HTMLPad / FXMessages
16 avril 2021, par ScientificWare
Chaîne de production et derniers développements
Formules de Taylor
12 août 2020, par ScientificWare
Détail de méthodes et preuves.
The Octopus Scanner Malware
30 mai 2020, par ScientificWare
This post details how an open source supply chain malware spread through build artifacts. 26 open source projects were backdoored by this malware and were actively serving backdoored code.

En développant des applications informatiques, nous sommes vite confrontés à la question : Puis-je utiliser ce code trouvé sur le réseau, dans mon propre code ?
C’est souvent une facilité bien tentante que nous nous refusons.
Ce n’est pas une question réservée seulement aux petits développeurs. Cela touche tous les grands projets. Pratiquement tous les projets informatiques font appel à des bibliothèques ouvertes et libres. Mais quel est donc le degré de sécurité de ces projets incorporés ?
– ScientificWare n’utilise que des bibliothèques reconnues et utilisées par d’autres grands projets auxquels il est associé.
– Pour Android, nous nous limitons aux API d’origine et à nos propres productions internes.
– De même pour tout autre projet Java y compris le langage lui-même à travers l’ OpenJDK et ses dérivés. Nous menons une veille et contribuons pour dès que nous idenfions un problème à notre niveau.
Cette contrainte que nous nous imposons, limite un peu certaines fonctionnalités mais nous avons une grande responsabilité par rapport aux produits que nous diffusons. Cet incident invite à être encore plus prudent et conforte notre choix de contrôler et d’être partie prenante de tous les outils que nous utilisons.
Autrement dit, avant d’utiliser un code externe, il convient de le lire et s’investir dans sa maintenance pour garder un œil sur son évolution.
Enfin, une réflexion sur l’accès distant à ces bibliothèques sur certains dépôts doit être renforcée pour mieux maitriser les versions incorporées. Nous sommes encore réticents à son utilisation au regard des risques que nous percevons.
Sur CurExt Composition de symboles curvilignes de taille variable - Sur l’étude et la réalisation d’un système de justification du e-document scientifique multilingue
19 avril 2020, par ScientificWare
– La première présentation résume bien tous les problèmes liés à la production de glyphes extensibles. Elle expose la solution proposée par Ronald Knuth et l’approche de CurExt que je partage avec l’auteur. Cependant, mon approche diffère un peu, car il s’agit de fournir un outil d’édition et pas seulement un moteur de rendu. Nous devons aussi fournir un atelier de construction de ces glyphes. L’application de composition doit mettre à disposition des utilisateurs, le matériel nécessaire pour créer ces glyphes et les tester suivant leur taille. C’est l’objet du projet FXFont.

– Le deuxième texte, présente une réflexion sur le formatage de paragraphe : Le but de cette thèse est de dynamiser les procédés typographiques de composition de e-documents scientifiques multilingues.
Projets Calcul Mental
16 mars 2020, par ScientificWare
Osez défier le maître du calcul mental !
Puis passez votre premier entretien d’embauche ...
Développement du système MathNat pour la formalisation automatique des textes mathématiques par Humayoun Muhammad
27 juin 2019, par ScientificWare
Humayoun Muhammad. Développement du système MathNat pour la formalisation automatique des textes mathématiques. Mathématiques générales [math.GM]. Université de Grenoble, 2012. Français. NNT : 2012GRENM001. tel-00680095

MathNat - Mathematical Text in a Controlled Natural Language Muhammad Humayoun and Christophe Raffalli Laboratory of Mathematics (LAMA) Université de Savoie, France mhuma, raffalli@univ-savoie.fr
Réécriture et compilation de confiance par Antoine Reilles
25 juin 2019, par ScientificWare
Une lecture de thèse à approfondir.
Replace Numbers with Sets in calculations (1).
22 janvier 2019, par ScientificWare
Replace Numbers with Sets in calculations (1).
FXMessages X1 (GV) Alpha 201901082228
8 janvier 2019, par ScientificWare
Amélioration de l’affichage des expressions mathématiques. L’affichage matriciel est en approche.