ScientificWare

OpenJDK, OpenJFX and WebKit

Guy Abossolo Foh — 2025-09-18T01:35:12Z

MathML editing issues in HTMLEditor.

Most of the issues described in this report (JDK-8210970) stem from the MathML rendering implementation in WebKit/WebCore. The authors bypassed parts of WebCore's rendering logic because they focused solely on display, not editing.

I'm currently working to restore the proper architecture and plan to submit a patch to the WebKit repository in the coming months.

OpenJDK Swing HTML alt attribut support in image type input tag.

Guy Abossolo Foh — 2024-07-20T22:46:56Z

The following Pull Request adds alt attribut support to OpenJDK image type input HTML tag.

Monlycee.net
JDK-8314731 : Add support for the alt attribute in the image type input HTML tag

Left before the patch and right after the patch.

OpenJDK Swing HTML CSS Color support

Guy Abossolo Foh — 2024-07-20T18:02:06Z

The following Pull Requests align the Java Javax Swing color support with CSS Color 4

FXMessages X1

Guy Abossolo Foh — 2023-02-23T14:24:12Z

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

ScientificWare — 2021-04-16T13:46:25Z

Grosse période de transition. Le développement étant effectué sous Java et NetBeans ou Android Studio, il a été fortement impacté par les nouvelles organisations des outils de développement :
– Mise en place des modules,
– Accélération du Cycle de sortie de 6 mois et
– Changement de licence pour les versions Oracle, obligeant le passage d'Oracle Java à l'OpenJDK.
– Pour finir le transfert de propriété d'Oracle à la fondation Apache pour NetBeans, le transfert technologique a pris beaucoup de temps. Il n'est toujours pas terminé à la date de publication de cet article, il reste la partie C++ à finaliser.
– Adoption tardive des dernières versions de Java par Android Studio (actuellement bloqué à Java 8)

En interne, nous avons profité de cette période pour :

mettre en place des dépôts Git pour tous nos développements,
assurer une veille sur les nouvelles technologies dont une attention toute particulière pour GraalVM et
maintenir les différents moteurs de rendu mathématique sous Java, JavaFX et Android. En particulier, la version Java illustrée ci-dessous.

Les passages aux versions post Java 8 et NetBeans 8 ont été assez compliqués. Notre chaine de production est maintenant à jour et les développements reprennent petit à petit leur rythme de croisière tout en étant impacté par le nouveau cycle de développement, sur 6 mois, des technologies Java.

Description rapide des différents projets :

ScientificPad : Boite mail scientifique
MathMLPad : Traitement de texte basique de type NotePad avec support de l'écriture scientifique.
HTMLPad : Editeur HTML orienté WEB supportant MathML.
FXMessages : Messagerie SMS et MMS pour mobiles.

Prochain objectif : Pour tous ces projets, l'écriture mathématique doit s'aligner sur celle de FXMessages autrement dit l'utilisation du langage mathématique « maternelle » pour les formules. Chaque projet doit également intégrer l'utilisation de MarkDown pour la mise en page.

Rappels : ScientificPad poursuit donc son évolution, il existe trois versions à des stades différents :

Une version pré 2000 basée sur l'API AWT (développement gelé).
La version en cours basée sur l'API SWING. 3 séries de bugs, une longue et difficile démarche de soumission de bugs et de modifications sur Java 7, 8 et finalement 9 ont bloqué son développement. Soulagement, mes corrections de bugs intégrées à l'OpenJDK sont bien dans Java 9 qui est désormais disponible. Mais cette fois-ci c'est NetBeans 9 qui se fait attendre. Son transfert d'Oracle à la Fondation Apache prend du temps. Mes correctifs ont été backportés vers les versions supérieurs à Java 9, Java 10 ... mais pas sur les versions antérieures Java 8, Java 7, ... le projet et condamné à attendre que l'ensemble NetBeans Apache et Java 9 soient réunis :
- En effet, Java 9 est sorti le 21 septembre 2017. Autrement dit avec deux mois de retard par rapport à la précédente date annoncée.
- Netbeans 9 est en période d'incubation chez Apache. Oracle vient de faire don du code à la fondation Apache. Ce transfert provoque un retard de livraison.
En attendant, l'intégration du panneau des raccourcis a été réalisée. Il avait été introduit en mai 2016 mais sans être opérationnel. C'est maintenant les cas. Il détecte les conflits lors des personnalisations. Quatre configurations de saisie ont été définies. Il ne s'agit pas d'une compatibilité effective avec les logiciels cités, juste un moyen de faciliter la transition :
- Française, langage mathématique oral,
- Anglo-saxonne, langage mathématique oral,
- TeX, langage de script,
- Libre Open Office, langage de script.
Il reste à prendre également en compte Ascii Math pour la saisie des expressions mathématiques.
Travail sur l'affichage des fractions et des exposants pour un meilleur rendu.
Concernant version développée sur l'API JavaFX. En fait une récriture du Control TextArea de JavaFX. Pas d'avancée de ce côté là faute temps.

flags

Formules de Taylor

ScientificWare — 2020-08-12T09:41:23Z

Détail de méthodes et preuves.

Dépôt des documents

The Octopus Scanner Malware

ScientificWare — 2020-05-30T17:45:02Z

Un rapport de l'équipe GitHub à lire absolument si vous êtes investi dans le développement logiciel. Attention, il faut bien comprendre la conclusion et ne pas hésiter à généraliser les risques à d'autres chaines de production.
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 d'utiliser chez ScientificWare.
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 ou utilisées par d'autres petits ou 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 dès que nous identifions un problème.
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 à leurs utilisations au regard des risques que nous percevons.

https://securitylab.github.com/

https://securitylab.github.com/research

https://securitylab.github.com/research/octopus-scanner-malware-open-source-supply-chain

While we have seen many cases where the software supply chain was compromised by hijacking developer credentials or typosquatting popular package names, a malware that abuses the build process and its resulting artifacts to spread is both interesting and concerning for multiple reasons.

In an OSS context, it gives the malware an effective means of transmission since the affected projects will presumably get cloned, forked, and used on potentially many different systems. The actual artifacts of these builds may spread even further in a way that is disconnected from the original build process and harder to track down after the fact.

Since the primary-infected users are developers, the access that is gained is of high interest to attackers since developers generally have access to additional projects, production environments, database passwords, and other critical assets. There is a huge potential for escalation of access, which is a core attacker objective in most cases.

It was interesting that this malware attacked the NetBeans build process specifically since it is not the most common Java IDE in use today. If malware developers took the time to implement this malware specifically for NetBeans, it means that it could either be a targeted attack, or they may already have implemented the malware for build systems such as Make, MsBuild, Gradle and others as well and it may be spreading unnoticed.

While infecting build processes is certainly not a new idea, seeing it actively deployed and used in the wild is certainly a disturbing trend.

As such, GitHub is continuously thinking about ways we can improve the integrity and security of the OSS supply chain. This includes features such to help detect issues in your dependencies, using Dependency Graph, security alerts for vulnerable dependencies, and automated security updates ; and features to help detect potential issues in your code, including code scanning and secret scanning. And of course, we maintain an active response channel and research capability through GitHub SIRT and GitHub Security Lab, as well as initiatives such as the Open Source Security Coalition.

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

ScientificWare — 2020-04-19T13:17:41Z

Résumé

Le but de cette thèse est de dynamiser les procédés typographiques de composition dee-documents scientifiques multilingues.
Que ce soit pour le script latin ou arabe, retrouver cet aspect dynamique est un pas essentiel pour renouer avec la qualité typographique souhaitée dans le document numérique, problème ancien, toujours d'actualité. Si les spécifications de formats de fontes ont franchit des pas de géants pour le rendu correct des scriptes dites complexes, les concepteurs en ont rarement tirés profit. Cependant, la thèse défendue ici est que le problème de dynamisme de procédés typographiques ne peut pas être résolu uniquement par des fontes dites dynamiques sans adapter les systèmes qui en faisaient usage.
Un document scientifique a au moins deux composantes : les expressions mathématiques et le texte. Nous avons consacré une partie de cette thèse à la confection d'une famille de fontes pour la première composante. D'une part, la fonte RamzArab contient des symboles spécifiques pour composer les expressions mathématiques arabes. D'autre part, une famille de fontes dynamiques pour composer les symboles curvilignes extensibles et la manipulation de la kashida. La mise en œuvre de la composante dynamique a nécessité une adaptation du système CurExt à cet égard.
Pour le texte, la démarche est profondément différente. La composition est entièrement commandée par la fonte, alors que celle ci ne peut pas prévenir les stratégies déployées pour la mise des mots en paragraphe. En calligraphie, la justification intervient pour remplacer des glyphes par d'autres, activer/désactiver des ligatures ou encore allonger des lettres. Une partie de cette thèse a été dédiée à l'étude exhaustive de cet aspect des choses. Les explorations de traités historiques au sujets et la consultation des compositions calligraphiques, nous a été primordiale pour parvenir à un formalisme de techniques en vigueur pour la justification de texte arabe en calligraphie.
Nous avons ensuite consacré une partie de ce travail aux systèmes de composition de textes et leurs comportements vis-à-vis le texte arabe. En particulier, les moteurs Open-Type, AAT et graphite. Ce passage autant qu'il était descriptif, nous l'avons fait avec un esprit critique vers les solutions proposées par ces moteurs pour remédier aux problèmes liés à la justification. Nous présentons comme dernier issue un modèle pertinent qui consiste à améliorer l'algorithme de paragraphage optimum-fit et une implantation de formalisme de justification via un système de pénalités auquel l'algorithme optimum-fit est parfaitement adapté.

Projets Calcul Mental

ScientificWare — 2020-03-16T13:30:05Z

Premières versions créées par les élèves d'APR1 de Gabriel Voisin, encadrés par A. Raison (Chief Product Manager) et G. Abossolo Foh (Second)

Junior développeurs M. Blotas, Y. Gonzalez, E. Paquin, J. Berthier, R. Cétin, G. Broyer, T. Solano.

Pour télécharger le programme de votre choix, cliquer sur l'une des images ci-dessous. Enregistrer le programme dans le dossier téléchargement (par exemple).
Fonction sur tout navigateur internet (Firefox, Chrome, Edge, Safari, ...) et par conséquent sur toute plateforme informatique (Linux, Windows, Mac OS, iOs, Android, ...).

Renforcement automatismes :
En achetant 7 lots de 9 avocats pour votre restaurant. Combien aurez-vous d'avocats ? Si vous comptez encore sur vos doigts alors la section d'APR vous propose ce petit programme d'entraînement.

Renforcement calcul commercial :
La question que vous n'attendiez pas pour votre premier entretien d'embauche !

La complexité de cette application est principalement due à des problèmes de division par des puissances de 10 dans Scratch. L'analyse est à revoir pour la version 2.

Pour pouvoir utiliser ces programmes vous devez lancer l'éditeur de Scratch. Puis à partir du menu, Fichier > Load from your computer. Enfin, sélectionner le fichier que vous avez enregistré dans téléchargement. Les deux applications démarrent lorsqu'on clique sur les images.

Sur Android, il est possible de télécharger une version non connectée. Google Play

Développement du système MathNat pour la formalisation automatique des textes mathématiques par Humayoun Muhammad

ScientificWare — 2019-06-27T21:59:31Z

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

There is a wide gap between the language of mathematics and its formalized versions.
The term “language of mathematics” or “mathematical language” refers to prose that the mathematician uses in authoring textbooks and publications. It mainly consists of natural language, symbolic expressions and notations. It is flexible, structured and semantically well-understood by mathematicians.
However, it is very difficult to formalize it automatically. Some of the main reasons are : complex and rich linguistic features of natural language and its inherent ambiguity ; intermixing of natural language with symbolic mathematics causing problems which are unique of its kind, and therefore, posing more ambiguity ; and the possibility of containing reasoning gaps, which are hard to fill using the current state of art theorem provers (both automated and interactive).
One way to work around this problem is to abandon the use of the language of mathematics. Therefore in current state of art of theorem proving, mathematics is formalized manually in very precise, specific and well-defined logical systems. The languages supported by these systems impose strong restrictions. For instance, these languages have non-ambiguous syntax with a limited number of possible syntactic constructions.
This enterprise divides the world of mathematics in two groups. The first group consists of a vast majority of mathematicians whose rely on the language of mathematics only. In contrast, the second group consists of a minority of mathematicians. They use formal systems such as theorem provers (interactive ones mostly) in addition to the language of mathematics.
To bridge the gap between the language of mathematics and its formalized versions, we may ask the following gigantic question :
Can we build a program that understands the language of mathematics used by mathematicians and can we mechanically verify its correctness ?

This problem can naturally be divided in two sub-problems, both very hard :
1. Parsing mathematical texts (mainly proofs) and translating those parse trees to a formal language after resolving linguistic issues.
2. Validation of this formal version of mathematics.
The project MathNat (Mathematics in controlled Natural language) aims at being the first step towards solving this problem, focusing mainly on the first question.

For that, first, we develop a Controlled Language for Mathematics (CLM) which is a precisely defined subset of English with restricted grammar and lexicon. To make CLM natural and expressive, we support important linguistic features such as anaphoric pronouns and references, rephrasing of a sentence in multiple ways, the proper handling of distributive and collective readings and so on. The coverage of CLM at the moment is yet rather small and to be improved as the project keeps evolving in future.

Second, we develop MathAbs (Mathematical language). It is a prover independent formal language to represent the semantics of CLM texts preserving its logical and reasoning structure. MathAbs is designed as an intermediate language between CLM and the formal languages of theorem provers, allowing proof checking.

Third, we propose a system that can automatically translate CLM to MathAbs, giving a precise semantics to CLM. We consider that formalizing mathematics automatically in such a formal language that has a precise semantics is an important progress even if it can't always be proof-checked.
This brings us to the second question for which we report a very limited work.
We only translate MathAbs to the first-order formulas. If we feed these formulas to the automated theorem provers (ATPs), then fundamentally the ATPs should be able to validate them sometimes. In other words, the resulting MathAbs document is not completely verifiable for the moment, but it represents an opportunity for the mathematician to write mathematical text (mainly proofs) without becoming expert of any theorem prover.

Keywords : Computational linguistics, Language technology, Controlled languages, The language of mathematics, Formalization, Formal systems, Validation, Proof checking.

https://www.mat.univie.ac.at/~neum/FMathL.html#software